Syntactic errors: 3
Costabs-CoFloCo-TermDepth/mergesort-dc.abs:70:33:mismatched input 'isDivisible' expecting ')'
def List<A> divideAndConquer<A>(isDivisible, solve, divide, combine)(List<A> initial) =
--------------------------------^
Costabs-CoFloCo-TermDepth/mergesort-dc.abs:71:60:mismatched input '(' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
    if isDivisible(initial) then solve(pb) else combine(pb)(map(divideAndConquer(intial), divide(pb)));
-----------------------------------------------------------^
Costabs-CoFloCo-TermDepth/mergesort-dc.abs:145:96:mismatched input '(' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def List<Nat> mergesort(List<Nat> zs) = divideAndConquer(divisible, id, divide, const(combine))(zs);
-----------------------------------------------------------------------------------------------^

Compilation failed with syntax errors.