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.
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.
Iavor
On Wed, Aug 29, 2018, 11:42 PM Eric Seidel
Yes, I got a bit excited to exercise my power :)
On Wed, Aug 29, 2018, at 15:11, Joachim Breitner wrote:
Hi,
in that case, I suggest you work with the authors to get that fixed, and only then pronounce it accepted :-)
Cheers, Joachim
Am Mittwoch, den 29.08.2018, 13:22 -0400 schrieb Eric Seidel:
Though I'd still like to have it specify what happens with record selectors, as pointed out by Adam.
On Wed, Aug 29, 2018, at 13:21, Eric Seidel wrote:
Ok, then I declare it accepted!
On Wed, Aug 29, 2018, at 13:17, Joachim Breitner wrote:
Hi,
Am Mittwoch, den 29.08.2018, 09:27 -0400 schrieb Eric Seidel:
What's the next step, Joachim? Do I just mark the proposal as accepted?
yes. Or you declare it as accepted here on the mailing list, and I mark it as such on GitHub (I have to touch it anyways, to merge it and give it the final proposal number).
Cheers, Joachim
-- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/ _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
Email had 1 attachment: + signature.asc 1k (application/pgp-signature)
_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/ _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee Email had 1 attachment: + signature.asc 1k (application/pgp-signature)
ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee