<div dir="auto"><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)">On Wed, 9 May 2018 03:01 UTC, cheater00 wrote:</pre></div><div dir="auto"><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)">> I couldn't live without ScopedTypeVariables. For me it's an essential tool
when I want to figure out
<br></pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)">Yes absolutely. To be clear: nobody's talking about removing it. The question is, could we get the same functionality without being so confusing and contrary to how Haskell usually works with type variables? (I'm not saying yea or nay, I'm trying to invite discussion.)</pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)">> ...</pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)">> Backwards compat: Isn't this what we have Haskell 98, Haskell 2010, etc?
<br></pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)">The current design for ScopedTypeVariables potentially changes the types for programs that are valid H98/H2010. (Or for programs that were valid as at when ScopedTypeVariables was introduced ~10 years ago, perhaps using ExplicitForAll.) Probably the effect would be that they don't compile, but it might be more subtle.</pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)"><br></pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)">So the explanation I've seen for the current design is it was deliberately idiosyncratic, to minimise any disruption to existing code. Then I'm asking whether any of that code is still around? If not/if it's been re-factored to use ScopedTypeVariables, then any tweak to the design could have a freer hand.</pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)"><br></pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)">But seems there's no enthusiasm for such discussion, so I'm going to let it die. I hear there might be moves afoot elsewhere ...</pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)"><br></pre><pre style="white-space:pre-wrap;background-color:rgb(255,255,255)">AntC</pre></div>