diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-17 14:32:20 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-17 14:32:20 +0000 |
| commit | bd2f46583c058e427bbacd6dbcfc1a0ccdf25718 (patch) | |
| tree | 1acc1b004c800f4c39b28ab34db148e72b35c0d7 /src/GF/Compile/Rename.hs | |
| parent | 49ca46d95835a74ec581431e668612b3b3589350 (diff) | |
remove the transfer modules. We don't need anything special, a transfer module is module without concrete syntax
Diffstat (limited to 'src/GF/Compile/Rename.hs')
| -rw-r--r-- | src/GF/Compile/Rename.hs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/GF/Compile/Rename.hs b/src/GF/Compile/Rename.hs index b7ef65fe9..8c563eeed 100644 --- a/src/GF/Compile/Rename.hs +++ b/src/GF/Compile/Rename.hs @@ -131,7 +131,7 @@ tree2status o = case o of buildStatus :: SourceGrammar -> Ident -> SourceModInfo -> Err Status buildStatus gr c mo = let mo' = self2status c mo in do let gr1 = MGrammar ((c,mo) : modules gr) - ops = [OSimple e | e <- allExtends gr1 c] ++ allOpens mo + ops = [OSimple e | e <- allExtends gr1 c] ++ opens mo mods <- mapM (lookupModule gr1 . openedModule) ops let sts = map modInfo2status $ zip ops mods return $ if isModCnc mo @@ -142,9 +142,7 @@ modInfo2status :: (OpenSpec Ident,SourceModInfo) -> (OpenSpec Ident, StatusTree) modInfo2status (o,mo) = (o,tree2status o (jments mo)) self2status :: Ident -> SourceModInfo -> StatusTree -self2status c m = mapTree (info2status (Just c)) js where -- qualify internal - js | isModTrans m = sorted2tree $ tree2list $ jments m - | otherwise = jments m +self2status c m = mapTree (info2status (Just c)) (jments m) forceQualif o = case o of OSimple i -> OQualif i i |
