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

[John Cowan]

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