diff options
| author | aarne <unknown> | 2005-05-30 17:39:43 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-05-30 17:39:43 +0000 |
| commit | 5bf9a7fe706e4e2d45f148dddf591c34ed1b72b3 (patch) | |
| tree | e10199915d0aee40dd732083b005ee29882a3288 /src/GF/Compile/MkResource.hs | |
| parent | 24d5b025239f22d53e21fbce7658d034e22682a9 (diff) | |
BinTree vs. FiniteMap
Diffstat (limited to 'src/GF/Compile/MkResource.hs')
| -rw-r--r-- | src/GF/Compile/MkResource.hs | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/GF/Compile/MkResource.hs b/src/GF/Compile/MkResource.hs index c33455e1a..3ba67d49e 100644 --- a/src/GF/Compile/MkResource.hs +++ b/src/GF/Compile/MkResource.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/04/21 16:21:38 $ --- > CVS $Author: bringert $ --- > CVS $Revision: 1.12 $ +-- > CVS $Date: 2005/05/30 18:39:44 $ +-- > CVS $Author: aarne $ +-- > CVS $Revision: 1.13 $ -- -- Compile a gfc module into a "reuse" gfr resource, interface, or instance. ----------------------------------------------------------------------------- @@ -46,7 +46,8 @@ makeReuse gr r me mrc = do (ops,jms) <- case mc of ModMod m -> case mtype m of MTAbstract -> liftM ((,) (opens m)) $ - mkResDefs True False gr r c me (extends m) (jments m) NT + mkResDefs True False gr r c me + (extends m) (jments m) emptyBinTree _ -> prtBad "expected abstract to be the type of" c _ -> prtBad "expected abstract to be the type of" c @@ -73,8 +74,8 @@ makeReuse gr r me mrc = do -- the second Boolean indicates if the definition needs be given mkResDefs :: Bool -> Bool -> SourceGrammar -> Ident -> Ident -> [Ident] -> [Ident] -> - BinTree (Ident,Info) -> BinTree (Ident,Info) -> - Err (BinTree (Ident,Info)) + BinTree Ident Info -> BinTree Ident Info -> + Err (BinTree Ident Info) mkResDefs hasT isC gr r a mext maext abs cnc = mapMTree (mkOne a maext) abs where ifTyped = yes --- if hasT then yes else const nope --- needed for TC |
