While we can support unique for every base type (in particular, we have no function types), it can be incredibly expensive to support uniqueness for complicated types, like complicated records, arrays, maps, etc. Such behavior may be desirable, despite the cost, but we should warn users when they attempt to do such things, as they may not realize the cost.
Requires #22.
While we can support
uniquefor every base type (in particular, we have no function types), it can be incredibly expensive to support uniqueness for complicated types, like complicated records, arrays, maps, etc. Such behavior may be desirable, despite the cost, but we should warn users when they attempt to do such things, as they may not realize the cost.Requires #22.