[Haskell-cafe] New type of expressions containing (error ...) includes noisy implicit parameter
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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 472 bytes
Desc: not available
More information about the Haskell-Cafe