[ghc-steering-committee] Please review: embrace Type::Type, Shepherd: Iavor

[Simon Peyton Jones]

I'm strongly in favour of this proposal.  There are really two bits

* Stop distinguishing -XPolyKinds and -XTypeInType. This is a straight win.
  I implement GHC and I could not tell you the precise description. The
  distinction serves no useful purpose: the ONLY reason for retaining it
  is to avoid back-compat worries, and that is not a good reason to perpetuate
  special cases into the indefinite future

* Stop treating '*' specially, with a flag to get the old behaviour.
  I support this plan too.  It was really a mistake to use an operator
  symbol as a type name in the first place.  Having a flag to recover
  the current behaviour is a reasonable mitigation path.

Let's do it!

Simon

|  -----Original Message-----
|  From: ghc-steering-committee [mailto:ghc-steering-committee-
|  bounces at haskell.org] On Behalf Of Joachim Breitner
|  Sent: 19 December 2017 02:53
|  To: ghc-steering-committee at haskell.org
|  Subject: [ghc-steering-committee] Please review: embrace Type::Type,
|  Shepherd: Iavor
|  
|  Dear Committee,
|  
|  this is your secretary speaking:
|  
|  Richards proposes to merge -XTypeInType into -XPolyKinds and -XDataKinds
|  https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%
|  2Fghc-proposals%2Fghc-
|  proposals%2Fpull%2F83&data=02%7C01%7Csimonpj%40microsoft.com%7C3c755ac86e034
|  0422c0508d5468badbf%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63649248810
|  8056862&sdata=TcjDdAfP3cDMWfiKMNjzTG98iKzoCIeG6SoDvAdpSHs%3D&reserved=0
|  
|  I propose Yavor Diatchki as the Shepherd.
|  
|  Yavor, please reach consensus as described in
|  https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%
|  2Fghc-proposals%2Fghc-proposals%23committee-
|  process&data=02%7C01%7Csimonpj%40microsoft.com%7C3c755ac86e0340422c0508d5468
|  badbf%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636492488108056862&sdata=
|  7tIMsZ3f1ywmuHTJXqlA%2BtGKfUV5X3rRMcNxtyJDeSQ%3D&reserved=0
|  
|  I suggest you make a recommendation about the decision, maybe point out
|  debatable points, and assume that anyone who stays quiet agrees with you.
|  
|  Thanks,
|  Joachim
|  --
|  Joachim Breitner
|    mail at joachim-breitner.de
|  
|  https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-
|  breitner.de%2F&data=02%7C01%7Csimonpj%40microsoft.com%7C3c755ac86e0340422c05
|  08d5468badbf%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636492488108056862
|  &sdata=jGkyiDO6oIs2kidTiRSqp0o1J0kZRrgpPbyA4%2FwdkSI%3D&reserved=0