aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
AgeCommit message (Collapse)AuthorFilesLines
2011-04-25 * boot/translator.boot (inAllContexts): New.dos-reis1-0/+6
(translateToplevel): Use it. * boot/parser.boot (bpImport): Accept namespace import.
2011-04-24 * boot/initial-env.lisp (MEMQ): Remove.dos-reis1-0/+8
* boot/ast.boot (shoeATOMs): Don't use it. (isDynamicVariable): Likewise. (shoeCompTran1): Likewise. * boot/translator.boot (defuse1): Likewise.
2011-04-24 * boot/ast.boot (bfMakeCollectInsn): New.dos-reis1-0/+5
(bfDoCollect): Tidy.
2011-04-24 * boot/ast.boot (bfDoCollect): New. Implement one-pass dos-reis1-0/+6
list comprehension. (bfListReduce): Use it.
2011-04-23 * boot/ast.boot (bf0APPEND): Remove.dos-reis1-0/+6
(bf0COLLECT): Likewise. (bfCollect): Tidy.
2011-04-23 * lisp/core.lisp.in: Export basic types and compiler data types.dos-reis1-0/+12
* interp/modemap.boot (knownInfo): Fix latent bug uncovered by type declarations. * boot/ast.boot: Remove type definitions. (bfIN): Handle DOT as loop variable. (bfON): Likewise. Allow a loop variable to iterator over its own tails. * boot/parser.boot (bfTyping): Simplify. (bpSimpleMapping): Fix thinko.
2011-04-22 * boot/tokens.boot: Don't translate setDifference.dos-reis1-0/+10
* boot/initial-env.lisp (SETDIFFERNECE): Remove. * boot/translator.boot (evalBootFile): Rename form EVAL-BOOT-FILE. * boot/utility.boot (setDifference): Define. * interp/unlisp.lisp (ListMemberQ?): Remove. (ListRemoveQ): Likewise. (AlistAssocQ): Likewise.
2011-04-22 * boot/utility.boot (copyList): Define.dos-reis1-0/+6
(append!): Likewise. * boot/tokens.boot: Do not translate nconc.
2011-04-21 * boot/tokens.boot: Don't translate lastNode anymore.dos-reis1-0/+5
* boot/utility.boot (lastNode): Define.
2011-04-21 * boot/utility.boot (objectMember?): Don't rely non tail recursiondos-reis1-0/+8
removal. (reverse): Define. * boot/tokens.boot: Don't rename reverse anymore. * boot/ast.boot: Generate reverse forms instead of REVERSE.
2011-04-21 * boot/tokens.boot: Don't rename nreverse.dos-reis1-0/+7
* boot/utility.boot (reverse!): Define. * boot/parser.boot: Use reverse! instead of NREVERSE. * boot/ast.boot: Generate reverse! forms instead of NREVERSE.
2011-04-20 * interp/sys-utility.boot (substitute): Define.dos-reis1-0/+8
(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.
2011-04-19 * boot/tokens.boot: charUpcase, charDowncase, stringUpcase,dos-reis1-0/+6
singDowncase, valueEq? are new builtin functions. * boot/ast.boot (bfMembr): Tidy.
2011-04-19 * interp/newfort.boot: Likewise.dos-reis1-0/+12
* 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.
2011-04-19 * boot/ast.boot (%Module): Now take three arguments.dos-reis1-0/+7
* boot/parser.boot (bpModuleInterface): Rename from bpExports. (bpModuleExports): New. (bpModule): Now allow specification of exported names.
2011-04-17 * boot/tokens.boot: Translate maxIndex to MAXINDEX.dos-reis1-0/+4
2011-04-16 * boot/tokens.boot (shoeIdChar): Accept "!" too.dos-reis1-0/+4
2011-04-14 * interp/msgdb.boot: Use stringChar more often.dos-reis1-0/+4
2011-04-12 * lisp/core.lisp.in: Include SB-SPROF when profiling SBCL-based build.dos-reis1-0/+4
2011-04-10specify linker for ECLdos-reis1-0/+5
2011-04-10 * config/open-axiom.m4 (OPENAXIOM_HOST_LISP_CPU_PRECISION):dos-reis1-0/+5
Special-case for detecting binary personality. * configure.ac: ECL now provides (at last!) way to gather information about binary personality.
2011-03-22 * algebra/op.spad.pamphlet (BasicOperator) [display]: Now return ados-reis1-0/+8
Maybe (List O -> O) value. [input]: Now return a Maybe(List SEX -> SEX). * algebra/kl.spad.pamphlet (Kernel): Adjust. * algebra/pattern.spad.pamphlet (Pattern): Likewise.
2011-03-20 * interp/g-opt.boot ($VMsideEffectFreeOperators): Includedos-reis1-0/+7
%bytevec2str and %str2bytevec opcode. * interp/lisp-backend.boot: Expand them. * algebra/data.spad.pamphlet (ByteBuffer): Tidy.
2011-03-20 * boot/translator.boot (FC): Remove.dos-reis1-0/+25
(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.
2011-03-17 * utils/storage.H: Rework.dos-reis1-0/+5
* utils/storage.cc: Likewise.
2011-03-16 * interp/i-syscmd.boot (compileSpad2Cmd): Remove experimentaldos-reis1-0/+18
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.
2011-03-13 * src/algebra/: Systematically use not zero? when comparing fordos-reis1-0/+5
equality with 0.
2011-03-12 * src/algebra/: Systematically use not one? when comparing fordos-reis1-0/+5
equality with 1.
2011-03-12 * src/algebra/: Systematically use negative? when comparing fordos-reis1-0/+5
equality with 0.
2011-03-12 * src/algebra/: Systematically use negative? when comparing fordos-reis1-0/+5
greater than 0.
2011-03-12 * src/algebra/: Systematically use negative? when comparing fordos-reis1-0/+5
less than 0.
2011-03-12 * algebra/si.spad.pamphlet (IntegerNumberSystem) [positive?]:dos-reis1-0/+9
Remove definition. (SingleInteger): Simplify implementation of random. * algebra/sf.spad.pamphlet (DoubleFloat): Likewise. [positive?]: Define. * algebra/integer.spad.pamphlet (Integer): Tidy.
2011-03-12 * algebra/catdef.spad.pamphlet (OrderedAbelianGroup): Exportdos-reis1-0/+7
negative?, abs, sign, with default implementations. (OrderedAbelianMonoid): Export positive?, with default. (OrderedRing): Don't export them.
2011-03-10 * algebra/catdef.spad.pamphlet (CharacteristicNonZero)dos-reis1-0/+12
[charthRoot]: Now return Maybe %. (PolynomialFactorizationExplicit) [charthRoot]: Likewise. * algebra/ffcat.spad.pamphlet (FiniteAlgebraicExtensionField): Propagate change. * algebra/fraction.spad.pamphlet (Fraction) [charthRoot]: Likewise. * algebra/poly.spad.pamphlet (UnivariatePolynomialSquareFree): Likewise. * algebra/polycat.spad.pamphlet (PolynomialCategory): Likewise.
2011-03-10 * interp/c-util.boot (equalFormTemplate): Tidy comparison of valuedos-reis1-0/+5
argument to constructors.
2011-03-10 * interp/c-util.boot (mutateArgumentList): New.dos-reis1-0/+10
(inlineDirectCall): Break out of replaceSimpleFunctions. (resolveIndirectCall): Break out of foldSpadcall. (replaceSimpleFunctions): Use them. (foldSpadcall): Remove. (usesVariablesLinearly?): Tidy. (foldExportedFunctionReferences): Don't call foldSpadcall.
2011-03-10 * interp/c-util.boot (resolveConstantForm): New. Split out ofdos-reis1-0/+6
replaceSimpleFunctions. (foldSpadcall): Use it too.
2011-03-09 * algebra/catdef.spad.pamphlet (StepThrough) [nextItem]: Nowdos-reis1-0/+12
return Maybe %. * algebra/ffcat.spad.pamphlet: Propagate change. * algebra/fmod.spad.pamphlet: Likewise. * algebra/fraction.spad.pamphlet: Likewise. * algebra/integer.spad.pamphlet: Likewise. * algebra/pfbr.spad.pamphlet: Likewise. * algebra/polycat.spad.pamphlet: Likewise. * algebra/si.spad.pamphlet: Likewise.
2011-03-09 * algebra/catdef.spad.pamphlet (EuclideanDomain)dos-reis1-0/+7
[expressIdealMember]: Now returns Maybe List %. * algebra/Makefile.in: Tidy. (axiom_algebra_bootstrap_last_layer): Remove.
2011-03-09 * interp/g-opt.boot: %pair, %list, %vector, %bitvector are nowdos-reis1-0/+7
considered side-effect free functions. * algebra/boolean.spad.pamphlet: Reflect change. * algebra/Makefile.in (oa_strap_0_sources): Include MAYBE.
2011-03-09 * interp/g-opt.boot (semiSimpleRelativeTo?): Consider conditionals.dos-reis1-0/+4
2011-03-08 * algebra/catdef.spad.pamphlet (SemiRing): New category.dos-reis1-0/+4
2011-03-07 * interp/sys-utility.boot (getSystemModulePath): Usedos-reis1-0/+20
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.
2011-03-07 * algebra/si.spad.pamphlet (SingleInteger): Logic is indirectlydos-reis1-0/+5
included through BooleanLogic.
2011-03-06 * interp/i-eval.boot (mkEvalable): Simplify.dos-reis1-1/+8
(mkEvalableMapping): Remove. (mkEvalableRecord): Likewise. (mkEvalableUnion): Likewise.
2011-03-06 * interp/g-opt.boot ($VMsideEffectFreeOperators): Include %c2s.dos-reis1-0/+8
* interp/lisp-backend.boot: Translate it. * algebra/integer.spad.pamphlet (Integer) [convert]: Tidy. [latex]: Likewise. * algebra/string.spad.pamphlet (Character)[latex]: Likewise.
2011-03-05 * interp/as.boot: Use getConstructorAbbreviationFromDB.dos-reis1-0/+19
* 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.
2011-03-05 * interp/nrunopt.boot: Move content to define.boot, interop.boot,dos-reis1-0/+5
lisplib.boot, nruncomp.boot, showimp.boot. Delete.
2011-03-03 * interp/nrungo.boot: Move content to buildom.boot, i-map.boot,dos-reis1-0/+5
i-special.boot, nrunfast.boot. Delete.
2011-03-02 * interp/i-eval.boot (mkEvalable): Exit early on niladic constructors.dos-reis1-0/+8
* interp/define.boot (compDefineFunctor1): If bootstrapping, mark functor as incomplete. * interp/c-util.boot (lookupDefiningFunction): Don't look into incomplete domains.