Tue Sep 23 07:05:35 PDT 2008 [EMAIL PROTECTED]
* Allow type families to use GADT syntax (and be GADTs)
We've always intended to allow you to use GADT syntax for
data families:
data instance T [a] where
T1 :: a -> T [a]
and indeed to allow data instances to *be* GADTs
data intsance T [a] where
T1 :: Int -> T [Int]
T2 :: a -> b -> T [(a,b)]
This patch fixes the renamer and type checker to allow this.
M ./compiler/basicTypes/DataCon.lhs -22 +19
M ./compiler/iface/BuildTyCl.lhs -5 +7
M ./compiler/iface/TcIface.lhs -1 +5
M ./compiler/prelude/TysWiredIn.lhs -1 +2
M ./compiler/rename/RnSource.lhs -9 +8
M ./compiler/typecheck/TcTyClsDecls.lhs -79 +104
M ./compiler/vectorise/VectType.hs -2 +5
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080923140535-1287e-5914cd3c8b9320616003af6ccebe4484e2735aca.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
