Re: Will guile support R7RS terminating equal? in the presence of cycle?

2012-09-02 Thread Ian Price
David A. Wheeler dwhee...@dwheeler.com writes: I'd really like for there to be a common spec for Scheme with libraries, etc., and my hope is that R7RS will be that spec. Call me a cynic, but if r6rs couldn't do that, then I don't see how r7rs could be given that it actively avoids many

Re: Ang.: Will guile support R7RS terminating equal? in the presence of cycle?

2012-09-02 Thread Ian Price
l...@gnu.org (Ludovic Courtès) writes: Hi Stefan! stefan.ita...@gmail.com stefan.ita...@gmail.com skribis: 1 I don't think the current equal? Will need to change, but Another one that under rnr7 will be coded and used with the Symbol equal? In that module. Hence no problems. Yes, of

Re: Will guile support R7RS terminating equal? in the presence of cycle?

2012-09-02 Thread David A. Wheeler
I said: I'd really like for there to be a common spec for Scheme with libraries, etc., and my hope is that R7RS will be that spec. Ian Price: Call me a cynic, but if r6rs couldn't do that, then I don't see how r7rs could be given that it actively avoids many important portability

rtl - native

2012-09-02 Thread Stefan Israelsson Tampe
Hi all, The rtl native environment is close to a usable state for linux x86-64. Most instructions have been translated to assembler and it remains to debug them and write test cases which will take some time. Consider the simple code, (define (f n) (let loop ((n n) (s 0)) (if (eq? n 0)

Re: Will guile support R7RS terminating equal? in the presence of cycle?

2012-09-02 Thread Stefan Israelsson Tampe
The cycle detection for a tree would probably look something like, SCM scm_equal_cons(SCM x, SCM y, SCM slow, int move) { SCM res; if(scm_is_pair? (x) scm_is_pair (y)) { if(scm_is_eq (x, slow)) cycle_detection_hit(); if(move) if(scm_is_pair? (SCM_CAR (slow)))

Re: Will guile support R7RS terminating equal? in the presence of cycle?

2012-09-02 Thread Ludovic Courtès
Hi, Stefan Israelsson Tampe stefan.ita...@gmail.com skribis: The cycle detection for a tree would probably look something like, Tortoise-and-hare would have to be applied to arbitrary data structures, AIUI. Ludo’.