Revision 1ca6b451

b/src/Ganeti/Locking/Allocation.hs
212 212 
            -> [LockRequest a]
213 213 
            -> LockAllocation a b -> (LockAllocation a b, Result (S.Set b))
214 214 
updateLocks owner reqs state = genericResult ((,) state . Bad) (second Ok) $ do
215 
  runListHead (return ())
216 
              (fail . (++) "Inconsitent requests for lock " . show) $ do
215 
  unless ((==) (length reqs) . S.size . S.fromList $ map lockAffected reqs)
216 
    . runListHead (return ())
217 
                  (fail . (++) "Inconsitent requests for lock " . show) $ do
217 218 
      r <- reqs
218 219 
      r' <- reqs
219 220 
      guard $ r /= r'

Also available in: Unified diff