Syntactic errors: 4
Costabs-CoFloCo-TypedNorms/list_rev1.abs:8:18:mismatched input 'f' expecting ')'
def B comp(f,g)(A z) = f(g(z));
-----------------^
Costabs-CoFloCo-TypedNorms/list_rev1.abs:21:50:mismatched input '=>' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
Cons(x,xs) => comp((walk(xs)), ((List ys) => Cons(x, ys)));
-------------------------------------------------^
Costabs-CoFloCo-TypedNorms/list_rev1.abs:21:64:mismatched input ')' expecting '=>'
Cons(x,xs) => comp((walk(xs)), ((List ys) => Cons(x, ys)));
---------------------------------------------------------------^
Costabs-CoFloCo-TypedNorms/list_rev1.abs:24:1:mismatched input 'def' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def List rev1(List l) = walk(l, Nil);
^
Compilation failed with syntax errors.