[ghc-steering-committee] #380 GHC2021: Current status

[Simon Peyton Jones]

|  CUSKs
|    -- ^ Legacy feature according to the docs, but the replacement
|         StandaloneKindSignatures only has 50% votes so far.
|         We probably need exactly one of the two.
|         Both are new 8.10.

Let's *not* have CUSKs.  We are trying to get rid of it... it'd be deeply strange to "bless" it in GHC2020.

StandaloneKindSignatures is clearly the Right Thing. I'm sure we'll want it long term.  

It's a very graceful fit with PolyKinds.

Simon

|  -----Original Message-----
|  From: ghc-steering-committee <ghc-steering-committee-
|  bounces at haskell.org> On Behalf Of Joachim Breitner
|  Sent: 04 December 2020 10:57
|  To: ghc-steering-committee at haskell.org
|  Subject: Re: [ghc-steering-committee] #380 GHC2021: Current status
|  
|  Hi,
|  
|  Am Freitag, den 04.12.2020, 09:57 +0000 schrieb Simon Marlow:
|  > Right, we better be clear about ForeignFunctionInterface. Those who
|  > voted ForeignFunctionInterface: no, do you *really* want to turn off
|  > an extension that's already part of the Haskell standard?
|  
|  In fact, the following extensions are implied by Haskell2010:
|  
|      ImplicitPrelude
|      StarIsType
|      CUSKs
|      MonomorphismRestriction
|      DatatypeContexts
|      TraditionalRecordSyntax
|      EmptyDataDecls
|      ForeignFunctionInterface
|      PatternGuards
|      DoAndIfThenElse
|      RelaxedPolyRec
|  
|  And the following non-Haskell2010 extensions are on by default (but
|  not in Haskell2010 mode):
|  
|      NondecreasingIndentation
|      NoDatatypeContexts
|  
|  I should have written the ballot consistently relative to Haskell2010,
|  it’s a mixed bag right now, inherited from the survey. Or should it be
|  relative to the GHC’s unnamed “default mode” (which is neither
|  Haskell98 nor Haskell2010)?
|  
|  Anyways, one goal for GHC2021 is that it will subsume this unnamed
|  default mode.
|  
|  
|  So let’s see:
|  
|  Interesting ones:
|  
|  StarIsType
|    -- ^ 5 votes. Those who voted no, did you do that knowing that it’s
|         on by default these days?
|  
|  CUSKs
|    -- ^ Legacy feature according to the docs, but the replacement
|         StandaloneKindSignatures only has 50% votes so far.
|         We probably need exactly one of the two.
|         Both are new 8.10.
|  
|  MonomorphismRestriction
|    -- ^ 4 votes. Those who voted no, did you do that knowing that it’s
|         part of Haskell2010? (I admit I didn’t)
|  
|  ForeignFunctionInterface
|    -- ^ 4 votes. Those who voted no, did you do that knowing that it’s
|         part of Haskell2010?
|  
|  NondecreasingIndentation
|    -- ^ Currently on by default, but off in Haskell2010
|         2 votes.
|         Docs at
|  https://nam06.safelinks.protection.outlook.com/?url=https:%2F%2Fdownlo
|  ads.haskell.org%2F~ghc%2Flatest%2Fdocs%2Fhtml%2Fusers_guide%2Fbugs.htm
|  l%23context-free-
|  syntax&data=04%7C01%7Csimonpj%40microsoft.com%7C87f3f1fcaf874fa603
|  d908d898435d86%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C1%7C6374267634
|  53649777%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiL
|  CJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=TyAnHPLdYOjeChFOF%2FMUa
|  zyP1%2BHhV2xjoPtxmSWS1CU%3D&reserved=0
|         Do we really want to turn it off? There must have been a good
|         reason for GHC to have different default behavior so far?
|  
|  Boring ones:
|  
|  ImplicitPrelude
|    -- ^ Obviously stays
|  DatatypeContexts
|    -- ^ 0 votes. This goes away. Yay!
|  TraditionalRecordSyntax
|    -- ^ NoTraditionalRecordSyntax has zero votes, so can stay
|  EmptyDataDecls
|    -- ^ 10 votes, so can stay
|  PatternGuards
|    -- ^ NoPatternGuards has zero votes, so can stay DoAndIfThenElse
|    -- ^ wasn’t even on the ballot, probably a consequence of
|  
|  https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgitl
|  ab.haskell.org%2Fghc%2Fghc%2F-
|  %2Fissues%2F18631&data=04%7C01%7Csimonpj%40microsoft.com%7C87f3f1f
|  caf874fa603d908d898435d86%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C1%7
|  C637426763453659765%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIj
|  oiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=BPYOFqz9V658
|  8IlquzjzcwAd8Oq9NbiOt86S2EG2Iq4%3D&reserved=0
|         I assume this stays unless someone disagrees.
|  RelaxedPolyRec
|    -- ^ Impossible to turn off, so this stays.
|  
|  
|  Sorry for the confusion, next time round will be easier, when there is
|  a clear base line (i.e. GHC2021).
|  
|  Cheers,
|  Joachim
|  
|  
|  --
|  Joachim Breitner
|    mail at joachim-breitner.de
|  
|  https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.j
|  oachim-
|  breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7C87f3f1fcaf
|  874fa603d908d898435d86%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C1%7C63
|  7426763453659765%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV
|  2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=%2BKmPtIIneF9ke
|  9RBN5VKFJ8a2pk16UOWA%2BOGOZ3zB7o%3D&reserved=0
|  
|  
|  _______________________________________________
|  ghc-steering-committee mailing list
|  ghc-steering-committee at haskell.org
|  https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail
|  .haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-
|  committee&data=04%7C01%7Csimonpj%40microsoft.com%7C87f3f1fcaf874fa
|  603d908d898435d86%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C1%7C6374267
|  63453659765%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMz
|  IiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=X44d0g%2Bd4rYDI86U1p
|  3OQQC4E0b%2BzU2cpWfKj3h02VM%3D&reserved=0