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

[Ben Gamari]

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: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180625/a1ab6ff3/attachment.sig>