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

Compilation failed with syntax errors.