Syntactic errors: 3
Costabs-CoFloCo-TermDepth/mergesort-dc.abs:70:33:mismatched input 'isDivisible' expecting ')'
def List divideAndConquer(isDivisible, solve, divide, combine)(List 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 mergesort(List zs) = divideAndConquer(divisible, id, divide, const(combine))(zs);
-----------------------------------------------------------------------------------------------^
Compilation failed with syntax errors.