Re: [Haskell-cafe] New type of ($) operator in GHC 8.0 is problematic

6 Feb 2016


      ...
...
...
...
...
Kyle Hanson  writes:
Prelude> :t ($)
...
($) :: (a -> b) -> a -> b
Prelude> :t ($)
...
($)
    :: forall (w :: GHC.Types.Levity) a (b :: TYPE w).
       (a -> b) -> a -> b
I wonder if it could elide that information when -fprint-explicit-foralls is
not enabled? The (a :: *) is not enough to warrant a forall in the former
case, so 'b :: TYPE w' where 'w :: GHC.Types.Levity' perhaps shouldn't be
enough to warrant it in the latter.

-- 
John Wiegley                  GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com                          60E1 46C4 BD1A 7AC1 4BA2