Syntactic errors: 7
Costabs-CoFloCo-TypedNorms/rpm-lazy.abs:15:14:extraneous input 'f' expecting ')'
def A fix<A>(f)() = f(fix());
-------------^
Costabs-CoFloCo-TypedNorms/rpm-lazy.abs:15:16:missing '=' at '('
def A fix<A>(f)() = f(fix());
---------------^
Costabs-CoFloCo-TypedNorms/rpm-lazy.abs:15:17:no viable alternative at input ')'
def A fix<A>(f)() = f(fix());
----------------^
Costabs-CoFloCo-TypedNorms/rpm-lazy.abs:15:19:mismatched input '=' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def A fix<A>(f)() = f(fix());
------------------^
Costabs-CoFloCo-TypedNorms/rpm-lazy.abs:56:45:extraneous input 'x' expecting {')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def Nat repmin<A>(Tree<Nat> t) = fst(fix((A x) => f(t,x))());
--------------------------------------------^
Costabs-CoFloCo-TypedNorms/rpm-lazy.abs:56:48:mismatched input '=>' expecting {',', ')', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def Nat repmin<A>(Tree<Nat> t) = fst(fix((A x) => f(t,x))());
-----------------------------------------------^
Costabs-CoFloCo-TypedNorms/rpm-lazy.abs:56:58:mismatched input '(' expecting {';', '-', '*', '/', '%', '+', '<=', '>=', '<', '>', '&&', '||', '==', '!='}
def Nat repmin<A>(Tree<Nat> t) = fst(fix((A x) => f(t,x))());
---------------------------------------------------------^

Compilation failed with syntax errors.