Syntactic errors: 10
Costabs-CoFloCo-TypedNorms/rev-dl.abs:4:17:mismatched input 'f' expecting ')'
def B comp(f, g)(A x) = f(g(x)) ;
----------------^
Costabs-CoFloCo-TypedNorms/rev-dl.abs:13:25:extraneous input 'a' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
Cons(x, xsP) => ((A a) => comp(wal(xsP), ((List ys) => Cons(x,ys)))(a));
------------------------^
Costabs-CoFloCo-TypedNorms/rev-dl.abs:13:28:mismatched input '=>' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
Cons(x, xsP) => ((A a) => comp(wal(xsP), ((List ys) => Cons(x,ys)))(a));
---------------------------^
Costabs-CoFloCo-TypedNorms/rev-dl.abs:13:35:missing '=>' at '('
Cons(x, xsP) => ((A a) => comp(wal(xsP), ((List ys) => Cons(x,ys)))(a));
----------------------------------^
Costabs-CoFloCo-TypedNorms/rev-dl.abs:13:44:mismatched input ',' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
Cons(x, xsP) => ((A a) => comp(wal(xsP), ((List ys) => Cons(x,ys)))(a));
-------------------------------------------^
Costabs-CoFloCo-TypedNorms/rev-dl.abs:13:52:mismatched input '<' expecting '=>'
Cons(x, xsP) => ((A a) => comp(wal(xsP), ((List ys) => Cons(x,ys)))(a));
---------------------------------------------------^
Costabs-CoFloCo-TypedNorms/rev-dl.abs:13:54:mismatched input '>' expecting '=>'
Cons(x, xsP) => ((A a) => comp(wal(xsP), ((List ys) => Cons(x,ys)))(a));
-----------------------------------------------------^
Costabs-CoFloCo-TypedNorms/rev-dl.abs:13:58:extraneous input ')' expecting '=>'
Cons(x, xsP) => ((A a) => comp(wal(xsP), ((List ys) => Cons(x,ys)))(a));
---------------------------------------------------------^
Costabs-CoFloCo-TypedNorms/rev-dl.abs:13:73:mismatched input ')' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
Cons(x, xsP) => ((A a) => comp(wal(xsP), ((List ys) => Cons(x,ys)))(a));
------------------------------------------------------------------------^
Costabs-CoFloCo-TypedNorms/rev-dl.abs:13:77:mismatched input ')' expecting '=>'
Cons(x, xsP) => ((A a) => comp(wal(xsP), ((List ys) => Cons(x,ys)))(a));
----------------------------------------------------------------------------^
Compilation failed with syntax errors.