Wed Feb 4 07:09:19 PST 2009 [email protected]
* Check -XGADTs in (a) type family decls (b) pattern matches
Ignore-this: 19a6268814440493eea436c48daa8414
Following Trac #2905, we now require -XGADTs for *pattern matches* on
GADTs, not just on *definitions*.
Also I found that -XGADTs wasn't being checked when declaring type families,
so I fixed that too.
M ./compiler/typecheck/TcPat.lhs +7
M ./compiler/typecheck/TcTyClsDecls.lhs -3 +10
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20090204150919-1287e-9f98ed0e1a72d48b575d77a41bad56d034f97726.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
