[Haskell-beginners] [Haskell-cafe] arbitrary rank polymorphism and ghc language pragmas

rickmurphy rick at rickmurphy.org
Thu Jul 5 19:17:12 CEST 2012


Thanks Francesco. And I did verify that ExplicitForAll does in fact
allow Rank 1 Types in functions like the following ...

f :: (forall a. a -> a)

--
Rick

On Thu, 2012-07-05 at 16:28 +0100, Francesco Mazzoli wrote:
> At Thu, 05 Jul 2012 11:18:00 -0400,
> rickmurphy  wrote:
> > data T = TC (forall a b. a -> b -> a)
> 
> The type of `TC' will be `(forall a b. a -> b -> a) -> T', a Rank-2
> type.
> 
> --
> Francesco * Often in error, never in doubt
> 
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
> 





More information about the Beginners mailing list