[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