From 042243f08a321cd8ed5918ba94e83f22a8552adb Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Wed, 30 Oct 2013 12:53:36 +0000 Subject: added the linref construction in GF. The PGF version number is now bumped --- src/compiler/GF/Compile/Refresh.hs | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) (limited to 'src/compiler/GF/Compile/Refresh.hs') diff --git a/src/compiler/GF/Compile/Refresh.hs b/src/compiler/GF/Compile/Refresh.hs index 837534afa..999d8b083 100644 --- a/src/compiler/GF/Compile/Refresh.hs +++ b/src/compiler/GF/Compile/Refresh.hs @@ -124,9 +124,16 @@ refreshModule (k,sgr) mi@(i,mo) (k',tyts') <- liftM (\ (t,(_,i)) -> (i,t)) $ appSTM (mapPairsM (\(L loc t) -> liftM (L loc) (refresh t)) tyts) (initIdStateN k) return $ (k', (c, ResOverload os tyts'):cs) - CncCat mt (Just (L loc trm)) mn mpmcfg-> do ---- refresh mt, pn - (k',trm') <- refreshTermKN k trm - return $ (k', (c, CncCat mt (Just (L loc trm')) mn mpmcfg):cs) + CncCat mt md mr mn mpmcfg-> do + (k,md) <- case md of + Just (L loc trm) -> do (k,trm) <- refreshTermKN k trm + return (k,Just (L loc trm)) + Nothing -> return (k,Nothing) + (k,mr) <- case mr of + Just (L loc trm) -> do (k,trm) <- refreshTermKN k trm + return (k,Just (L loc trm)) + Nothing -> return (k,Nothing) + return (k, (c, CncCat mt md mr mn mpmcfg):cs) CncFun mt (Just (L loc trm)) mn mpmcfg -> do ---- refresh pn (k',trm') <- refreshTermKN k trm return $ (k', (c, CncFun mt (Just (L loc trm')) mn mpmcfg):cs) -- cgit v1.2.3