Syntactic errors: 2
Costabs-CoFloCo-TypedNorms/prependAll.abs:27:79:mismatched input '=>' expecting {',', ')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def List<List<A>> prependAll(List<A> xs, List<List<A>> ys) = map((List<A> bs) => append(xs,bs))(ys);
------------------------------------------------------------------------------^
Costabs-CoFloCo-TypedNorms/prependAll.abs:27:95:mismatched input ')' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def List<List<A>> prependAll(List<A> xs, List<List<A>> ys) = map((List<A> bs) => append(xs,bs))(ys);
----------------------------------------------------------------------------------------------^

Compilation failed with syntax errors.