diff options
Diffstat (limited to 'src/GF/Devel/Compile/Compile.hs')
| -rw-r--r-- | src/GF/Devel/Compile/Compile.hs | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/src/GF/Devel/Compile/Compile.hs b/src/GF/Devel/Compile/Compile.hs index 40d7a1032..490117e27 100644 --- a/src/GF/Devel/Compile/Compile.hs +++ b/src/GF/Devel/Compile/Compile.hs @@ -147,14 +147,18 @@ compileSourceModule opts env@(k,gr) mo@(i,mi) = do putpp = putPointEsil opts - mor <- ioeErr $ renameModule gr mo + moe <- ioeErr $ extendModule gr mo + intermOut opts (iOpt "show_extend") (prMod moe) + + mor <- ioeErr $ renameModule gr moe intermOut opts (iOpt "show_rename") (prMod mor) - moe <- ioeErr $ extendModule gr mor - intermOut opts (iOpt "show_extend") (prMod moe) + (moc,warnings) <- putpp " type checking" $ ioeErr $ showCheckModule gr mor + if null warnings then return () else putp warnings $ return () + intermOut opts (iOpt "show_typecheck") (prMod moc) + return (k,moc) ---- - return (k,moe) ---- {- ---- mo1 <- ioeErr $ rebuildModule mos mo |