We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9301ff3 commit cea3186Copy full SHA for cea3186
vector/src/Data/Vector/Internal/Check.hs
@@ -142,7 +142,7 @@ checkSlice :: HasCallStack => Checks -> Int -> Int -> Int -> a -> a
142
checkSlice kind i m n x
143
= check kind (checkSlice_msg i m n) (i >= 0 && m >= 0 && m <= n - i) x
144
145
--- Lengths are never negative, so we can check 0 <= i < length v
+-- Lengths are never negative, so we can check @0 <= i < length v@
146
-- using one unsigned comparison.
147
inRange :: Int -> Int -> Bool
148
{-# INLINE inRange #-}
0 commit comments