breaking points 1..6 in new Compile

This commit is contained in:
aarne
2007-12-08 16:51:39 +00:00
parent 7cfbba9294
commit cc98b779fd
2 changed files with 16 additions and 11 deletions
+2 -2
View File
@@ -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