Re: [ghc-steering-committee] Proposal: Define Kinds Without Promotion (#106)

Merged! Am Dienstag, den 11.09.2018, 09:25 -0400 schrieb Eric Seidel:

The proposal has been updated to specify that record selectors, quantifiers, and bangs/unpacks are disallowed in `type data`. These restrictions all make sense to me, at least for now, so I think we can properly declare this proposal accepted.

On Thu, Aug 30, 2018, at 09:53, Iavor Diatchki wrote:

...

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 wrote:

...

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

_______________________________________________ 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/