Syntactic errors: 8
Costabs-CoFloCo-TermDepth/mss.abs:34:42:mismatched input '(' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def Nat maxlist(List<Nat> l) = foldl(max)(Zero, l);
-----------------------------------------^
Costabs-CoFloCo-TermDepth/mss.abs:39:21:extraneous input 'f' expecting ')'
def List<Nat> scanr(f)(Nat z, List<Nat> xs) =
--------------------^
Costabs-CoFloCo-TermDepth/mss.abs:39:23:missing '=' at '('
def List<Nat> scanr(f)(Nat z, List<Nat> xs) =
----------------------^
Costabs-CoFloCo-TermDepth/mss.abs:39:28:mismatched input 'z' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def List<Nat> scanr(f)(Nat z, List<Nat> xs) =
---------------------------^
Costabs-CoFloCo-TermDepth/mss.abs:39:45:mismatched input '=' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def List<Nat> scanr(f)(Nat z, List<Nat> xs) =
--------------------------------------------^
Costabs-CoFloCo-TermDepth/mss.abs:41:9:no viable alternative at input 'Nil=>'
    Nil => Cons(z, Nil);
--------^
Costabs-CoFloCo-TermDepth/mss.abs:42:18:mismatched input '=>' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
    Cons(x, xsP) => case scanr(z,xsP) {
-----------------^
Costabs-CoFloCo-TermDepth/mss.abs:46:2:extraneous input ';' expecting {<EOF>, 'stateupdate', 'productline', 'extension', 'module', 'root', 'delta', 'product'}
};
-^

Compilation failed with syntax errors.