[Larceny-users] Regarding +inf.0

David Rush kumoyuki at gmail.com
Fri Apr 17 16:26:17 EDT 2009


2009/4/17 Felix Klock <felixluser at pnkfx.org>:
> Beyond that, I do not understand your question; why would any two
> boxed objects necessarily be eq?  (All inexacts in the current version
> of Larceny are boxed.)

That is the obvious answer which my sorely taxed neurons missed. Thank you.

The fact +inf.0 appears to be a singleton does not mean that it is *in
fact* one. I presume that none of the RnRS series addresses this. I
should elevate that to "almost certainly"; inexacts have always been
kinda funky.

david rush
-- 
GPG Public key at http://cyber-rush.org/drr/gpg-public-key.txt



More information about the Larceny-users mailing list