Syntactic errors: 7
Costabs-CoFloCo-TermDepth/mergesort.abs:15:22:extraneous input 'compare' expecting ')'
def List<A> merge<A>(compare)(List<A> l1, List<A> l2) =
---------------------^
Costabs-CoFloCo-TermDepth/mergesort.abs:15:30:missing '=' at '('
def List<A> merge<A>(compare)(List<A> l1, List<A> l2) =
-----------------------------^
Costabs-CoFloCo-TermDepth/mergesort.abs:15:41:mismatched input ',' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def List<A> merge<A>(compare)(List<A> l1, List<A> l2) =
----------------------------------------^
Costabs-CoFloCo-TermDepth/mergesort.abs:15:55:mismatched input '=' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def List<A> merge<A>(compare)(List<A> l1, List<A> l2) =
------------------------------------------------------^
Costabs-CoFloCo-TermDepth/mergesort.abs:17:9:no viable alternative at input 'Nil=>'
    Nil => l2;
--------^
Costabs-CoFloCo-TermDepth/mergesort.abs:18:16:mismatched input '=>' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
    Cons(x,xs) => case l2 {
---------------^
Costabs-CoFloCo-TermDepth/mergesort.abs:22:2:extraneous input ';' expecting {<EOF>, 'stateupdate', 'productline', 'extension', 'module', 'root', 'delta', 'product'}
};
-^

Compilation failed with syntax errors.