[r6rs-discuss] [Formal] Allow compilers to reject obvious violations

From: John Cowan <cowan>
Date: Sun Feb 25 16:45:54 2007

R. Kent Dybvig scripsit:

>
> * reject the program prior to execution,
>
> * issue a warning prior to execution and either abort or raise an
> exception at run time, or
>
> * raise an exception at run time.

+1

That is to say, no conforming program can rely on being able to catch
exceptions of type &violation.

-- 
John Cowan    cowan_at_ccil.org    http://ccil.org/~cowan
Objective consideration of contemporary phenomena compel the conclusion
that optimum or inadequate performance in the trend of competitive
activities exhibits no tendency to be commensurate with innate capacity,
but that a considerable element of the unpredictable must invariably be
taken into account. --Ecclesiastes 9:11, Orwell/Brown version

Received on Sun Feb 25 2007 - 16:45:50 UTC