fix combining of FIlterValues
This commit is contained in:
parent
7d9486a709
commit
308d4b67f3
1 changed files with 1 additions and 1 deletions
|
@ -155,7 +155,7 @@ combineViewFilter old@(ExcludeValues olds) (ExcludeValues news)
|
|||
| combined == old = (combined, Unchanged)
|
||||
| otherwise = (combined, Narrowing)
|
||||
where
|
||||
combined = FilterValues (S.union olds news)
|
||||
combined = ExcludeValues (S.union olds news)
|
||||
combineViewFilter (FilterValues _) newglob@(FilterGlob _) =
|
||||
(newglob, Widening)
|
||||
combineViewFilter (FilterGlob oldglob) new@(FilterValues s)
|
||||
|
|
Loading…
Add table
Reference in a new issue