projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3318172) | patch
[project @ 2003-10-16 10:19:27 by simonpj]
authorsimonpj <unknown>
Thu, 16 Oct 2003 10:19:28 +0000 (10:19 +0000)
committersimonpj <unknown>
Thu, 16 Oct 2003 10:19:28 +0000 (10:19 +0000)
commit1c9f0be145ee4153d9dc88ad8afd784912a6b271
tree2e80ef28f8b370bfb2c1333c17cd0abe219af739tree | snapshot
parent3318172ea2185a0b89bef1c0b8ed789dd205a81ccommit | diff
[project @ 2003-10-16 10:19:27 by simonpj]
When type-checking an interface in --make, when the source file hasn't
changed, we must bring into scope all the things defined in the interface.
This was breaking --make badly.

The epicentre here is TcIface.typecheckIface
ghc/compiler/iface/IfaceEnv.lhs diff | blob | history
ghc/compiler/iface/TcIface.lhs diff | blob | history
ghc/compiler/main/HscMain.lhs diff | blob | history
ghc/compiler/typecheck/TcRnDriver.lhs diff | blob | history
ghc/compiler/typecheck/TcRnMonad.lhs diff | blob | history
ghc/compiler/typecheck/TcTyClsDecls.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)