New equality substitution.

If the equal method is defined for structs, its return
value is used in their place for hashing and comparison.

* eval.h (eq_s, eql_s, equal_s): Declared.

* hash.c (equal_hash): If a COBJ defines an equalsub
function, we call it. If it returns non-nil, we
take the object in its place and recurse.

* lib.c (equal): Refactored to support equality substitution.
(less): Support equality substitution.

* lib.h (cobj_ops): New function pointer member, equalsub.
Only struct instances define this, currently.
(cobj_ops_init): Add null entry to initializer for equalsub.
(cobj_ops_init_ex): New initialiation macro for
situations when the equalsub member must be provided.

* struct.c (struct struct_type): new member eqmslot.
(make_struct_type): Initialize emslot to zero.
(static_slot_set, static_slot_ensure): If eqmslot is -1,
indicating positive knowledge that there is no equal method
static slot, we must invalidate that with a zero: it is no
longer known whether there is or isn't such a slot.
(get_equal_method, struct_inst_equalsub): New static functions.
(struct_inst_ops): Initialize the equalsub member using
new cobj_ops_init_ex macro.

* txr.1: Document equality substitution.

1 files changed, 1 insertions, 0 deletions

diff --git a/eval.h b/eval.h
index 33d20816..05f9061f 100644
--- a/eval.h
+++ b/eval.h
@@ -27,6 +27,7 @@
 extern val dwim_s, lambda_s, vector_lit_s, vec_list_s, list_s;
 extern val hash_lit_s, hash_construct_s, struct_lit_s, qref_s;
 extern val eval_error_s;
+extern val eq_s, eql_s, equal_s;
 extern val last_form_evaled, last_form_expanded;
 
 noreturn val eval_error(val form, val fmt, ...);