Not in 7.4.2, correct?
--
dude
On 08/22/2012 09:58 AM, Brent Yorgey wrote:
I believe in the paper it is actually a lowercase Greek chi (χ), which
should work too. ;)
-Brent
On Wed, Aug 22, 2012 at 08:15:48AM +0200, José Pedro Magalhães wrote:
Nope, but it should work on 7.6 (also on the release candidate).
The 'X' should be lowercase, though, like type variables.
Cheers,
Pedro
On Wed, Aug 22, 2012 at 12:01 AM, dude <d...@methodeutic.com> wrote:
Hello All:
I'm working through Giving Haskell a Promotion.
Section 2.4 presents an explicitly annotated data type declaration similar
to the following:
data EqRefl (a::X)(b::X) where
Refl :: forall X. forall (a::X). EqRefl a a
Has this been implemented in GHC 7.4.2?
7.8.3 in the GHC User Guide leads me to believe it has not.
--
dude
______________________________**_________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/**mailman/listinfo/haskell-cafe<http://www.haskell.org/mailman/listinfo/haskell-cafe>
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
--
--
dude
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
