[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*To*: srfi-67@xxxxxxxxxxxxxxxxx*Subject*: Circular structures [was Re: IEEE 754 floating-point arithmetic is not completely ordered]*From*: Bradley Lucier <lucier@xxxxxxxxxxxxxxx>*Date*: Wed, 20 Apr 2005 15:35:35 +0200*Delivered-to*: srfi-67@xxxxxxxxxxxxxxxxx*In-reply-to*: <426134F8.3070307@xxxxxxxxxxxx>*Old-date*: Mon, 18 Apr 2005 12:26:12 -0500*References*: <y9ld5sux2j1.fsf@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx> <426134F8.3070307@xxxxxxxxxxxx>*User-agent*: Gnus/5.110002 (No Gnus v0.2) XEmacs/21.5 (chives, berkeley-unix)

On Apr 16, 2005, at 10:53 AM, Jens Axel Søgaard wrote: > Bradley Lucier wrote: > >> Well, it depends on what your goal is. ... > Here are some potential goals: > ... > 3) default-compare should define a total order on almost all Scheme > values What is "almost all"? How do a and b compare in the following? [descartes:~/programs/folding/2] lucier% gsc loading /usr/local/Gambit-C/gambcext.scm Gambit Version 4.0 beta 12 > (define a (cons #f #f)) > (set-car! a a) > (set-cdr! a a) > (define b (cons #f #f)) > (set-car! b b) > (set-cdr! b b) > (equal? a b) ;;; doesn't terminate Is default-compare compatible with equal? Brad

**Follow-Ups**:**Re: Circular structures [was Re: IEEE 754 floating-point arithmetic is not completely ordered]***From:*Jens Axel Søgaard

**References**:**Re: IEEE 754 floating-point arithmetic is not completely ordered***From:*Bradley Lucier

**Re: IEEE 754 floating-point arithmetic is not completely ordered***From:*Jens Axel Søgaard

- Prev by Date:
**Re: Circular structures [was Re: IEEE 754 floating-point arithmetic is not completely ordered]** - Next by Date:
**Re: Circular structures [was Re: IEEE 754 floating-point arithmetic is not completely ordered]** - Previous by thread:
**Re: Circular structures [was Re: IEEE 754 floating-point arithmetic is not completely ordered]** - Next by thread:
**Re: Circular structures [was Re: IEEE 754 floating-point arithmetic is not completely ordered]** - Index(es):