I agree with rejection. Simon | -----Original Message----- | From: ghc-steering-committee [mailto:ghc-steering-committee- | bounces@haskell.org] On Behalf Of Roman Leshchinskiy | Sent: 12 March 2017 15:52 | To: ghc-steering-committee@haskell.org | Subject: [ghc-steering-committee] Proposal 34: The INCOMPLETE_CONTEXTS | pragma proposal | | Hi, | | I propose we reject this. | | Reasons: | | 1. The motivation is quite weak. In the case of tracing this seems like a | rather large hammer for such a small nail. The other examples in the | document aren't convincing to me at all. As Simon PJ points out, a | wildcard context would handle most of the cases in question. | | 2. The extension is dangerous, as the proposal itself acknowledges. It | explicitly requires that "Hackage should refuse to accept any package | upload" with this pragma. To me, this seems like far too much machinery | for this (and a lot of people don't use Hackage). A compiler flag might | be more reasonable but even then, I don't see the benefits as being worth | it. | | 3. The extension is underspecified. It's not clear to me what the exact | semantics are and what an implementation would look like. | | Thanks, | | Roman | _______________________________________________ | ghc-steering-committee mailing list | ghc-steering-committee@haskell.org | https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee