2 files changed, 9 insertions, 3 deletions
diff --git a/src/GF/Devel/Compile/CheckGrammar.hs b/src/GF/Devel/Compile/CheckGrammar.hs
index 1baab392f..e9daa1f64 100644
--- a/src/GF/Devel/Compile/CheckGrammar.hs
+++ b/src/GF/Devel/Compile/CheckGrammar.hs
@@ -203,8 +203,10 @@ checkCompleteGrammar abs cnc = do
 checkResInfo :: GF -> Ident -> Ident -> Judgement -> Check Judgement
 checkResInfo gr mo c info = do
   ----  checkReservedId c
+  trace (show info) (return ())
   case jform info of
     JOper -> chIn "operation" $ case (jtype info, jdef info) of
+      _ | isConstructor info -> return info
       (_,Meta _) -> do
         checkWarn "No definition given to oper"
         return info
@@ -698,6 +700,7 @@ getOverload env@gr mt t = case appForm t of
 
 checkLType :: GF -> Term -> Type -> Check (Term, Type)
 checkLType env trm typ0 = do
+  trace (show trm) (return ())
 
   typ <- comp typ0
 
diff --git a/src/GF/Devel/Compile/Compile.hs b/src/GF/Devel/Compile/Compile.hs
index b636f0fa7..e0de193c1 100644
--- a/src/GF/Devel/Compile/Compile.hs
+++ b/src/GF/Devel/Compile/Compile.hs
@@ -34,9 +34,12 @@ batchCompile opts files = do
 
 -- to output an intermediate stage
 intermOut :: Options -> Option -> String -> IOE ()
-intermOut opts opt s = if oElem opt opts then 
-  ioeIO (putStrLn ("\n\n--#" +++ prOpt opt) >> putStrLn s) 
-  else return ()
+intermOut opts opt s = 
+  if oElem opt opts || oElem (iOpt "show_all") opts
+  then 
+    ioeIO (putStrLn ("\n\n--#" +++ prOpt opt) >> putStrLn s) 
+  else 
+    return ()
 
 prMod :: SourceModule -> String
 prMod = prModule