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

Ben Gamari ben at smart-cactus.org
Sat Feb 13 18:43:19 UTC 2016

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.


- 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>

More information about the Haskell-Cafe mailing list