[ghc-steering-committee] Remove TypeOperators => NoStarIsType "migration" (#146); Recommendation: accept

[Simon Peyton Jones]

I'm in favour.

Simon

|  -----Original Message-----
|  From: ghc-steering-committee <ghc-steering-committee-bounces at haskell.org> On
|  Behalf Of Manuel M T Chakravarty
|  Sent: 26 June 2018 04:41
|  To: Ben Gamari <ben at well-typed.com>
|  Cc: ghc-steering-committee at haskell.org
|  Subject: Re: [ghc-steering-committee] Remove TypeOperators => NoStarIsType
|  "migration" (#146); Recommendation: accept
|  
|  +1
|  
|  > Am 26.06.2018 um 02:07 schrieb Ben Gamari <ben at well-typed.com>:
|  >
|  > Signierter PGP-Teil
|  > Ben Gamari <ben at well-typed.com> writes:
|  >
|  >> Hi everyone,
|  >>
|  > ...
|  >>
|  >> The proposed amendment removes TypeOperator's implication of
|  >> NoStarIsType. To be clear, this is ultimately a trade-off between
|  >> optimising for users of (*) as a binary operator and users of * ~ Type.
|  >> It just so happens that there are far more of the latter.
|  >> Consequently, my recommendation is to accept the modified proposal.
|  >>
|  > Given that this is (hopefully) a relatively uncontroversial change, my
|  > plan is to move ahead with issuing alpha 1 with the new NoStarIsType
|  > semantics on Wednesday. If anyone on the committee feels strongly
|  > about the issue and would prefer that I not do this do let me know
|  > soon and we can discuss.
|  >
|  > Cheers,
|  >
|  > - Ben
|  >
|  >