Typechecker does not get mutual recursion
radrow opened this issue · comments
let f := g; g n := if eq n 0 then 42 else f (minus n 1) in f 5
Should typecheck
A functional programming language intepreter with typeclasses, full type inference and lazy evaluation
radrow opened this issue · comments
let f := g; g n := if eq n 0 then 42 else f (minus n 1) in f 5
Should typecheck