[Larceny-users] wrongly extended nan? finite? infinite? functions

Marco Maggi marco.maggi-ipsu at poste.it
Fri Jan 23 05:09:45 EST 2009


In R6RS the NAN?, FINITE?, INFINITE?
functions take argument X, which is
defined to be a real number[1].

The implementation in Larceny-5896
accepts complex numbers, too. Is this
to be considered a violation of what
is written in section "5.6 Safety":

|As defined by this document, the
|Scheme programming language is safe
|in the following sense: The execution
|of a safe top-level program cannot go
|so badly wrong as to crash or to
|continue to execute while behaving in
|ways that are inconsistent with the
|semantics described in this document,
|unless an exception is raised.

?

(I prefer the extended implementation,
though.)

[1]http://www.r6rs.org/final/html/r6rs/r6rs-Z-H-2.html#node_toc_node_sec_6.2
-- 
Marco Maggi





More information about the Larceny-users mailing list