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

[John Cowan]

Matthias Felleisen scripsit:

>  1. When an implementation is allowed to reject a program without  
> running it, it comes with a filter also known as a type system.

I think that rather stretches the definition of "type system".  Is an
implementation that rejects

	(if (foo))

without running it deemed thereby to have a type system?

-- 
John Cowan  cowan at ccil.org   http://www.ccil.org/~cowan
O beautiful for patriot's dream that sees beyond the years
Thine alabaster cities gleam undimmed by human tears!
America! America!  God mend thine every flaw,
Confirm thy soul in self-control, thy liberty in law!
        -- one of the verses not usually taught in U.S. schools