[ghc-steering-committee] Proposal #209: Levity polymorphic lift. Recommendation: accept

[Manuel M T Chakravarty]

Sounds good to me.

Manuel

> Am 02.03.2019 um 22:41 schrieb Eric Seidel <eric at seidel.io>:
> 
> Hi everyone,
> 
> This proposal[1] makes the `lift` and `liftTyped` methods of the `Lift` class levity-polymorphic, which allows us to write proper `Lift` instances for unlifted types. It would also allow GHC to remove the special logic that currently supports lifting records with unlifted fields.
> 
> The main downside is the potential for breakage since `lift @Foo` would now fix the RuntimeRep parameter rather than the `a`. This is unfortunate, but I doubt it will show up much. It also unfortunately requires making both `lift` and `liftTyped` methods, when we had just decided to extract `lift` from the class. 
> 
> I recommend accepting the proposal.
> 
> Thanks!
> Eric
> 
> [1]: https://github.com/harpocrates/ghc-proposals/blob/levity-polymorphic-lift/proposals/0000-levity-polymorphic-lift.rst
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee