Re: [ghc-steering-committee] Plugin recompilation avoidance interface (#108)

Hi, Am Samstag, den 14.04.2018, 12:42 -0400 schrieb Ben Gamari:

Joachim Breitner writes:

...

Hi Ben,

Am Donnerstag, den 22.03.2018, 19:59 -0400 schrieb Ben Gamari:

...

Does anyone object to accepting the simple approach as suggested by Joachim?

I think you can go ahead with this one.

Sounds good. Let's accept.

I guess someone (maybe you as the shepherd) needs to either update the proposal with the results from this discussion before you merge it, or you need to request this from the author. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/