purescript-0.15.15: tests/purs/failing/MultipleErrors.purs
-- @shouldFailWith TypesDoNotUnify -- @shouldFailWith TypesDoNotUnify module MultipleErrors where import Prelude foo :: Int -> Int foo 0 = "Test" foo n = bar (n - 1) bar :: Int -> Int bar 0 = "Test" bar n = foo (n - 1)