add exact matches for containers

Question

Closed this issue 5 years ago · 2 comments

Right now, #hash([x . 1]) matches a hash with at least the one binding. Instead, it should match a hash with only the one binding.

Inexact match should be denoted with a hanging wildcard, like it already is for instances or pairs:

(φ #hash([x . 1] . _) OK)

Other forms: struct, regexp, vector (?)

Answer 1 · 2019-03-02T01:15:04.000Z

I think this is a reader customization.

Answer 2 · 2019-03-30T22:38:30.000Z

This feature is no longer necessary. Use #:if and equality predicates if you need more precision.