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

Ben Gamari writes:

Hi everyone,

We are being asked to consider pull request #146. This proposal is an amendment to the accepted Proposal 0020 [1], removing a migration mechanism which was found in practice to hurt more than help.

If anyone has any objection do say so. If none is expressed in the next two days I will merge. Cheers, - Ben