[Haskell-cafe] New type of ($) operator in GHC 8.0 is problematic
Marcin Mrotek
marcin.jan.mrotek at gmail.com
Sat Feb 6 12:31:14 UTC 2016
>
> maybe :: forall (r :: RuntimeRep) (a :: *) (b :: TYPE r). b -> (a -> b) ->
> Maybe a -> b
>
`b` also is a type of an argument in that function, so I think being levity
polymorphic on it in is excluded by "GC going haywire chasing values as if
they were pointers" as described here:
https://mail.haskell.org/pipermail/ghc-devs/2016-February/011269.html
Best regards,
Marcin Mrotek
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160206/62a4c378/attachment.html>
More information about the Haskell-Cafe
mailing list