[Haskell-cafe] explicit annotations on kind polymorphism for data types
dude at methodeutic.com
Wed Aug 22 00:01:38 CEST 2012
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.
More information about the Haskell-Cafe