Allow ambiguous types (with warning) by default

David Kraeutmann kane at
Sat Dec 5 23:21:50 UTC 2015

I'm strongly against this, for a multitude of reasons. There's already a
mechanism for doing what you want -- type defaulting. See also .

On 12/5/2015 11:38 PM, David Feuer wrote:
> The ambiguity check produces errors that are quite surprising to the
> uninitiated. When the check is suppressed, the errors at use sites are
> typically much easier to grasp. On the other hand, there's obviously a lot
> of value to catching mistakes as soon as possible. Would it be possible to
> turn that into a warning by default?
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4291 bytes
Desc: S/MIME Cryptographic Signature
URL: <>

More information about the ghc-devs mailing list