From 9dbf9c56609132c7a3731819b53e73045c430e3b Mon Sep 17 00:00:00 2001 From: aarne Date: Sun, 1 Jun 2008 11:02:02 +0000 Subject: added an argument place to ResOverload for extended overloads --- src-3.0/GF/Compile/Refresh.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src-3.0/GF/Compile/Refresh.hs') diff --git a/src-3.0/GF/Compile/Refresh.hs b/src-3.0/GF/Compile/Refresh.hs index 09c384266..39fb57db0 100644 --- a/src-3.0/GF/Compile/Refresh.hs +++ b/src-3.0/GF/Compile/Refresh.hs @@ -119,10 +119,10 @@ refreshModule (k,ms) mi@(i,m) = case m of ResOper ptyp (Yes trm) -> do ---- refresh ptyp (k',trm') <- refreshTermKN k trm return $ (k', (c, ResOper ptyp (Yes trm')):cs) - ResOverload tyts -> do + ResOverload os tyts -> do (k',tyts') <- liftM (\ (t,(_,i)) -> (i,t)) $ appSTM (mapPairsM refresh tyts) (initIdStateN k) - return $ (k', (c, ResOverload tyts'):cs) + return $ (k', (c, ResOverload os tyts'):cs) CncCat mt (Yes trm) pn -> do ---- refresh mt, pn (k',trm') <- refreshTermKN k trm return $ (k', (c, CncCat mt (Yes trm') pn):cs) -- cgit v1.2.3