projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 481b014) | patch
Fix a bug in MatchCon, and clarify what dataConInstOrigArgTys does
authorLemmih <lemmih@gmail.com>
Thu, 7 Jun 2007 21:38:37 +0000 (21:38 +0000)
committerLemmih <lemmih@gmail.com>
Thu, 7 Jun 2007 21:38:37 +0000 (21:38 +0000)
commit00b6d2567426ec52a113b1d3687e1d61368cafda
tree12bb409c49bfb5c2eb7b0971ac150c8bfe7d0f7ftree | snapshot
parent481b014b46dd53ef5d1c5e679e1d9f08207af96ecommit | diff
Fix a bug in MatchCon, and clarify what dataConInstOrigArgTys does

There was an outright bug in MatchCon.matchOneCon, in the construction
of arg_tys.  Easily fixed.  It never showed up becuase the arg_tys are
only used in WildPats, and they in turn seldom have their types looked
(except by hsPatType).  So I can't make a test case for htis.

While I was investigating, I added a bit of clarifation and
invariant-checking to dataConInstOrigArgTys and dataConInstArgTys
compiler/basicTypes/DataCon.lhs diff | blob | history
compiler/deSugar/MatchCon.lhs diff | blob | history
compiler/ghci/RtClosureInspect.hs diff | blob | history
compiler/hsSyn/HsPat.lhs diff | blob | history
compiler/iface/BuildTyCl.lhs diff | blob | history
compiler/typecheck/TcDeriv.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)