Syntactic errors: 7
Costabs-CoFloCo-TypedNorms/isort.abs:16:22:extraneous input 'le' expecting ')'
def List<Int> insert(le)(Int x, List<Int> l) =
---------------------^
Costabs-CoFloCo-TypedNorms/isort.abs:16:25:missing '=' at '('
def List<Int> insert(le)(Int x, List<Int> l) =
------------------------^
Costabs-CoFloCo-TypedNorms/isort.abs:16:30:mismatched input 'x' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def List<Int> insert(le)(Int x, List<Int> l) =
-----------------------------^
Costabs-CoFloCo-TypedNorms/isort.abs:16:46:mismatched input '=' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def List<Int> insert(le)(Int x, List<Int> l) =
---------------------------------------------^
Costabs-CoFloCo-TypedNorms/isort.abs:18:9:no viable alternative at input 'Nil=>'
    Nil => Cons(x, Nil);
--------^
Costabs-CoFloCo-TypedNorms/isort.abs:19:17:mismatched input '=>' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
    Cons(y, ys) => if le(y, x) then Cons(y,insert(x, ys)) else Cons(x, Cons(y, ys));
----------------^
Costabs-CoFloCo-TypedNorms/isort.abs:20:2:extraneous input ';' expecting {<EOF>, 'stateupdate', 'productline', 'extension', 'module', 'root', 'delta', 'product'}
};
-^

Compilation failed with syntax errors.