guile-devel
[Top][All Lists]
Advanced

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

Re: Ang.: Will guile support R7RS terminating "equal?" in the presence o


From: Ludovic Courtès
Subject: Re: Ang.: Will guile support R7RS terminating "equal?" in the presence of cycle?
Date: Sat, 01 Sep 2012 19:26:53 +0200
User-agent: Gnus/5.130005 (Ma Gnus v0.5) Emacs/24.2 (gnu/linux)

Hi Stefan!

"address@hidden" <address@hidden> 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.

> 2 The guile hackers are able enough to implement it. In typed-guile there is 
> an implementation that does unification on circular lists and
> Also there is probably enough reference information to code this in due time.

Typed Guile?  Did I miss something?  :-)

Ludo’.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]