From cc98b779fd35fdceb05b85eb9f71e712a3a05205 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Sat, 8 Dec 2007 16:51:39 +0000
Subject: [PATCH] breaking points 1..6 in new Compile

---
 src/GF/Devel/Compile/Compile.hs | 23 ++++++++++++++---------
 src/GF/Devel/Compile/Refresh.hs |  4 ++--
 2 files changed, 16 insertions(+), 11 deletions(-)

diff --git a/src/GF/Devel/Compile/Compile.hs b/src/GF/Devel/Compile/Compile.hs
index 9feb2edb1..f194f75da 100644
--- a/src/GF/Devel/Compile/Compile.hs
+++ b/src/GF/Devel/Compile/Compile.hs
@@ -133,6 +133,7 @@ compileOne opts env@(_,srcgr) file = do
      _ -> False
 
 
+
 compileSourceModule :: Options -> CompileEnv -> 
                        SourceModule -> IOE (Int,SourceModule)
 compileSourceModule opts env@(k,gr) mo@(i,mi) = do
@@ -141,28 +142,32 @@ compileSourceModule opts env@(k,gr) mo@(i,mi) = do
 
   let putp  = putPointE opts
       putpp = putPointEsil opts
+      stopIf n comp m = 
+        if any (\k -> oElem (iOpt (show k)) opts) [1..n] then return m else comp m
+      stopIfV v n comp m = 
+        if any (\k -> oElem (iOpt (show k)) opts) [1..n] then return (m,v) else comp m
 
-
-  moe <- putpp "  extending" $ ioeErr $ extendModule gr mo
+  moe <- stopIf 1 (putpp "  extending" . ioeErr . extendModule gr) mo
   intermOut opts (iOpt "show_extend") (prMod moe)
 
-  mor <- putpp "  renaming" $ ioeErr $ renameModule gr moe
+  mor <- stopIf 2 (putpp "  renaming" . ioeErr . renameModule gr) moe
   intermOut opts (iOpt "show_rename") (prMod mor)
 
-  (moc,warnings) <- putpp "  type checking" $ ioeErr $ showCheckModule gr mor
+  (moc,warnings) <- 
+    stopIfV [] 3 (putpp "  type checking" . ioeErr . showCheckModule gr) mor
   if null warnings then return () else putp warnings $ return ()
   intermOut opts (iOpt "show_typecheck") (prMod moc)
 
-  (k',mox) <- putpp "  refreshing " $ ioeErr $ refreshModule k moc
+  (mox,k') <- stopIfV k 4 (putpp "  refreshing " . ioeErr . refreshModule k) moc
   intermOut opts (iOpt "show_refresh") (prMod mox)
 
-  moo <- putpp "  optimizing " $ ioeErr $ optimizeModule opts gr mox
+  moo <- stopIf 5 (putpp "  optimizing " . ioeErr . optimizeModule opts gr) mox
   intermOut opts (iOpt "show_optimize") (prMod moo)
 
-----  mof <- putpp "  factorizing " $ ioeErr $ optimizeModule opts gr moo
-----  intermOut opts (iOpt "show_factorize") (prMod mof)
+  mof <- stopIf 6 (putpp "  factorizing " . ioeErr . optimizeModule opts gr) moo
+  intermOut opts (iOpt "show_factorize") (prMod mof)
 
-  return (k,moo) ----
+  return (k',moo) ----
 
 
 generateModuleCode :: Options -> InitPath -> SourceModule -> IOE SourceModule
diff --git a/src/GF/Devel/Compile/Refresh.hs b/src/GF/Devel/Compile/Refresh.hs
index d512ed39f..242099606 100644
--- a/src/GF/Devel/Compile/Refresh.hs
+++ b/src/GF/Devel/Compile/Refresh.hs
@@ -30,10 +30,10 @@ import Control.Monad
 
 -- for concrete and resource in grammar, before optimizing
 
-refreshModule :: Int -> SourceModule -> Err (Int,SourceModule)
+refreshModule :: Int -> SourceModule -> Err (SourceModule,Int)
 refreshModule k (m,mo) = do
   (mo',(_,k')) <- appSTM (termOpModule refresh mo) (initIdStateN k)
-  return (k',(m,mo'))
+  return ((m,mo'),k')
 
 
 refreshTerm :: Term -> Err Term