Syntactic errors: 7
Costabs-CoFloCo-TermDepth/dfs-flatten.abs:16:23:extraneous input 'g' expecting ')'
def List dfsAcc(g)(Tree t, List acc) =
----------------------^
Costabs-CoFloCo-TermDepth/dfs-flatten.abs:16:25:missing '=' at '('
def List dfsAcc(g)(Tree t, List acc) =
------------------------^
Costabs-CoFloCo-TermDepth/dfs-flatten.abs:16:35:mismatched input ',' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def List dfsAcc(g)(Tree t, List acc) =
----------------------------------^
Costabs-CoFloCo-TermDepth/dfs-flatten.abs:16:50:mismatched input '=' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def List dfsAcc(g)(Tree t, List acc) =
-------------------------------------------------^
Costabs-CoFloCo-TermDepth/dfs-flatten.abs:18:13:mismatched input '=>' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
Leaf(x) => g(x,acc);
------------^
Costabs-CoFloCo-TermDepth/dfs-flatten.abs:19:17:mismatched input '=>' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
Node(t1,t2) => dfsAcc(t2,dfsAcc(t1,acc));
----------------^
Costabs-CoFloCo-TermDepth/dfs-flatten.abs:20:2:extraneous input ';' expecting {, 'stateupdate', 'productline', 'extension', 'module', 'root', 'delta', 'product'}
};
-^
Compilation failed with syntax errors.