Age | Commit message (Collapse) | Author | Files | Lines |
|
(setqSingle): Likewise.
(setqMultiple): Likewise.
(compConstruct): Likewise.
(compQuote): Likewise.
(compElt): Likewise.
(compSignatureImport): Likewise.
(compComma): Likewise.
|
|
(compForm1): Don't call it.
|
|
|
|
|
|
(canInlineVarDefinition): Use it to safely inline vardefs.
|
|
* interp/g-opt.boot (optLET*): Remove as we now generate only
%bind forms.
|
|
and %nothing.
* algebra/mkfunc.spad.pamphlet: Use %funcall instead of FUNCALL.
|
|
|
|
* interp/scan.boot (scanInserts): Use vectorRef.
* interp/functor.boot (DescendCode): Don't check for SETELT or
QSETREFV forms.
* interp/nrunfast.boot (evalSlotDomain): Likewise.
|
|
* interp/nrungo.boot (NRTevalDomain): Likewise. Fix callers to call
evalDomain.
* interp/i-eval.boot (evalDomain): Don't check for $evalDomain
anymore. Handle assignment to domain object forms.
|
|
* interp/sys-constants.boot ($CategoryNames): Include MappingCategory.
* interp/g-cndata.boot (unabbrevSpecialForms): Handle
MappingCategory, RecordCategory, and UnionCategory.
* interp/buildom.boot (MappingCategory): New.
* interp/compiler.boot: Elaboration MappingCategory forms.
* interp/g-error.boot (needsToSplitMessage): Fix thinko from
type-based dispatch done by the Boot translator.
* interp/nrunfast.boot (builtinConstructor?): New.
(generalizedBuiltinConstructor?): Likewise.
(lazyMatch): Use them.
(newHasTest): Properly recognize all flavours of category forms.
|
|
* interp/category.boot (mkCategory): Drop test for primitive
domains.
|
|
|
|
instantiations in determining NewLocals.
|
|
* interp/c-util.boot: Adjust use.
* interp/functor.boot: Likewise.
* interp/modemap.boot: Likewise.
|
|
domains, as the comment at the top of the file says.
|
|
* interp/compiler.boot (compMatch): test for identifier, not
atomic value.
* algebra/syntax.spad.pamphlet (Syntax): Tidy.
|
|
|
|
of conditional too.
|
|
(simplifySEQ): Use it.
|
|
|
|
(sideEffectFree?): New.
(varIsAssigned): Tidy.
(canInlineVarDefinition): Likewise.
* interp/boot-pkg.lisp (gensym?): New.
* interp/c-util.boot ($NonExpandableOperators): New.
(expandableDefinition?): Use it.
* algebra/sf.spad.pamphlet (DoubleFloat): Use %fmanexp.
|
|
hyperbolic functions.
* interp/lisp-backend.boot: Expand them.
* algebra/sf.spad.pamphlet: Use them.
|
|
and GGREATERP. Add VM-level complex number operators.
* interp/lisp-backend.boot: Expand them.
* algebra/gaussian.spad.pamphlet (ComplexCategory): Use VM form
instead of Lisp level forms.
* algebra/pfr.spad.pamphlet (PartialFraction): Likewise.
* algebra/si.spad.pamphlet (SingleInteger): Likewise.
* algebra/symbol.spad.pamphlet (Symbol): Likewise.
|
|
level operators. Include %property and %bitveclt.
* interp/lisp-backend.boot: Expand them.
* algebra/si.spad.pamphlet (SingleInteger): Tidy. Use %ismall?.
* algebra/domain.spad.pamphlet (DomainConstructo): Use %property.
* algebra/outform.spad.pamphlet (OutputForm): Likewise.
* algebra/boolean.spad.pamphlet (IndexedBits): Use %bitveclt.
|
|
|
|
Rename from mutateCONDFormWithUnaryFunction. Update callers
(mutateBindingFormWithUnaryFunction): Rename from
mutateLETFormWithUnaryFunction. Allow %bind form too.
Update callers.
|
|
Use %otherwise instead of %true where appropriate.
* interp/define.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/g-opt.boot: Likewise.
* interp/i-code.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/i-spec1.boot: Likewise.
* interp/i-spec2.boot: Likewise.
* interp/i-util.boot: Likewise.
* interp/info.boot: Likewise.
* interp/modemap.boot: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/pspad1.boot: Likewise.
* interp/pspad2.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/wi1.boot: Likewise.
* interp/wi2.boot: Likewise.
* interp/compiler.boot (canReturn): Don't test for COND anymore.
|
|
not %true for default cases.
(reportFunctionCacheAll): Likewise.
(compileRecurrenceRelation): Likewise.
* interp/lisp-backend.boot (expandTry): Tidy.
* interp/g-opt.boot ($VMsideEffectFreeOperators): Include %otherwise.
* interp/compiler.boot (compAlternativeGuard): Emit %otherwise
form, not Lisp level T form.
* interp/clam.boot (compClam): Tidy.
(compHash): Likewise.
(compHashGlobal): Likewise.
|
|
generate Lisp code directly.
(canReturn): Don't look into CLOSEDFN forms.
|
|
* interp/slam.boot: Likewise.
|
|
backend module.
* interp/Makefile.in (OBJS): Include it.
(lisp-backend.$(FASLEXT)): New rule.
|
|
non-extension.
|
|
|
|
(optSpeciallCall): Likeise.
(optCall): Adjust.
(optCallEval): Move to wi2.boot, sole user.
|
|
* algebra/data.spad.pamphlet: Tidy.
* algebra/plot.spad.pamphlet: Likewise.
* algebra/plot3d.spad.pamphlet: Likewise.
* algebra/si.spad.pamphlet: Likewise.
* algebra/syntax.spad.pamphlet: Likewise.
* algebra/list.spad.pamphlet: Remove use of NULL$Lisp.
|
|
QCAR. SYMBOLP, GREATERP.
Add %ibit, %ilength, %ident, %equal.
* interp/g-util.boot: Expand them
* algebra/any.spad.pamphlet: Tidy.
* algebra/catdef.spad.pamphlet: Likewise.
* algebra/data.spad.pamphlet: Likewise.
* algebra/domain.spad.pamphlet: Likewise.
* algebra/float.spad.pamphlet: Likewise.
* algebra/fname.spad.pamphlet: Likewise.
* algebra/integer.spad.pamphlet: Likewise.
* algebra/list.spad.pamphlet: Likewise.
* algebra/outform.spad.pamphlet: Likewise.
* algebra/random.spad.pamphlet: Likewise.
* algebra/sex.spad.pamphlet: Likewise.
* algebra/si.spad.pamphlet: Likewise.
* algebra/symbol.spad.pamphlet: Likewise.
* algebra/syntax.spad.pamphlet: Likewise.
|
|
QSETVELT-1, QSINC1, QVELT, QVELT-1.
* algebra/si.spad.pamphlet: Use %iinc and %idec forms.
|
|
|
|
|
|
|
|
|
|
|
|
(compExpressionList): Likewise.
(compCons1): Likewise.
(compList): Likewise.
(compVector): Likewise.
* interp/g-timer.boot (timedEvaluate): Likewise.
* interp/wi1.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/i-object.boot: Likewise.
* interp/g-opt.boot (optMkRecord): Likewise.
(optRECORDCOPY): Likewise.
(optLIST): Remove.
(optListlit): New.
* interp/g-util.boot (optListlit): New. Expand %listlit forms.
|
|
($VMsideEffectFreeOperators): Include %listlit and %veclit.
* interp/g-util.boot: Translate them.
|
|
* interp/g-opt.boot (optSETRECORDELT): Tidy code generation.
(optRECORDCOPY): Likewise.
(optRECORDELT): Likewise.
($VMsideEffectFreeOperators): Include %aref. Translate.
|
|
* interp/alql.boot: Use integer? instead of FIXP.
* interp/br-con.boot: Likewise.
* interp/br-op1.boot: Likewise.
* interp/c-util.boot: Likewise.
* interp/fnewmeta.lisp: Likewise.
* interp/ht-root.boot: Likewise.
* interp/i-analy.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/i-toplev.boot: Likewise.
* interp/interop.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/mark.boot: Likewise.
* interp/newfort.boot: Likewise.
* interp/nrunfast.boot: Likewise.
* interp/pspad1.boot: Likewise.
* interp/setvars.boot: Likewise.
* interp/showimp.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/topics.boot: Likewise.
* interp/trace.boot: Likewise.
* interp/wi1.boot: Likewise.
* interp/wi2.boot: Likewise.
* interp/word.boot: Likewise.
|
|
|
|
* interp/g-opt.boot (opt2bit): New.
(opt2bool): Likewise.
* interp/bits.lisp (BVEC-SIZE): Remove.
(BVEC-COPY): Likewise.
(BVEC-CONCAT): Likewise.
(BVEC-EQUAL): Likewise.
(BVEC-AND): Likewise.
(BVEC-OR): Likewise.
(BVEC-XOR): Likewise.
(BVEC-NAND): Likewise.
(BVEC-NOR): Likewise.
(BVEC-NOT): Likewise.
* algebra/boolean.spad.pamphlet (IndexedBits): Remove uses of
Lisp-level functions.
|
|
value argument evaluation.
(lazyMatch): Check for %llength too.
* interp/g-opt.boot ($VMsideEffectFreeOperators): Include %2bit
and %2bool.
* interp/g-util.boot: Expand them.
* interp/define.boot (compJoin): Check for %llenght too.
* algebra/boolean.spad.pamphlet: Tidy.
* algebra/domain.spad.pamphlet: Likewise.
* algebra/draw.spad.pamphlet: Likewise.
* algebra/files.spad.pamphlet: Likewise.
* algebra/list.spad.pamphlet: Likewise.
* algebra/outform.spad.pamphlet: Likewise.
* algebra/sex.spad.pamphlet: Likewise.
* algebra/sf.spad.pamphlet: Likewise.
|