git.megacz.com Git - ghc-hetmet.git/commit

author	simonpj@microsoft.com <unknown>
	Thu, 2 Feb 2006 12:44:05 +0000 (12:44 +0000)
committer	simonpj@microsoft.com <unknown>
	Thu, 2 Feb 2006 12:44:05 +0000 (12:44 +0000)
commit	04feba252e40d16101b92948cd1e13c7bc1f3062
tree	643e52fe09b0acae81ce46e775d5724df29cc09f	tree \| snapshot
parent	fe108ff1b0d4b52679ba6deddadf5d2fb3fa8f22	commit \| diff

Record the type in TuplePat (necessary for GADTs)

We must record the type of a TuplePat after typechecking, just like a ConPatOut,
so that desugaring works correctly for GADTs. See comments with the declaration
of HsPat.TuplePat, and test gadt15

16 files changed:

ghc/compiler/deSugar/Check.lhs		diff \| blob \| history
ghc/compiler/deSugar/DsExpr.lhs		diff \| blob \| history
ghc/compiler/deSugar/DsListComp.lhs		diff \| blob \| history
ghc/compiler/deSugar/DsMeta.hs		diff \| blob \| history
ghc/compiler/deSugar/DsUtils.lhs		diff \| blob \| history
ghc/compiler/deSugar/Match.lhs		diff \| blob \| history
ghc/compiler/deSugar/MatchCon.lhs		diff \| blob \| history
ghc/compiler/hsSyn/Convert.lhs		diff \| blob \| history
ghc/compiler/hsSyn/HsPat.lhs		diff \| blob \| history
ghc/compiler/hsSyn/HsUtils.lhs		diff \| blob \| history
ghc/compiler/parser/RdrHsSyn.lhs		diff \| blob \| history
ghc/compiler/rename/RnTypes.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcExpr.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcHsSyn.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcPat.lhs		diff \| blob \| history
ghc/compiler/types/Generics.lhs		diff \| blob \| history

Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)

RSS Atom