FUNCTION-TYPE:STRICT-REDEFINITION proposal

[sandra%orion@cs.utah.edu (Sandra J Loosemore)]

Sections 1a and 6 of this proposal refer to the PROCEDURE type.  I
assume this is really supposed to be the FUNCTION type?

Also, I have a question about 1b, where it states that COMPILED-FUNCTION
is a subtype of FUNCTION.  Does this imply that it must be a *proper*
subtype?  For example, in the Lisp I've been working on sporadically for
my Atari, the interpreted version of (FUNCTION (LAMBDA ...)) returns a
compiled function object (it's a closure which will apply the lambda
expression to the function arguments).  Likewise I can conceive of
implementations which compile everything and don't have an "interpreter"
at all.  I think this needs to be clarified.

-Sandra
-------