diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-12-01 17:55:52 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-12-01 17:55:52 +0000 |
| commit | 3d68f22b95fcae256f05fb7a35815fd481b876a0 (patch) | |
| tree | 0989b511fa367f44d1ecd2a422bb3d2cac93a8f8 | |
| parent | ba13ff08d2dd38de9abdb8b59125b73471404d44 (diff) | |
overload refresh
| -rw-r--r-- | src/GF/Grammar/Refresh.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/GF/Grammar/Refresh.hs b/src/GF/Grammar/Refresh.hs index 8be951215..bc77c1837 100644 --- a/src/GF/Grammar/Refresh.hs +++ b/src/GF/Grammar/Refresh.hs @@ -119,6 +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 + (k',tyts') <- liftM (\ (t,(_,i)) -> (i,t)) $ + appSTM (mapPairsM refresh tyts) (initIdStateN k) + return $ (k', (c, ResOverload 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) |