It makes PrimitiveLiteral and Literal not be PartialOrd, Ord. And only Datum PartialOrd.
After 1, it also changes the Manifest and ManifestList to use Datum in lower_bound && upper_bound
After Literal is not Ord, we can't use BTreeMap<Literal,_> anymore. I use HashMap to replace it. But to make HashMap hashable, we need to assign an order for it. I implement this in Map.
This PR fix #378.
lower_bound
&&upper_bound
After Literal is not Ord, we can't use
BTreeMap<Literal,_>
anymore. I useHashMap
to replace it. But to makeHashMap
hashable, we need to assign an order for it. I implement this inMap
.