mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-03 00:02:50 -06:00
breaking points 1..6 in new Compile
This commit is contained in:
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user