[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