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

Compilation failed with syntax errors.