
1 Oct
2020
1 Oct
'20
3:16 p.m.
On Oct 1, 2020, at 4:58 AM, Joachim Breitner
wrote: The main alternative to this proposal is #295. It is probably worth
it for at least the committee shepherd to read #295 in concert with this current proposal, to see which approach they like more.
Since I wrote that on #283, Michael (the author of #295) effectively retracted that proposal, so it needn't be considered in tandem. For the sake of completeness: a comment (https://github.com/ghc-proposals/ghc-proposals/pull/295#issuecomment-7020445... https://github.com/ghc-proposals/ghc-proposals/pull/295#issuecomment-7020445...) on #295 suggests a (in my opinion) very vague alternative approach building from #295 that could be considered an alternative to #283. Thanks, Richard