From 580f7d79952836068686d73bcc70fc9df5562e13 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 17 Nov 2006 13:40:55 +0000 Subject: oper overloading: first implemenatation using records --- src/GF/Compile/Rename.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/GF/Compile/Rename.hs') diff --git a/src/GF/Compile/Rename.hs b/src/GF/Compile/Rename.hs index 4276fc6e8..0e408aaee 100644 --- a/src/GF/Compile/Rename.hs +++ b/src/GF/Compile/Rename.hs @@ -159,6 +159,8 @@ renameInfo status (i,info) = errIn ("renaming definition of" +++ prt i) $ AbsTrans f -> liftM AbsTrans (rent f) ResOper pty ptr -> liftM2 ResOper (ren pty) (ren ptr) + ResOverload tysts -> liftM ResOverload $ mapM (pairM rent) tysts + ResParam (Yes (pp,m)) -> do pp' <- mapM (renameParam status) pp return $ ResParam $ Yes (pp',m) -- cgit v1.2.3