Syntactic errors: 7 Costabs-CoFloCo-TermDepth/fib_llist.abs:8:26:extraneous input 'f' expecting ')' def List zipwith_l(f)(List xs, List ys) = -------------------------^ Costabs-CoFloCo-TermDepth/fib_llist.abs:8:28:missing '=' at '(' def List zipwith_l(f)(List xs, List ys) = ---------------------------^ Costabs-CoFloCo-TermDepth/fib_llist.abs:8:39:mismatched input ',' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='} def List zipwith_l(f)(List xs, List ys) = --------------------------------------^ Costabs-CoFloCo-TermDepth/fib_llist.abs:8:53:mismatched input '=' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='} def List zipwith_l(f)(List xs, List ys) = ----------------------------------------------------^ Costabs-CoFloCo-TermDepth/fib_llist.abs:10:9:no viable alternative at input 'Nil=>' Nil => Nil; --------^ Costabs-CoFloCo-TermDepth/fib_llist.abs:11:17:mismatched input '=>' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='} Cons(x,xsP) => case ys { ----------------^ Costabs-CoFloCo-TermDepth/fib_llist.abs:15:2:extraneous input ';' expecting {, 'stateupdate', 'productline', 'extension', 'module', 'root', 'delta', 'product'} }; -^ Compilation failed with syntax errors.