MultipleErrors.purs

-- @shouldFailWith ExprDoesNotHaveType
-- @shouldFailWith ExprDoesNotHaveType
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)