Skip to content
Snippets Groups Projects
Commit 182e88da authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

Fix more hlint suggestions

parent 7f0d3699
Branches
No related tags found
No related merge requests found
...@@ -74,7 +74,7 @@ updateBlock b v0 = ask >>= \(as, _) -> lift $ do ...@@ -74,7 +74,7 @@ updateBlock b v0 = ask >>= \(as, _) -> lift $ do
!pc <- (fromEdgeRef . head <$> VM.read (toSub as) x) !pc <- (fromEdgeRef . head <$> VM.read (toSub as) x)
>>= VM.read (lastW as) >>= VM.read (lastW as)
labelsToS <- VM.read (toSub as) x >>= (mapM $ \e -> do labelsToS <- VM.read (toSub as) x >>= mapM (\e -> do
let Edge _ !lab _ = graph (encoding as) e let Edge _ !lab _ = graph (encoding as) e
return $! lab) return $! lab)
...@@ -109,7 +109,7 @@ splitBlock b = ask >>= \(as, _) -> lift $ do ...@@ -109,7 +109,7 @@ splitBlock b = ask >>= \(as, _) -> lift $ do
-- We can use unsafeStatesOfBlock here, since the resulting vector is -- We can use unsafeStatesOfBlock here, since the resulting vector is
-- immediatly consumed and not referenced afterwards. -- immediatly consumed and not referenced afterwards.
!pmc <- (possibleMajorityCandidateBy' unsafeF3) <$> !pmc <- possibleMajorityCandidateBy' unsafeF3 <$>
Partition.unsafeStatesOfBlock (partition as) b1 Partition.unsafeStatesOfBlock (partition as) b1
-- the pmc occurs in b1, so b1' has to be non-empty -- the pmc occurs in b1, so b1' has to be non-empty
...@@ -162,7 +162,7 @@ collectTouchedBlocks blockS = do ...@@ -162,7 +162,7 @@ collectTouchedBlocks blockS = do
sizeOfB <- Partition.blockSize (partition as) b sizeOfB <- Partition.blockSize (partition as) b
when (sizeOfB == 1) $ do when (sizeOfB == 1) $
-- We found an edge with an outgoing block that has only one state. -- We found an edge with an outgoing block that has only one state.
modifySTRef' (size1Count as) (+1) modifySTRef' (size1Count as) (+1)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment