[R6RS] Safe/unsafe mode

dyb at cs.indiana.edu dyb at cs.indiana.edu
Thu Jul 13 13:41:05 EDT 2006


> Yes, I can do better.  Permit me, however, to point
> out a flaw in your reasoning.  If it is true, as you
> say, that `Calling g with a symbol definitely "does
> something" that raises an exception', then an exception
> will definitely be raised, contrary to your alleged
> expectation that "all bets should be off."  Hence the
> language I have already offered is precise enough to
> deal with this particular example.

A flaw in wording, not reasoning.  What I should have written was 'Calling
g with a symbol definitely "does something that might generate an
exception."'

I apologize for the confusion.

Kent



More information about the R6RS mailing list