purescript-0.12.0: tests/purs/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