purescript-0.15.15: tests/purs/failing/Generalization2.purs
-- @shouldFailWith CannotGeneralizeRecursiveFunction
module Main where
import Prelude
test n m | n <= 1 = m
| otherwise = test (n - 1) (m <> m)
-- @shouldFailWith CannotGeneralizeRecursiveFunction
module Main where
import Prelude
test n m | n <= 1 = m
| otherwise = test (n - 1) (m <> m)