5 R⁶RS Conformance

PLT Scheme’s R⁶RS support does not conform with the standard in several known ways:

• When guard catches an exception that no clause matches, the exception is re-raiseed without restoring the continuation to the one that raised the exception.

  This difference can be made visible using dynamic-wind. According to R⁶RS, the following program should print “in” and “out” twice, but each prints once using PLT Scheme:

  (guard (exn [(equal? exn 5) 'five])

  (guard (exn [(equal? exn 6) 'six])

  (dynamic-wind

  (lambda () (display "in") (newline))

  (lambda () (raise 5))

  (lambda () (display "out") (newline)))))

  Along similar lines, continuation capture and invocation within an exception handler is restricted. Unless the exception is raised through raise-continuable, a handler can escape only through a continuation that is a tail of the current continuation, and a continuation captured within the handler cannot be invoked after control escapes from the raise.

  The initial exception handler does not return for non-&serious conditions, but raise and raise-continuable both install an uncaught-exception handler (via parameterize and uncaught-exception-handler) to one that returns for non-&serious conditions.

• Inexact numbers are printed without a precision indicator, and precision indicators are ignored on input (e.g., 0.5|7 is read the same as 0.5).

• Word boundaries for string-downcase, string-upcase, and string-titlecase are not determined as specified by Unicode Standard Annex #29.

• When an identifier bound by letrec or letrec* is referenced before it is bound, an exception is not raised; instead, the reference produces #<undefined>.

• The bindings in a namespace produced by null-environment or scheme-report-environment correspond to R⁵RS bindings instead of R⁶RS bindings. In particular, =>, else, _, and ... are not bound.