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

On Jul 5, 2019, at 12:04 PM, Richard Eisenberg wrote:

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

This proposal has now been accepted. Thanks!