Syntactic errors: 7
Costabs-CoFloCo-TermDepth/sum.abs:6:14:extraneous input 'f' expecting ')'
def Nat fold(f)(Nat z, List<Nat> xs) =
-------------^
Costabs-CoFloCo-TermDepth/sum.abs:6:16:missing '=' at '('
def Nat fold(f)(Nat z, List<Nat> xs) =
---------------^
Costabs-CoFloCo-TermDepth/sum.abs:6:21:mismatched input 'z' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def Nat fold(f)(Nat z, List<Nat> xs) =
--------------------^
Costabs-CoFloCo-TermDepth/sum.abs:6:38:mismatched input '=' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def Nat fold(f)(Nat z, List<Nat> xs) =
-------------------------------------^
Costabs-CoFloCo-TermDepth/sum.abs:8:9:no viable alternative at input 'Nil=>'
    Nil => z;
--------^
Costabs-CoFloCo-TermDepth/sum.abs:9:17:mismatched input '=>' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
    Cons(x,xsP) => f(x, fold(z,xsP));
----------------^
Costabs-CoFloCo-TermDepth/sum.abs:10:2:extraneous input ';' expecting {<EOF>, 'stateupdate', 'productline', 'extension', 'module', 'root', 'delta', 'product'}
};
-^

Compilation failed with syntax errors.