You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In #17 / 2221948, the type for the capacity of TBQueues was changed from Int to Natural, to avoid negative capacities. With #70, the capacity is now internally stored as an Int (since array lengths are Ints), so IMO it would make sense to change the public API back to Ints. Moreover, we need to check that the capacity is greater than 0 anyway and currently we additionally have to check that the capacity is not greater than maxBound :: Word. This would also avoid potentially having to unbox/box Naturals.
The text was updated successfully, but these errors were encountered:
In #17 / 2221948, the type for the capacity of
TBQueue
s was changed fromInt
toNatural
, to avoid negative capacities. With #70, the capacity is now internally stored as anInt
(since array lengths areInt
s), so IMO it would make sense to change the public API back toInt
s. Moreover, we need to check that the capacity is greater than 0 anyway and currently we additionally have to check that the capacity is not greater thanmaxBound :: Word
. This would also avoid potentially having to unbox/boxNatural
s.The text was updated successfully, but these errors were encountered: