<div dir="ltr">We could have a LANGUAGE pragma that makes the language easier for beginners.<div>Provided it would not change anything major, otherwise it will be hard to decide how much to simplify the language.</div><div>We can restrict it to only enabling some other extensions, one of which could be AllowAmbiguousTypes.</div></div><div class="gmail_extra"><br><div class="gmail_quote">On 6 December 2015 at 04:51, David Kraeutmann <span dir="ltr"><<a href="mailto:kane@kane.cx" target="_blank">kane@kane.cx</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I'm strongly against this, for a multitude of reasons. There's already a<br>
mechanism for doing what you want -- type defaulting. See also<br>
<a href="https://ghc.haskell.org/trac/ghc/ticket/8171" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/ghc/ticket/8171</a> .<br>
<div><div class="h5"><br>
On 12/5/2015 11:38 PM, David Feuer wrote:<br>
> The ambiguity check produces errors that are quite surprising to the<br>
> uninitiated. When the check is suppressed, the errors at use sites are<br>
> typically much easier to grasp. On the other hand, there's obviously a lot<br>
> of value to catching mistakes as soon as possible. Would it be possible to<br>
> turn that into a warning by default?<br>
><br>
><br>
><br>
</div></div>> _______________________________________________<br>
> ghc-devs mailing list<br>
> <a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
><br>
<br>
<br>_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div>Regards</div><div dir="ltr"><div><br></div><div>Sumit Sahrawat</div></div></div></div></div></div></div>
</div>