[ghc-steering-committee] Please review: #515 Relaxing HasField constraints

[Spiwack, Arnaud]

I don't have much of an opinion on this proposal.

I do believe that, in the current state, it doesn't discuss in sufficient
detail about whether instances should be considered coherent or not by the
compiler. This seems to be the most non-trivial choice in the proposal.
I've asked for an addition to that respect on the Github thread.

On Wed, Aug 10, 2022 at 12:58 PM Tom Harding <i.am.tom.harding at gmail.com>
wrote:

> Hi all,
>
> Ollie Charles’ proposal
> <https://github.com/ghc-proposals/ghc-proposals/pull/515> removes the
> restrictions placed on HasField instances. Close to my heart, this
> addresses the problem of creating custom `HasField` instances for record
> types. I’m in favour of this proposal as it would solve some issues I have
> encountered, but the floor is open for discussion.
>
> Thanks,
> Tom
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20220823/39a435b4/attachment.html>