<span>Indeed, record selectors are not supported in type data, and should result in an error.  Same for other special things like strictness annotations, unpack pragmas, and quantifiers.</span><div><br></div><div> I am on vacation without a computer at the moment and I am not sure if I can edit the proposal from my phone, but I'll give it a go later.</div><div><br></div><div>Iavor<br><br><div class="gmail_quote"><div dir="ltr">On Wed, Aug 29, 2018, 11:42 PM Eric Seidel <<a href="mailto:eric@seidel.io">eric@seidel.io</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Yes, I got a bit excited to exercise my power :)<br>
<br>
On Wed, Aug 29, 2018, at 15:11, Joachim Breitner wrote:<br>
> Hi,<br>
> <br>
> in that case, I suggest you work with the authors to get that fixed,<br>
> and only then pronounce it accepted :-)<br>
> <br>
> Cheers,<br>
> Joachim<br>
> <br>
> <br>
> <br>
> Am Mittwoch, den 29.08.2018, 13:22 -0400 schrieb Eric Seidel:<br>
> > Though I'd still like to have it specify what happens with record selectors, as pointed out by Adam.<br>
> > <br>
> > On Wed, Aug 29, 2018, at 13:21, Eric Seidel wrote:<br>
> > > Ok, then I declare it accepted!<br>
> > > <br>
> > > On Wed, Aug 29, 2018, at 13:17, Joachim Breitner wrote:<br>
> > > > Hi,<br>
> > > > <br>
> > > > Am Mittwoch, den 29.08.2018, 09:27 -0400 schrieb Eric Seidel:<br>
> > > > > What's the next step, Joachim? Do I just mark the proposal as accepted?<br>
> > > > <br>
> > > > yes. Or you declare it as accepted here on the mailing list, and I mark<br>
> > > > it as such on GitHub (I have to touch it anyways, to merge it and give<br>
> > > > it the final proposal number).<br>
> > > > <br>
> > > > Cheers,<br>
> > > > Joachim<br>
> > > > <br>
> > > > <br>
> > > > <br>
> > > > -- <br>
> > > > Joachim Breitner<br>
> > > >   <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
> > > >   <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de/</a><br>
> > > > _______________________________________________<br>
> > > > ghc-steering-committee mailing list<br>
> > > > <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> > > > <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
> > > > Email had 1 attachment:<br>
> > > > + signature.asc<br>
> > > >   1k (application/pgp-signature)<br>
> > <br>
> > _______________________________________________<br>
> > ghc-steering-committee mailing list<br>
> > <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> > <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
> -- <br>
> Joachim Breitner<br>
>   <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
>   <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de/</a><br>
> _______________________________________________<br>
> ghc-steering-committee mailing list<br>
> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
> Email had 1 attachment:<br>
> + signature.asc<br>
>   1k (application/pgp-signature)<br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div></div>