New type of ($) operator in GHC 8.0 is problematic
cma at bitemyapp.com
Thu Feb 4 18:21:23 UTC 2016
:lGHCi, version 18.104.22.16860122: http://www.haskell.org/ghc/ :? for help
Loaded GHCi configuration from /home/callen/.ghci
Prelude> :t ($)
:: forall (w :: GHC.Types.Levity) a (b :: TYPE w).
(a -> b) -> a -> b
As someone that's working on a book for beginners/intermediates and that
mentions ($) early'ish, this is pretty disconcerting. Particularly as we're
not going to explain Levity or TYPE. Is this intentional? My only ~/.ghci
flag is fno-warn-type-defaults.
Apologies if this is a mix-up on my part.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs