[Haskell-cafe] New type of ($) operator in GHC 8.0 is problematic
Artyom
yom at artyom.me
Fri Feb 5 23:22:06 UTC 2016
Why not just make GHCi output a comment whenever the type involves levity?
| > :t ($) -- Note: the actual type is more generic: -- -- ($) :: forall
(w :: GHC.Types.Levity) a (b :: TYPE w). (a -> b) -> a -> b -- -- For
the absolute majority of purposes the simpler type is correct. -- See
GHC Guide chapter X point Y to learn more about this. ($) :: (a -> b) ->
a -> b |
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160206/ec66a1d7/attachment.html>
More information about the Haskell-Cafe
mailing list