Syntactic errors: 3
Costabs-CoFloCo-TermDepth/mappplus.abs:12:54:extraneous input 'y' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def List<Nat> mapplus(List<Nat> l, Nat x) = map((Nat y) => plus(x,y))(l);
-----------------------------------------------------^
Costabs-CoFloCo-TermDepth/mappplus.abs:12:57:mismatched input '=>' expecting {',', ')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def List<Nat> mapplus(List<Nat> l, Nat x) = map((Nat y) => plus(x,y))(l);
--------------------------------------------------------^
Costabs-CoFloCo-TermDepth/mappplus.abs:12:69:mismatched input ')' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def List<Nat> mapplus(List<Nat> l, Nat x) = map((Nat y) => plus(x,y))(l);
--------------------------------------------------------------------^

Compilation failed with syntax errors.