From 5bf9a7fe706e4e2d45f148dddf591c34ed1b72b3 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 30 May 2005 17:39:43 +0000 Subject: BinTree vs. FiniteMap --- src/GF/Compile/Rename.hs | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'src/GF/Compile/Rename.hs') diff --git a/src/GF/Compile/Rename.hs b/src/GF/Compile/Rename.hs index 94680a165..d38b897a7 100644 --- a/src/GF/Compile/Rename.hs +++ b/src/GF/Compile/Rename.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/04/21 16:21:46 $ --- > CVS $Author: bringert $ --- > CVS $Revision: 1.18 $ +-- > CVS $Date: 2005/05/30 18:39:44 $ +-- > CVS $Author: aarne $ +-- > CVS $Revision: 1.19 $ -- -- AR 14\/5\/2003 -- The top-level function 'renameGrammar' does several things: @@ -61,7 +61,7 @@ renameModule ms (name,mod) = errIn ("renaming module" +++ prt name) $ case mod o type Status = (StatusTree, [(OpenSpec Ident, StatusTree)]) -type StatusTree = BinTree (Ident,StatusInfo) +type StatusTree = BinTree Ident StatusInfo type StatusInfo = Ident -> Term @@ -114,7 +114,7 @@ info2status mq (c,i) = (c, case i of _ -> maybe Cn Q mq ) -tree2status :: OpenSpec Ident -> BinTree (Ident,Info) -> BinTree (Ident,StatusInfo) +tree2status :: OpenSpec Ident -> BinTree Ident Info -> BinTree Ident StatusInfo tree2status o = case o of OSimple _ i -> mapTree (info2status (Just i)) OQualif _ i j -> mapTree (info2status (Just j)) @@ -127,7 +127,7 @@ buildStatus gr c mo = let mo' = self2status c mo in case mo of mods <- mapM (lookupModule gr1 . openedModule) ops let sts = map modInfo2status $ zip ops mods return $ if isModCnc m - then (NT, reverse sts) -- the module itself does not define any names + then (emptyBinTree, reverse sts) -- the module itself does not define any names else (mo',reverse sts) -- so the empty ident is not needed modInfo2status :: (OpenSpec Ident,SourceModInfo) -> (OpenSpec Ident, StatusTree) -- cgit v1.2.3