Syntactic errors: 6
Costabs-CoFloCo-TypedNorms/id.abs:6:17:mismatched input 'f' expecting ')'
def B iter<A,B>(f, g)(Nat x) =
----------------^
Costabs-CoFloCo-TypedNorms/id.abs:12:16:extraneous input 'f' expecting ')'
def B compS<B>(f)(Nat z) = f(S(z));
---------------^
Costabs-CoFloCo-TypedNorms/id.abs:12:18:missing '=' at '('
def B compS<B>(f)(Nat z) = f(S(z));
-----------------^
Costabs-CoFloCo-TypedNorms/id.abs:12:23:extraneous input 'z' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def B compS<B>(f)(Nat z) = f(S(z));
----------------------^
Costabs-CoFloCo-TypedNorms/id.abs:12:26:mismatched input '=' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def B compS<B>(f)(Nat z) = f(S(z));
-------------------------^
Costabs-CoFloCo-TypedNorms/id.abs:18:32:mismatched input '(' expecting {'in', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
    let (A f) = iter(compS, id)(n)
-------------------------------^

Compilation failed with syntax errors.