Re: [ghc-steering-committee] Remove the * kind syntax (#143); Recommendation: accept

Hi, Am Montag, den 16.07.2018, 18:24 -0400 schrieb Ben Gamari:

Joachim Breitner writes:

snip

...

I would rather reword this to “may be removed”, and leave it to the future GHC developers to make the call. It may be that they decide that the cost keeping the StarIsType code around is not that big, and that the benefit of running old code with less effort is higher, and I see no reason to force their hand at this point. Instead of forcing, we should at most give a mandate.

That sounds reasonable to me.

Great, no more complains received, hence accepted (with this slight wording provision). Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/