Syntactic errors: 6
Costabs-CoFloCo-TypedNorms/list_map.abs:5:24:extraneous input 'f' expecting ')'
def List<A> mapList<A>(f)(List<A> l) =
-----------------------^
Costabs-CoFloCo-TypedNorms/list_map.abs:5:26:missing '=' at '('
def List<A> mapList<A>(f)(List<A> l) =
-------------------------^
Costabs-CoFloCo-TypedNorms/list_map.abs:5:38:mismatched input '=' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def List<A> mapList<A>(f)(List<A> l) =
-------------------------------------^
Costabs-CoFloCo-TypedNorms/list_map.abs:7:9:no viable alternative at input 'Nil=>'
    Nil => Nil;
--------^
Costabs-CoFloCo-TypedNorms/list_map.abs:8:16:mismatched input '=>' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
    Cons(x,xs) => Cons(f(x), map(xs));
---------------^
Costabs-CoFloCo-TypedNorms/list_map.abs:9:2:extraneous input ';' expecting {<EOF>, 'stateupdate', 'productline', 'extension', 'module', 'root', 'delta', 'product'}
};
-^

Compilation failed with syntax errors.