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

Compilation failed with syntax errors.