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

[Ben Gamari]

amindfv at 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 472 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160213/7fbbacff/attachment.sig>