Syntactic errors: 3
Costabs-CoFloCo-TypedNorms/avanzini_original.abs:8:21:mismatched input 'f' expecting ')'
def List<A> comp<A>(f, g)(A z) = f(g(z));
--------------------^
Costabs-CoFloCo-TypedNorms/avanzini_original.abs:15:32:mismatched input '=>' expecting {',', ')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
    comp(walk(ys), (List<A> z) => Cons(x, z));
-------------------------------^
Costabs-CoFloCo-TypedNorms/avanzini_original.abs:15:45:mismatched input ')' expecting '=>'
    comp(walk(ys), (List<A> z) => Cons(x, z));
--------------------------------------------^

Compilation failed with syntax errors.