Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
(FBO): Likewise.
(FEV): Likewise.
(shoeGeneralFC): Likewise.
(shoeFindName): Likewise.
(shoeFindName2): Likewise.
(shoeTransform2): Likewise.
* boot/scanner.boot (shoeLineToks): Don't support `)package' line
anymore.
* boot/includer.boot: Remove support for `)package', `)include',
`)includelisp', `)includelines' lines.
(shorPackageStartsAt): Remove.
(shorFindLines): Likewise.
(shoeFileInput): Likewise.
(shoeLispFileInput): Likewise.
(shoeLineFileInput): Likewise.
(shoeFunctionFileInput): Likewise.
(shoePlainLine?): Reflect removal.
(shoeSimpleLine): Likewise.
* boot/tokens.boot (charByName): New builtin library function.
* algebra/sf.spad.pamphlet (RealNumberSystem): Don't re-export
abs. It is already exported by OrderedRing.
|
|
support for Spad to Aldor translation.
(convertSpasToAsFile): Remove.
* interp/mark.boot: Remove.
* interp/nspadux.lisp: Likewise.
* interp/pspad1.boot: Likewise.
* interp/pspad2.boot: Likewise.
* interp/wi1.boot: Likewise.
* interp/wi2.boot: Likewise.
* interp/spad.lisp: Don't register removed formatters.
* interp/util.lisp: (TRANSLATE-FUNCTIONS): Remove.
(BUILD-INTERPSYS): Now take only one argument.
* src/share/doc/msgs/s2-us.msgs: Remove diagnostic S2IZ0085.
* interp/Makefile.in: Remove rules for building wi1.boot,
wi2.boot, mark.boot, pspad1.boot pspad2.boot.
|
|
Remove definition.
(SingleInteger): Simplify implementation of random.
* algebra/sf.spad.pamphlet (DoubleFloat): Likewise.
[positive?]: Define.
* algebra/integer.spad.pamphlet (Integer): Tidy.
|
|
argument to constructors.
|
|
(inlineDirectCall): Break out of replaceSimpleFunctions.
(resolveIndirectCall): Break out of foldSpadcall.
(replaceSimpleFunctions): Use them.
(foldSpadcall): Remove.
(usesVariablesLinearly?): Tidy.
(foldExportedFunctionReferences): Don't call foldSpadcall.
|
|
replaceSimpleFunctions.
(foldSpadcall): Use it too.
|
|
considered side-effect free functions.
* algebra/boolean.spad.pamphlet: Reflect change.
* algebra/Makefile.in (oa_strap_0_sources): Include MAYBE.
|
|
|
|
systemAlgebraDirectory.
* interp/database.boot (pathToDatabase): Use systemDatabaseDirectory.
* algebra/integer.spad.pamphlet (Integer) [latex]: Tidy.
* algebra/string.spad.pamphlet (Character) [latex]: Likewise.
* algebra/Makefile.in: Rework bootstrapping set up.
(COMPILE_LISP): Remove.
(axiom_algebra_layer_strap): Likewise.
(axiom_algebra_layer_strap_objects): Likewise.
(axiom_algebra_bootstrap): Likewise.
(oa_strap_0_fasls): New.
(oa_strap_1_fasls): Likewise.
(oa_strap_2_fasls): Likewise.
(oa_strap_0_sources): Likewise.
(oa_strap_1_sources): Likewise.
(oa_strap_2_sources): Likewise.
* src/algerab/strap: Remove.
|
|
(mkEvalableMapping): Remove.
(mkEvalableRecord): Likewise.
(mkEvalableUnion): Likewise.
|
|
* interp/lisp-backend.boot: Translate it.
* algebra/integer.spad.pamphlet (Integer) [convert]: Tidy.
[latex]: Likewise.
* algebra/string.spad.pamphlet (Character)[latex]: Likewise.
|
|
* interp/br-con.boot: Likewise.
* interp/br-data.boot: Likewise.
* interp/br-prof.boot: Likewise.
* interp/br-util.boot: Likewise.
* interp/c-doc.boot: Likewise.
* interp/clammed.boot: Likewise.
* interp/database.boot: Likewise.
* interp/define.boot: Likewise.
* interp/format.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/g-cndata.boot: Likewise.
* interp/i-funsel.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/pspad1.boot: Likewise.
|
|
lisplib.boot, nruncomp.boot, showimp.boot. Delete.
|
|
i-special.boot, nrunfast.boot. Delete.
|
|
* interp/define.boot (compDefineFunctor1): If bootstrapping, mark
functor as incomplete.
* interp/c-util.boot (lookupDefiningFunction): Don't look into
incomplete domains.
|
|
|
|
|
|
* interp/i-special.boot (bottomUpProposition): Likewise.
(upand): Use it to handle propositional formula.
(upor): Likewise.
|
|
bottomUp.
(bottomUp): Call it.
|
|
i-spec2.$(FASLEXT). Add i-special.$(FASLEXT).
* interp/i-spec1.boot, interp/i-spec2.boot: Move content to
i-special.boot. Remove.
|
|
disjunction forms.
|
|
disjunction forms.
|
|
constant producing function.
* interp/c-util.boot (getFunctionReplacement): Use
comptileTimeBindingOf.
(lookupDefiningFunction): Tidy.
* interp/g-opt.boot (compileTimeBindingOf): Move to c-util.boot.
|
|
evaluation.
|
|
(optCond): Remove ineffectual transformation.
|
|
|
|
|
|
* boot/ast.boot: Use makeSymbol in place of INTERN.
* boot/parser.boot: Likewise.
* boot/scanner.boot: Likewise.
* boot/translator.boot: Likewise.
* interp/alql.boot: Likewise.
* interp/as.boot: Likewise.
* interp/ax.boot: Likewise.
* interp/bc-matrix.boot: Likewise.
* interp/bc-solve.boot: Likewise.
* interp/br-con.boot: Likewise.
* interp/br-data.boot: Likewise.
* interp/br-op2.boot: Likewise.
* interp/br-prof.boot: Likewise.
* interp/br-search.boot: Likewise.
* interp/c-doc.boot: Likewise.
* interp/c-util.boot: Likewise.
* interp/clam.boot: Likewise.
* interp/compiler.boot: Likewise.
* interp/define.boot: Likewise.
* interp/format.boot: Likewise.
* interp/fortcall.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/i-spec1.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/i-coerce.boot: Likewise.
* interp/i-map.boot: Likewise.
* interp/htsetvar.boot: Likewise.
* interp/ht-util.boot: Likewise.
* interp/g-util.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/pspad1.boot: Likewise.
* interp/pspad2.boot: Likewise.
* interp/postpar.boot: Likewise.
* interp/pf2sex.boot: Likewise.
* interp/parse.boot: Likewise.
* interp/packtran.boot: Likewise.
* interp/nrunopt.boot: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/newfort.boot: Likewise.
* interp/msgdb.boot: Likewise.
* interp/modemap.boot: Likewise.
* interp/mark.boot: Likewise.
* interp/intfile.boot: Likewise.
* interp/interop.boot: Likewise.
* interp/incl.boot: Likewise.
* interp/word.boot: Likewise.
* interp/wi2.boot: Likewise.
* interp/wi1.boot: Likewise.
* interp/trace.boot: Likewise.
* interp/topics.boot: Likewise.
* interp/sys-constants.boot: Likewise.
* interp/showimp.boot: Likewise.
* interp/scan.boot: Likewise.
|
|
designate a place (usable in SETF).
|
|
|
|
* interp/g-util.boot (setShellEntry): Remove.
* interp/compiler.boot: Use %store to %tref forms instead of
setHSellEntry.
* interp/define.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/nrunfast.boot: Likewise.
* interp/showimp.boot: Likewise.
* interp/c-util.boot (isSimple): Tidy.
(isSideEffectFree): Likewise.
(updateCapsuleDirectory): Likewise.
|
|
|
|
|
|
|
|
|
|
* algebra/formula.spad.pamphlet: Avoid Lispisms.
* algebra/mathml.spad.pamphlet: Likewise.
* algebra/op.spad.pamphlet: Likewise.
* algebra/sex.spad.pamphlet: Likewise.
|
|
|
|
* interp/wi1.boot: Likewise.
* interp/br-data.boot: Various cleanups.
* interp/c-util.boot: Likewise.
* interp/compiler.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/g-util.boot: Likewise.
* interp/guess.boot: Likewise.
* interp/i-util.boot: Likewise.
* interp/mark.boot: Likewise.
* interp/msgdb.boot: Likewise.
* interp/topics.boot: Likewise.
|
|
nested conditionals.
|
|
conditionals so that implications propagate down the pipe.
|
|
|
|
|
|
autoCoerceByModemap fails.
|
|
(isUnionMode): Move to c-util.boot.
(coerceExtraHard): Rework.
(belongsTo?): Remove.
* interp/c-util.boot (isUnionMode): Moved from compiler.boot.
(unionLike?): New.
(unionProperty): Likewise.
(getInverseEnvironment): Use unionProperty instead of getUnionMode.
|
|
temporaries designating result of assignment.
(getInverseEnvironment): Likewise.
|
|
'case' implementation to declared signature.
(mkUnionFunList): Likewise.
* interp/compiler.boot (compCase1): 'case' is now unconditionally
binary.
* interp/g-opt.boot (optCond): Fix thinko.
|
|
possible.
* interp/g-util.boot (assumeProperty): Remove.
(flattenVMForm): Likewise.
(mkVMForm): Likewise.
|
|
(setqSingle): Likewise.
(setqMultiple): Likewise.
(compConstruct): Likewise.
(compQuote): Likewise.
(compElt): Likewise.
(compSignatureImport): Likewise.
(compComma): Likewise.
|