John Cowan <[email protected]> writes: > The problem with that is that "pointer" is an implementation-level > notion, not a user-level notion. From a user perspective, `eq?` is > a fast version of `eqv?` that you can safely use on certain types > and not others. While location tags formalize `eqv?`, there is no > counterpart for `eq?` at all. Its behavior is horridly arbitrary, about > the furthest thing possible from that famous hard, gem-like beauty that > Scheme is supposed to have.
Why can location tags not be used to formalize eq? as well? _______________________________________________ Scheme-reports mailing list [email protected] http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
