Syntactic errors: 2
Costabs-CoFloCo-TypedNorms/calculator.abs:50:37:extraneous input ';' expecting {',', ')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def Nat start(Expr expr) = eval(expr;)
------------------------------------^
Costabs-CoFloCo-TypedNorms/calculator.abs:52:1:mismatched input '{' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
{
^

Compilation failed with syntax errors.