On Mon, Sep 7, 2015 at 4:16 PM, Edward Kmett <[email protected]> wrote: > Notably, it'd be interesting to explore the ability to allow parametricity > over the portion of # that is just a gcptr.
Which is also a necessary part of Ed Yang's unlifted types proposal. This portion of # becomes the `Unlifted` kind, and it should be possible to have parametric polymorphism for it (and if that isn't stated outright, several things in the proposal assume you have it). -- Dan _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
