binary icon indicating copy to clipboard operation
binary copied to clipboard

Published 20 hours ago • verified publisher icon kolmodin

Check 'fromDistinctAscList' invariants when deserializing containers

Open harpocrates opened this issue 7 years ago • 0 comments

Brought up here.

Check that the keys of Set/Map/IntSet/IntMap really are ascending when deserializing. This requires adding an extra Ord constraint to the Set and Map instances.

If the keys are not ascending, we fail.

harpocrates avatar Aug 11 '18 00:08 harpocrates