GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-22 01:22:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

Extract the previous optimization to its own function

Browse Source
This commit is contained in:
Andreas Källberg
2022-10-02 21:57:11 +02:00
parent fef7b80d8e
commit a58c6d49d4
1 changed files with 10 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/compiler/GF/Grammar/Grammar.hs
View File

@@ -129,9 +129,17 @@ isInherited :: MInclude -> Ident -> Bool
isInherited c = isInherited c =
case c of case c of
MIAll -> const True MIAll -> const True
MIOnly is -> let is' = Set.fromList is in (`Set.member` is') MIOnly is -> elemOrd is
MIExcept is -> let is' = Set.fromList is in (`Set.notMember` is') MIExcept is -> not . elemOrd is
-- | Faster version of `elem`, using a `Set`.
-- Make sure you give this the first argument _outside_ of the inner loop
--
-- Example:
-- > myIntersection xs ys = filter (elemOrd xs) ys
elemOrd :: Ord a => [a] -> a -> Bool
elemOrd list = (`Set.member` set)
where set = Set.fromList list
inheritAll :: ModuleName -> (ModuleName,MInclude) inheritAll :: ModuleName -> (ModuleName,MInclude)
inheritAll i = (i,MIAll) inheritAll i = (i,MIAll)