diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-06-01 11:02:02 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-06-01 11:02:02 +0000 |
| commit | 9dbf9c56609132c7a3731819b53e73045c430e3b (patch) | |
| tree | 8a629aa5003111d82087797fb2eba25bf6165aa8 /src-3.0/GF/Compile/Refresh.hs | |
| parent | 2771367118994770907597c860cc7c4229496fd3 (diff) | |
added an argument place to ResOverload for extended overloads
Diffstat (limited to 'src-3.0/GF/Compile/Refresh.hs')
| -rw-r--r-- | src-3.0/GF/Compile/Refresh.hs | 4 |
1 files changed, 2 insertions, 2 deletions
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) |