diff options
| author | kr.angelov <kr.angelov@chalmers.se> | 2008-05-22 15:23:56 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@chalmers.se> | 2008-05-22 15:23:56 +0000 |
| commit | 2ecfbf154365177265eed3e1dce5e673ab4b5028 (patch) | |
| tree | 1d0886667c6d24aa5459dc5e5c68d8352d2da746 /src-3.0/GF/Compile.hs | |
| parent | 4c0004f714ff6257abf7187afafae3a57b286c44 (diff) | |
remove GF.Devel.PrGrammar and use GF.Grammar.PrGrammar instead
Diffstat (limited to 'src-3.0/GF/Compile.hs')
| -rw-r--r-- | src-3.0/GF/Compile.hs | 18 |
1 files changed, 7 insertions, 11 deletions
diff --git a/src-3.0/GF/Compile.hs b/src-3.0/GF/Compile.hs index 56fd56ce2..7e1ce0356 100644 --- a/src-3.0/GF/Compile.hs +++ b/src-3.0/GF/Compile.hs @@ -15,13 +15,12 @@ import GF.Compile.Update import GF.Grammar.Grammar import GF.Grammar.Refresh import GF.Grammar.Lookup +import GF.Grammar.PrGrammar import GF.Infra.Ident import GF.Infra.Option -import GF.Infra.CompactPrint import GF.Infra.Modules import GF.Infra.UseIO -import GF.Devel.PrGrammar import GF.Source.GrammarToSource import qualified GF.Source.AbsGF as A @@ -66,9 +65,6 @@ intermOut opts opt s = if oElem opt opts then ioeIO (putStrLn ("\n\n--#" +++ prOpt opt) >> putStrLn s) else return () -prMod :: SourceModule -> String -prMod = compactPrint . prModule - -- | the environment type CompileEnv = (Int,SourceGrammar,ModEnv) @@ -159,25 +155,25 @@ compileSourceModule opts env@(k,gr,_) mo@(i,mi) = do mos = modules gr mo1 <- ioeErr $ rebuildModule mos mo - intermOut opts (iOpt "show_rebuild") (prMod mo1) + intermOut opts (iOpt "show_rebuild") (prModule mo1) mo1b <- ioeErr $ extendModule mos mo1 - intermOut opts (iOpt "show_extend") (prMod mo1b) + intermOut opts (iOpt "show_extend") (prModule mo1b) case mo1b of (_,ModMod n) | not (isCompleteModule n) -> do return (k,mo1b) -- refresh would fail, since not renamed _ -> do mo2:_ <- putpp " renaming " $ ioeErr $ renameModule mos mo1b - intermOut opts (iOpt "show_rename") (prMod mo2) + intermOut opts (iOpt "show_rename") (prModule mo2) (mo3:_,warnings) <- putpp " type checking" $ ioeErr $ showCheckModule mos mo2 if null warnings then return () else putp warnings $ return () - intermOut opts (iOpt "show_typecheck") (prMod mo3) + intermOut opts (iOpt "show_typecheck") (prModule mo3) (k',mo3r:_) <- putpp " refreshing " $ ioeErr $ refreshModule (k,mos) mo3 - intermOut opts (iOpt "show_refresh") (prMod mo3r) + intermOut opts (iOpt "show_refresh") (prModule mo3r) let eenv = () --- emptyEEnv (mo4,eenv') <- @@ -192,7 +188,7 @@ generateModuleCode :: Options -> FilePath -> SourceModule -> IOE SourceModule generateModuleCode opts file minfo = do let minfo1 = subexpModule minfo out = prGrammar (MGrammar [minfo1]) - putp (" wrote file" +++ file) $ ioeIO $ writeFile file $ compactPrint out + putp (" wrote file" +++ file) $ ioeIO $ writeFile file $ out return minfo1 where putp = putPointE opts |
