projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a2a9410) | patch
[project @ 2005-02-02 10:15:48 by simonpj]
authorsimonpj <unknown>
Wed, 2 Feb 2005 10:15:48 +0000 (10:15 +0000)
committersimonpj <unknown>
Wed, 2 Feb 2005 10:15:48 +0000 (10:15 +0000)
commit1a252f250cb1e6f4a09568b514c25ca20adc73dc
tree4ff919f0b6f58886f7b31ae45ccb67babed4d861tree | snapshot
parenta2a9410c4d310e2a7a7fd2a59775b442609d7a57commit | diff
[project @ 2005-02-02 10:15:48 by simonpj]
Fix two separate bugs in CoreLint, both relating to the fact that the substitution
it carries must be applied exactly once.

This cures a lint crash in Text.ParserCombinators.Parsec.Perm, which was triggered
by -O2; specifically, SpecConstr generated some terms with heavy shadowing of type
variables.
ghc/compiler/coreSyn/CoreLint.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)