diff options
| author | aarne <unknown> | 2003-11-13 16:02:25 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-11-13 16:02:25 +0000 |
| commit | c5146d06143c9b93e40bb2b1265ab58134be36d7 (patch) | |
| tree | a3c9fff896b110e7c84bbc8fe298f278e374eccb /src/GF/Compile/Compile.hs | |
| parent | 25c86905867537f75e9fe2f19759d8747d465590 (diff) | |
Improved interface and instance compilation.
Improved interface and instance compilation.
Restored an optimization of the optimizer: up to 4x faster now.
Diffstat (limited to 'src/GF/Compile/Compile.hs')
| -rw-r--r-- | src/GF/Compile/Compile.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/GF/Compile/Compile.hs b/src/GF/Compile/Compile.hs index cc327be37..4364b7b2c 100644 --- a/src/GF/Compile/Compile.hs +++ b/src/GF/Compile/Compile.hs @@ -168,10 +168,11 @@ compileSourceModule opts env@(k,gr,can) mo@(i,mi) = do mo1 <- ioeErr $ rebuildModule mos mo mo1b <- ioeErr $ extendModule mos mo1 - ---- prDebug mo1b + ---- prDebug mo1b case mo1b of - (_,ModMod n) | not (isCompleteModule n) -> return (k,mo1b) + (_,ModMod n) | not (isCompleteModule n) -> do + return (k,mo1b) -- refresh would fail, since not renamed _ -> do mo2:_ <- putp " renaming " $ ioeErr $ renameModule mos mo1b |