From 6a4218e9efebc8b037cf2410a5e07a3fb20a5069 Mon Sep 17 00:00:00 2001 From: aarne Date: Sun, 9 Dec 2007 10:52:19 +0000 Subject: extend behaviour for interface and incomplete --- src/GF/Devel/Compile/Refresh.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/GF/Devel/Compile/Refresh.hs') 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) -- cgit v1.2.3