This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.

Ticket 121: The semantics of expt for zero bases has been refined

2012-10-12 01:01:11
WG1 - Core
cowan
major
cowan
fixed
source
closed
2010-12-27 15:28:11
defect

This is an R6RS change.

alexshinn
2011-07-10 18:00:09
resolution␣␣
statusnewdecided

We voted to use the R6RS semantics.

cowan
2011-07-11 13:54:49
owneralexshinncowan
statusdecidedwriting
alexshinn
2012-08-26 14:54:57
resolution␣fixed
statuswritingclosed
alexshinn
2012-08-26 14:55:04
resolutionfixed␣
statusclosedreopened
alexshinn
2012-08-26 14:57:34

The rationale for R6RS making this change was simply because R6RS consistently removed "is an error" semantics. R7RS retains "is an error" in many places, and this is much simpler and cleaner, so we should revisit this issue.

cowan
2012-10-03 00:27:15
statusreopeneddecided

WG1 decided to adopt slightly modified R5RS language, thus:

The value of 0^z is 1 if (zero? z), 0 if (real-part z) is positive, and an error otherwise. Similarly for 0.0^z, with inexact results.
cowan
2012-10-03 00:27:21
statusdecidedwriting
cowan
2012-10-12 01:01:11
resolution␣fixed
statuswritingclosed