[ghc-steering-committee] Recommendation made for {-# AMBIGUOUS #-}, #232

5 Jul 2019

      Hi all,

I have made my recommendation for #232 here: https://github.com/ghc-proposals/ghc-proposals/pull/232#issuecomment-5088034... https://github.com/ghc-proposals/ghc-proposals/pull/232#issuecomment-5088034...

Thanks,
Richard

[ghc-steering-committee] Recommendation made for {-# AMBIGUOUS #-}, #232

Richard Eisenberg