2.2 equals

2.2 equals🔗

package: rktsicm

This module defines some new equality tests that where introduced after MIT-Scheme 11.2 updated its definition of equal?. While in rktsicm no improvements where noted when changing to the below equality tests, they are implemented and used to keep the source code in line with the original as much as possible.

procedure
(pair:eq? x y) → boolean?
x : pair?
y : pair?

Check that the car and cdr of two pairs ar eq?.

procedure
(vector:equal? x y) → boolean?
x : vector?
y : vector?

Check that two vectors are simple:equal?

procedure
(simple:equal? x y) → boolean?
x : any/c
y : any/c

Equality check that returns #t if both objects are one of:

eq?
pair? and both car and cdr are simple:equal?
vector? and vector:equal?
number? and eqv?
string? and string=?

contents ← prev up next →

1	Introduction
2	General
3	Kernel
4	Display

2.1	eq-properties
2.2	equals
2.3	equation-style-unifier
2.4	gjs-cselim
2.5	hashcons
2.6	list-utils
2.7	logic-utils
2.8	memoize
2.9	notes
2.10	permute
2.11	resource-limit
2.12	sets
2.13	stack-queue
2.14	table
2.15	weak