msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

fixed a variable refreshing bug in the compiler

Browse Source
This commit is contained in:
aarne
2011-03-04 16:44:30 +00:00
parent 697e96f539
commit 8fc455f22b
1 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/compiler/GF/Compile/Refresh.hs
View File

@@ -60,6 +60,8 @@ refresh e = case e of
T i cc -> liftM2 T (refreshTInfo i) (mapM refreshCase cc) T i cc -> liftM2 T (refreshTInfo i) (mapM refreshCase cc)
App f a -> liftM2 App (inBlockSTM (refresh f)) (refresh a)
_ -> composOp refresh e _ -> composOp refresh e
refreshCase :: (Patt,Term) -> STM IdState (Patt,Term) refreshCase :: (Patt,Term) -> STM IdState (Patt,Term)
@@ -131,3 +133,14 @@ refreshModule (k,ms) mi@(i,mo)
return $ (k', (c, CncFun mt (Just (L loc trm')) pn):cs) return $ (k', (c, CncFun mt (Just (L loc trm')) pn):cs)
_ -> return (k, ci:cs) _ -> return (k, ci:cs)
-- running monad and returning to initial state
inBlockSTM :: STM s a -> STM s a
inBlockSTM mo = do
s <- readSTM
v <- mo
writeSTM s
return v