started grammar checking with new internal format

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