Syntactic errors: 7
Costabs-CoFloCo-TypedNorms/rev-foldl.abs:6:23:extraneous input 'f' expecting ')'
def Acc foldlP(f)(Acc z, List xs) =
----------------------^
Costabs-CoFloCo-TypedNorms/rev-foldl.abs:6:25:missing '=' at '('
def Acc foldlP(f)(Acc z, List xs) =
------------------------^
Costabs-CoFloCo-TypedNorms/rev-foldl.abs:6:30:mismatched input 'z' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def Acc foldlP(f)(Acc z, List xs) =
-----------------------------^
Costabs-CoFloCo-TypedNorms/rev-foldl.abs:6:45:mismatched input '=' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def Acc foldlP(f)(Acc z, List xs) =
--------------------------------------------^
Costabs-CoFloCo-TypedNorms/rev-foldl.abs:8:9:no viable alternative at input 'Nil=>'
Nil => z;
--------^
Costabs-CoFloCo-TypedNorms/rev-foldl.abs:9:17:mismatched input '=>' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
Cons(x,xsP) => foldlP(f(z,x), xsP);
----------------^
Costabs-CoFloCo-TypedNorms/rev-foldl.abs:10:2:extraneous input ';' expecting {, 'stateupdate', 'productline', 'extension', 'module', 'root', 'delta', 'product'}
};
-^
Compilation failed with syntax errors.