sext icon indicating copy to clipboard operation
sext copied to clipboard

Published 20 hours ago • verified publisher icon uwiger

full map support

Open uwiger opened this issue 7 years ago • 0 comments

Closes #30

Maps turned out trickier than expected, since they have special ordering semantics for keys. It was possible to accommodate for this by abusing some unused atom type bits.

The QuickCheck properties have been tweaked to hit the interesting cases for maps, and 10,000+ tests have been generated for each property (1 million+ for prop_sort.)

Support for prefixing has also been added. Wildcarding is not allowed in map keys, analogous to match specifications.

uwiger avatar Oct 24 '17 17:10 uwiger