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

Hi, Am Montag, den 02.07.2018, 17:02 -0400 schrieb Ben Gamari:

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.

merged. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/