purescript-0.8.4.0: examples/failing/Generalization1.purs
-- @shouldFailWith CannotGeneralizeRecursiveFunction module Main where import Prelude foo 0 x _ = x foo n x y = x <> bar (n - 1) x y bar 0 x _ = x bar n x y = y <> foo (n - 1) x y
-- @shouldFailWith CannotGeneralizeRecursiveFunction module Main where import Prelude foo 0 x _ = x foo n x y = x <> bar (n - 1) x y bar 0 x _ = x bar n x y = y <> foo (n - 1) x y