<p dir="ltr">Edward Kmett seems to have some concerns about its implications for type checker implementations. Personally, I have little interest in programming in a Haskell that doesn't have a feature with the power to express what ScopedTypeVariables can. That said, there are some weird corners in the design relating to pattern signatures and in particular to pattern bindings.</p>
<div class="gmail_quote">On Sep 30, 2015 2:26 PM, "Bardur Arantsson" <<a href="mailto:spam@scientician.net">spam@scientician.net</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 09/30/2015 08:10 PM, David Feuer wrote:<br>
> The Eq constraint is needed to support pattern matching, the raison d’être<br>
> of pattern synonyms. I'm pretty sure the reason you need<br>
> ScopedTypeVariables for your second example is that GHC only allows pattern<br>
> signatures with that extension enabled. Once upon a time there was a<br>
> separate PatternSignatures extension, I believe, but not any more.<br>
<br>
Perhaps ScopedTypeVariables by default (or only?) would be relevant for<br>
the revamped[1] Haskell' committee?<br>
<br>
Would there be any actual downsides? It's always seemed to me that<br>
ScopedTypeVariables was the way it should have been from the start<br>
(given perfect foresight).<br>
<br>
Regards,<br>
<br>
[1] <a href="http://permalink.gmane.org/gmane.comp.lang.haskell.prime/3965" rel="noreferrer" target="_blank">http://permalink.gmane.org/gmane.comp.lang.haskell.prime/3965</a><br>
<br>
_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users</a><br>
</blockquote></div>