mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-24 10:22:50 -06:00
fix compilation in -resource mode
This commit is contained in:
@@ -65,7 +65,7 @@ checkRestrictedInheritance cwd sgr (name,mo) = checkInModule cwd mo NoLoc empty
|
|||||||
-- the restr. modules themself, with restr. infos
|
-- the restr. modules themself, with restr. infos
|
||||||
mapM_ checkRem mrs
|
mapM_ checkRem mrs
|
||||||
where
|
where
|
||||||
mos = modules sgr
|
mos = [mo | mo@(_,ModInfo{}) <- modules sgr]
|
||||||
checkRem ((i,m),mi) = do
|
checkRem ((i,m),mi) = do
|
||||||
let (incl,excl) = partition (isInherited mi) (Map.keys (jments m))
|
let (incl,excl) = partition (isInherited mi) (Map.keys (jments m))
|
||||||
let incld c = Set.member c (Set.fromList incl)
|
let incld c = Set.member c (Set.fromList incl)
|
||||||
|
|||||||
Reference in New Issue
Block a user