diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-12-09 10:52:19 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-12-09 10:52:19 +0000 |
| commit | 6a4218e9efebc8b037cf2410a5e07a3fb20a5069 (patch) | |
| tree | 01185ad42df649c258725d18cdea54d7809832c3 /src/GF/Devel/Compile/Refresh.hs | |
| parent | b693ba103cac076bb8fe7d83a36f4fa9808321f4 (diff) | |
extend behaviour for interface and incomplete
Diffstat (limited to 'src/GF/Devel/Compile/Refresh.hs')
| -rw-r--r-- | src/GF/Devel/Compile/Refresh.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/Devel/Compile/Refresh.hs b/src/GF/Devel/Compile/Refresh.hs index 242099606..1708761fc 100644 --- a/src/GF/Devel/Compile/Refresh.hs +++ b/src/GF/Devel/Compile/Refresh.hs @@ -54,7 +54,7 @@ refresh e = case e of Prod x a b -> do a' <- refresh a - x' <- refVar x + x' <- refVarPlus x b' <- refresh b return $ Prod x' a' b' @@ -79,7 +79,7 @@ refreshCase :: (Patt,Term) -> STM IdState (Patt,Term) refreshCase (p,t) = liftM2 (,) (refreshPatt p) (refresh t) refreshPatt p = case p of - PV x -> liftM PV (refVar x) + PV x -> liftM PV (refVarPlus x) PC c ps -> liftM (PC c) (mapM refreshPatt ps) PP q c ps -> liftM (PP q c) (mapM refreshPatt ps) PR r -> liftM PR (mapPairsM refreshPatt r) |