Nope, but it should work on 7.6 (also on the release candidate).<br>The &#39;X&#39; should be lowercase, though, like type variables.<br><br><br>Cheers,<br>Pedro<br><br><div class="gmail_quote">On Wed, Aug 22, 2012 at 12:01 AM, dude <span dir="ltr">&lt;<a href="mailto:dude@methodeutic.com" target="_blank">dude@methodeutic.com</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello All:<br>
<br>
I&#39;m working through Giving Haskell a Promotion.<br>
<br>
Section 2.4 presents an explicitly annotated data type declaration similar to the following:<br>
<br>
data EqRefl (a::X)(b::X) where<br>
  Refl :: forall X. forall (a::X). EqRefl a a<br>
<br>
Has this been implemented in GHC 7.4.2?<br>
<br>
7.8.3 in the GHC User Guide leads me to believe it has not.<br>
<br>
--<br>
dude<br>
<br>
______________________________<u></u>_________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/<u></u>mailman/listinfo/haskell-cafe</a><br>
</blockquote></div><br>