From 3d68f22b95fcae256f05fb7a35815fd481b876a0 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 1 Dec 2006 17:55:52 +0000
Subject: [PATCH] overload refresh

---
 src/GF/Grammar/Refresh.hs | 4 ++++
 1 file changed, 4 insertions(+)

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)