RE: compiler directives; (was: Re: cheerful static typing (was: Any and Every... (was: Eval)))

["Christopher Barber" <address@hidden>]

> Anything other than these seems pretty fuzzy, since if a compiler
> directive
> is allowed to (substantially?) affect the meaning of the
> generated program,
> then macros and type declarations especially, but ultimately any program
> statement, can be called a compiler directive, which is
> unhelpful.  At this
> level, a compiler directive is in the eye of the beholder (or language
> designer).

Right.  But in a given language/development environment, compiler directives
are usually well defined because it requires a particular syntax or
mechanism to enable.

- Christopher