Syntactic errors: 7
Costabs-CoFloCo-TermDepth/eval2.abs:38:21:extraneous input 'f' expecting ')'
def Maybe<Int> bind(f)(Exp e1, Exp e2) =
--------------------^
Costabs-CoFloCo-TermDepth/eval2.abs:38:23:missing '=' at '('
def Maybe<Int> bind(f)(Exp e1, Exp e2) =
----------------------^
Costabs-CoFloCo-TermDepth/eval2.abs:38:28:mismatched input 'e1' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def Maybe<Int> bind(f)(Exp e1, Exp e2) =
---------------------------^
Costabs-CoFloCo-TermDepth/eval2.abs:38:40:mismatched input '=' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def Maybe<Int> bind(f)(Exp e1, Exp e2) =
---------------------------------------^
Costabs-CoFloCo-TermDepth/eval2.abs:40:13:no viable alternative at input 'Nothing=>'
    Nothing => Nothing;
------------^
Costabs-CoFloCo-TermDepth/eval2.abs:41:14:mismatched input '=>' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
    Just(n1) => case evalMaybe(e2) {
-------------^
Costabs-CoFloCo-TermDepth/eval2.abs:45:2:extraneous input ';' expecting {<EOF>, 'stateupdate', 'productline', 'extension', 'module', 'root', 'delta', 'product'}
};
-^

Compilation failed with syntax errors.