Age | Commit message (Collapse) | Author | Files | Lines |
|
removal.
(reverse): Define.
* boot/tokens.boot: Don't rename reverse anymore.
* boot/ast.boot: Generate reverse forms instead of REVERSE.
|
|
* boot/utility.boot (reverse!): Define.
* boot/parser.boot: Use reverse! instead of NREVERSE.
* boot/ast.boot: Generate reverse! forms instead of NREVERSE.
|
|
(substitute!): Likewise.
* boot/utility.boot: Do not rely on tail recursion removal.
* boot/tokens.boot: Don't translate substitute and substitute!.
* boot/ast.boot (bfLp1): Tidy.
|
|
|
|
|
|
|
|
singDowncase, valueEq? are new builtin functions.
* boot/ast.boot (bfMembr): Tidy.
|
|
* interp/define.boot (orderBySubsumption): Fix thinko.
* interp/boot-pkg.lisp: Use BOOTTRAN package. Don't import names
individually.
* boot/utility.boot: New.
* boot/translator.boot (exportNames): Fix thinko.
* boot/tokens.boot: Add charEq? and scalarEq? builtiin functions.
* boot/ast.boot (bfMember): Generate call to symbolMember? for
membership tests for symbols.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
%bytevec2str and %str2bytevec opcode.
* interp/lisp-backend.boot: Expand them.
* algebra/data.spad.pamphlet (ByteBuffer): Tidy.
|
|
|
|
|
|
(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.
|
|
|