projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f01efda) | patch
Do not consult -XGADTs flag when pattern matching on GADTs
authorsimonpj@microsoft.com <unknown>
Fri, 4 Jan 2008 12:58:14 +0000 (12:58 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 4 Jan 2008 12:58:14 +0000 (12:58 +0000)
commitce9268f652cc4c46af75ae765f859480cf081cda
tree3ddb5c5053fb012b9d30ac1a5f4e3ea6d4309e14tree | snapshot
parentf01efdadeb1d2951476092db8d3929fe4ba7e109commit | diff
Do not consult -XGADTs flag when pattern matching on GADTs

See Trac #2004, and Note [Flags and equational constraints] in TcPat.
compiler/typecheck/TcPat.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)