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

Compilation failed with syntax errors.