projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd0bd64) | patch
Check -XGADTs in (a) type family decls (b) pattern matches
authorsimonpj@microsoft.com <unknown>
Wed, 4 Feb 2009 15:09:19 +0000 (15:09 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 4 Feb 2009 15:09:19 +0000 (15:09 +0000)
commitd95190caa3e09b33bca8544051043954ebd89c73
treef4c8bdcf06642e73dbb00b5ed736263abc9d1ec1tree | snapshot
parentbd0bd647062bad646dd8b2d0f85cce67c2079907commit | diff
Check -XGADTs in (a) type family decls (b) pattern matches

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.
compiler/typecheck/TcPat.lhs diff | blob | history
compiler/typecheck/TcTyClsDecls.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)