Syntactic errors: 4
Costabs-CoFloCo-TypedNorms/foldsum.abs:7:21:mismatched input 'f' expecting ')'
def B foldrFun(f,z)(A xs) =
--------------------^
Costabs-CoFloCo-TypedNorms/foldsum.abs:26:17:mismatched input 'f' expecting ')'
def B comp(f, g)(A z) = f (g( z));
----------------^
Costabs-CoFloCo-TypedNorms/foldsum.abs:31:51:mismatched input '(' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def Nat foldsum(List l) = (foldrFun(comp, id)(map(plus, l)))(Zero);
--------------------------------------------------^
Costabs-CoFloCo-TypedNorms/foldsum.abs:31:64:mismatched input ')' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def Nat foldsum(List l) = (foldrFun(comp, id)(map(plus, l)))(Zero);
---------------------------------------------------------------^
Compilation failed with syntax errors.