> bear wrote: > ... > I think we come down to this point, and my final recommendation > on the matter - which is more broadly applicable than just talking > about nontermination itself. The standard needs to say explicitly > that if an implementation can prove that there is only one possible > return value from an error-free execution of some code, then > it may elide the execution of the code and return that value. > ...
(let wait-for-x () (if (not (eqv? (read-char) #\x)) (wait-for-x))) for example, can never be justifiably optimized away regardless of it's resulting value (if any). (As such expressions have both temporal and value state side effects; i.e. prevents execution from proceeding until some externally controlled event occurs, and modifying the sequential value state of port stream by in this example consuming all sequentially preceding characters and thereby modifying the port's logical state.) _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
