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

2012-09-02 Thread Ian Price
"David A. Wheeler" 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 important portability qu

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" 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 course. IIRC,

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 ques

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) s

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 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’.