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

[Joachim Breitner]

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 <eric at seidel.io> 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 at joachim-breitner.de
> > > > > > >   http://www.joachim-breitner.de/
> > > > > > > _______________________________________________
> > > > > > > ghc-steering-committee mailing list
> > > > > > > ghc-steering-committee at 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 at haskell.org
> > > > > 
> > > 
> > > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
> > > > --
> > > > Joachim Breitner
> > > >   mail at joachim-breitner.de
> > > >   http://www.joachim-breitner.de/
> > > > _______________________________________________
> > > > ghc-steering-committee mailing list
> > > > ghc-steering-committee at 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 at haskell.org
> > > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
> > > 
> 
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180912/065b9d6c/attachment.sig>