Syntactic errors: 7
Costabs-CoFloCo-TermDepth/sum_sqs3.abs:20:23:extraneous input 'f' expecting ')'
def List<Nat> unfoldr(f)(Nat z) =
----------------------^
Costabs-CoFloCo-TermDepth/sum_sqs3.abs:20:25:missing '=' at '('
def List<Nat> unfoldr(f)(Nat z) =
------------------------^
Costabs-CoFloCo-TermDepth/sum_sqs3.abs:20:30:extraneous input 'z' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def List<Nat> unfoldr(f)(Nat z) =
-----------------------------^
Costabs-CoFloCo-TermDepth/sum_sqs3.abs:20:33:mismatched input '=' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def List<Nat> unfoldr(f)(Nat z) =
--------------------------------^
Costabs-CoFloCo-TermDepth/sum_sqs3.abs:22:13:no viable alternative at input 'Nothing=>'
    Nothing => Nil;
------------^
Costabs-CoFloCo-TermDepth/sum_sqs3.abs:23:14:mismatched input '=>' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
    Just(zP) => Cons(zP, unfoldr(zP));
-------------^
Costabs-CoFloCo-TermDepth/sum_sqs3.abs:24:2:extraneous input ';' expecting {<EOF>, 'stateupdate', 'productline', 'extension', 'module', 'root', 'delta', 'product'}
};
-^

Compilation failed with syntax errors.