[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Ang.: Will guile support R7RS terminating "equal?" in the presence o
Re: Ang.: Will guile support R7RS terminating "equal?" in the presence of cycle?
Sat, 01 Sep 2012 19:26:53 +0200
Gnus/5.130005 (Ma Gnus v0.5) Emacs/24.2 (gnu/linux)
"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? :-)