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