Re: [Haskell-cafe] New type of expressions containing (error ...) includes noisy implicit parameter

amindfv@gmail.com writes:

I don't have a copy of GHC 8 atm to test this with: is an expression like this now illegal?

x :: Int x = undefined

This is still valid. The change in GHC 8.0 is merely that GHC will infer a CallStack constraint instead of solving it in-place if asked to infer a type for a let binding whose RHS demands a callstack. Cheers, - Ben