diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Compile/Refresh.hs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/compiler/GF/Compile/Refresh.hs b/src/compiler/GF/Compile/Refresh.hs index a05e87e5c..159c26a38 100644 --- a/src/compiler/GF/Compile/Refresh.hs +++ b/src/compiler/GF/Compile/Refresh.hs @@ -60,6 +60,8 @@ refresh e = case e of T i cc -> liftM2 T (refreshTInfo i) (mapM refreshCase cc) + App f a -> liftM2 App (inBlockSTM (refresh f)) (refresh a) + _ -> composOp refresh e 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, 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 + + |