- Oct 17, 1990
-
-
ram authored
is empty as long as one of the types was NIL. Also, frobbed DEFUN handling, mainly in the use of ASSERT-DEFINITION-TYPE. We use the new arguments to implement redefinition notes. Also, we inhibit doing actual type assertion for all known functions to avoid defeating explicit argument type checking. Someday we might want to make this inhibition conditional on an IR1 attribute.
-
ram authored
declared types with definitions. Also, fixed some of the logical functions to say their arguments were integers, not T.
-
ram authored
of type NIL, and downgraded the message from lossage to slime. Spiffed up ASSERT-DEFINITION-TYPE in various ways. It now takes various arguments which provide additional control. In particular, the REALLY-ASSERT argument allows this function to be used to give function redefinition notes without applying bogus type assertions. Also, fixed optional and keyword handling to take into account the possibility that the default might legally not be of the type in the function type. If the default is constant, we union its type in, otherwise we write off type assertion for that argument. Fixed the result type intersection stuff not to gag on NIL assertions. Also, tweaked the formatting a bit to reduce wrapped lines, etc.
-
ram authored
tweaked output format a bit.
-
ram authored
about required keyword argument defaults.
-
ram authored
DD when the redefinition is not incompatible. This precents recompiling and loading of DEFSTRUCT STREAM from blowing the system out of the water, etc.
-
ram authored
SIMPLE-STRING when they aren't.
-
ram authored
Changed nsubstitute-if to declare the :END arg as fixnum after defaulting. Somehow managed to stop myself from rewriting the entire file.
-
ram authored
illegal value NIL.
-
ram authored
since that's what the slot is declared to be. Also, check for variable size element type before creating the field-info, since the field-info-size must be an integer.
-
- Oct 16, 1990
- Oct 15, 1990
-
-
wlott authored
the definition and not in the type. (This case only happens if there is an &key in the type, since otherwise we punt before them.)
-
wlott authored
-
ram authored
maintaining separate compiler structure info. When we change the included-by info, we copy the DD and included-by list so that the definition in the compiler lisp is not affected. At load or eval time, %DEFSTRUCT is now responsible for updating the included-by list for the defined-structure-info.
-
ram authored
incompatibly redefined, signalling a correctable error. If proceeded, we FMAKUNBOUND the old accessors. Also, %DEFSTRUCT is now responsible for updating the INCLUDED-BY slot for the DEFINED-STRUCTURE-INFO, since the compiler's STRUCTURE-INFO may not be EQ. I also moved %DEFSTRUCT to be beginning of the DEFMACRO expansion. It was previously at the end, which caused %%COMPILER-DEFSTRUCT to create FUNCTION KIND and WHERE-FROM entries for the slot accessors. If they are defined as functions in the global environment, then it just lets the default expression for these info types realize that they are functions. With any luck, this won't cause any horrible bootstrapping problems.
-
- Oct 14, 1990
-
-
wlott authored
-
ram authored
which included commits to RCS files with non-trunk default branches.
-
ram authored
TYPE-ERROR so that we don't redefine it, blowing away all the subtypes of the legitimate definition.
-
ram authored
aren't a lowtag check.
-
ram authored
BLOCK-TEST-MODIFIED if appropriate.
-
ram authored
continuation goes to an IF.
-
ram authored
test for :NOTINLINE when deciding whether to enter in *FREE-FUNCTIONS*.
-
ram authored
which conditions to signal.
-
ram authored
fixed a one-off error in deciding whether we underflowed in SCALE-FLOAT-MAYBE-UNDERFLOW.
-
ram authored
-
ram authored
from there.
-
- Oct 13, 1990
-
-
wlott authored
-
wlott authored
instead of a lui/ori/jr sequence.
-
wlott authored
-
wlott authored
The new fixup with kind stuff is under new fops so the old fasls can still be loaded.
-
wlott authored
-
wlott authored
-
wlott authored
we can use jump-absolute.
-
wlott authored
segment so we can use jump-absolute.
-
wlott authored
-
wlott authored
-
wlott authored
-