diff options
| author | simonpj <unknown> | 2001-09-20 12:14:31 +0000 |
|---|---|---|
| committer | simonpj <unknown> | 2001-09-20 12:14:31 +0000 |
| commit | ab061892ee2bf011c5eb2a809917fd77599acf6b (patch) | |
| tree | 28507b20e4fca60cf1c506f12b1eb12e4bdc643b /ghc/compiler/codeGen | |
| parent | 2c2509997743edeb63830b86c8ee910db2414c6b (diff) | |
| download | haskell-ab061892ee2bf011c5eb2a809917fd77599acf6b.tar.gz | |
[project @ 2001-09-20 12:14:31 by simonpj]
------------------------------------------------
Make code generation ignore isLocalId/isGlobalId
------------------------------------------------
MERGE WITH STABLE BRANCH
CorePrep may introduce some new, top-level LocalIds. This
breaks an invariant that the core2stg/code generator passes
occasionally used, namely that LocalIds are not top-level bound.
This commit fixes that problem.
It also removes an assert from CodeGen.cgTopRhs that asks
for the CgInfo of such new LocalIds -- but they may (legitimately)
not have any, so it was a bad ASSERT. [Showed up in George
Russel's system.]
Diffstat (limited to 'ghc/compiler/codeGen')
| -rw-r--r-- | ghc/compiler/codeGen/CodeGen.lhs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/ghc/compiler/codeGen/CodeGen.lhs b/ghc/compiler/codeGen/CodeGen.lhs index f9ee5b7969..2b15e21547 100644 --- a/ghc/compiler/codeGen/CodeGen.lhs +++ b/ghc/compiler/codeGen/CodeGen.lhs @@ -266,8 +266,6 @@ cgTopRhs bndr (StgRhsCon cc con args) srt cgTopRhs bndr (StgRhsClosure cc bi fvs upd_flag args body) srt = -- There should be no free variables ASSERT(null fvs) - -- If the closure is a thunk, then the binder must be recorded as such. - ASSERT2(not (isUpdatable upd_flag) || mayHaveCafRefs (idCafInfo bndr), ppr bndr) getSRTLabel `thenFC` \srt_label -> let lf_info = |