Allow ambiguous types (with warning) by default

David Kraeutmann kane at kane.cx
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
https://ghc.haskell.org/trac/ghc/ticket/8171 .

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 haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4291 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20151206/bcc37503/attachment.bin>


More information about the ghc-devs mailing list