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

[Manuel M T Chakravarty]

+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
> 
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 874 bytes
Desc: Message signed with OpenPGP
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180626/53ccc4d4/attachment.sig>