GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-20 18:29:33 -06:00
Code Issues Packages Projects Releases Wiki Activity

bronzeage README ; topological sorting of abstract modules

Browse Source
This commit is contained in:
aarne
2006-02-24 15:49:14 +00:00
parent e8b4d1697d
commit 56a9e025d5
2 changed files with 49 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/GF/Infra/Modules.hs
View File

@@ -368,15 +368,16 @@ isCompleteModule :: (Eq i) => Module i f a -> Bool
isCompleteModule m = mstatus m == MSComplete && mtype m /= MTInterface
-- | all abstract modules
-- | all abstract modules sorted from least to most dependent
allAbstracts :: Eq i => MGrammar i f a -> [i]
allAbstracts gr = [i | (i,ModMod m) <- modules gr, mtype m == MTAbstract]
allAbstracts gr = topoSort
[(i,extends m) | (i,ModMod m) <- modules gr, mtype m == MTAbstract]
-- | the last abstract in dependency order (head of list)
greatestAbstract :: Eq i => MGrammar i f a -> Maybe i
greatestAbstract gr = case allAbstracts gr of
[] -> Nothing
a:_ -> return a
[] -> Nothing
as -> return $ last as
-- | all resource modules
allResources :: MGrammar i f a -> [i]