Skip to content

Add order operations for locations in HeapLang.

As noted in #487, it does not make sense to prevent comparing two locations for their relative order. This MR extends HeapLang to allow that.

One thing that is not clear to me is how we should express the comparison. Right now, the implementation calls loc_car to extract the underlying integer. This is a bit ugly, but I don't know if it would make sense to add another order predicate just for locations.

Merge request reports