**DRAFT** issue COMPILE-ENVIRONMENT-CONSISTENCY

[Eric Benson <eb@lucid.com>]

[CC'ed to cl-compiler instead of x3j13.]

Do you want to allow the compiler to make assumptions based on FTYPE
proclamations or declarations, even if the function whose type is
being declared is not declared INLINE, not a built-in Common Lisp
function, and not defined in the same file as the call to the
function?  I think this is sensible and it reflects current practice.
You could add another condition in section (2), e.g.

    (i) The compiler may assume that the signature (or "contract") of
	functions with FTYPE information available will not change.

This should really go between (d) and (e) instead of after (h).