fraport/fradrive-old
Archived
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix AuthTag-Subsumption to not be order-dependent

Browse Source 
Fixes #241
This commit is contained in:
Gregor Kleen 2018-11-30 17:55:52 +01:00
parent 9fc052d9bb
commit 2cecac6955
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Foundation.hs
View File

@ -562,7 +562,7 @@ routeAuthTags = fmap (impureNonNull . Set.mapMonotonic impureNonNull) . ofoldM p
| oany (authTags `Set.isSubsetOf`) prev | oany (authTags `Set.isSubsetOf`) prev
-> Right prev -> Right prev
| otherwise | otherwise
-> Right $ Set.insert authTags prev -> Right . Set.insert authTags $ Set.filter (not . (`Set.isSubsetOf` authTags)) prev
| otherwise | otherwise
= Left $ InvalidAuthTag t = Left $ InvalidAuthTag t