aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
AgeCommit message (Collapse)AuthorFilesLines
2008-10-11 * interp/c-util.boot (backendFluidize): New.dos-reis1-0/+6
* interp/comp.lisp (COMP-TRAN): Use it. (COMP-FLUIDIZE): Remove.
2008-10-11 * interp/c-util.boot (backendCompile2): Bootified from COMP-2.dos-reis1-0/+6
* interp/compiler.boot (COMP): Use it. * interp/comp.lisp (COMP-2): Remove.
2008-10-10 * interp/c-util.boot ($middleEndMacroList): New.dos-reis1-0/+15
(middleEndExpand): New. (backendCompileILAM): Bootify COMP-ILAM. (backendCompileSLAM): Bootify COMP-SLAM. (backendCompileSPADSLAM): Bootify COMP-SPADSLAM. * interp/comp.lisp (COMP-2): Use them. (COMP-ILAM): Remove. (COMP-SLAM): Likewise. (COMP-SPADLSAM): Likewise. (COMP-TRAN): Use middleEndExpand. (COMP-EXPAND): Remove. ($COMP-MACROLIS): Likewise.
2008-10-10 * boot/translator.boot (loadNativeModule): Don't save loadeddos-reis1-0/+5
shared objects.
2008-10-09 * algebra/domain.spad.pamphlet (ConstructorKinid): New domain.dos-reis1-0/+8
(Constructor): Likewise. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include CTORKIND. (axiom_algebra_layer_user): Include CTOR.
2008-10-09 SF/1872404 fixed.dos-reis1-1/+6
* testsuite/compiler/1872404.spad: New.
2008-10-09 SF/1872445 fixed.dos-reis1-0/+5
* testsuite/compiler/1872445.spad:
2008-10-08 Allow compound argument types in Boot signatures.dos-reis1-0/+7
* boot/parser.boot (bpArgtypeList): New. (bpMapping); Use it. * boot/tokens.boot: Define neutral element for CONCAT.
2008-10-08 * boot/ast.boot (bfReduce): Check neutral value for originaldos-reis1-0/+6
operator too. (bfReduceCollect): Likewise.
2008-10-08 * interp/i-util.boot (printPrompt): New.dos-reis1-0/+9
* interp/ht-util.boot (executeInterpreterCommand): Use it. * interp/int-top.boot (SpadInterpretStream): Likewise. * interp/metalex.lisp (get-a-line): Likewise. * interp/server.boot (serverReadLine): Likewise. (serverLoop): Likewise.
2008-10-08 * algebra/Makefile.pamphlet (axiom_algebra_layer_user): Includedos-reis1-0/+8
RGBCMDL, RGBCSPC. * algebra/color.spad.pamphlet (RGBColorModel): New. (RGBColorSpace): Likewise. * algebra/exposed.lsp.pamphlet: Expose them
2008-10-07 * interp/define.boot (compCategoryItem): Don't check signatures yet.dos-reis1-0/+7
* interp/c-util.boot (isKnownCategory): New. (diagnoseUknownType): Use it. Expand. * interp/compiler.boot (compCat): Use it.
2008-10-07 * interp/nruncomp.boot: Remove unused variable $maximalViews.dos-reis1-0/+5
* interp/package.boot: Likewise.
2008-10-06 * interp/functor.boot (DescendCode): Update capsule directory onlydos-reis1-0/+12
for non-default implementations. * interp/c-util.boot ($capsuleDirectory): New. (clearCapsuleDirectory): Likewise. (getCapsuleDirectoryEntry): Likewise. (updateCapsuleDirectory): Likewise. (foldSpadcall): Likewise. (foldExportedFunctionReferences): Likewise. * interp/define.boot (compFunctorBody): Use it.
2008-10-06 * interp/sys-macros.lisp (|quietlyIfInteractive|): New.dos-reis1-0/+7
* interp/compiler.boot (quietlyIfInteractive): Use it. (compQuietly): Likewise. (compileQuietly): Likewise.
2008-10-05 * interp/c-util.boot ($optExportedFunctionReference): New.dos-reis1-0/+8
(setCompilerOptimizations): Set it. * interp/define.boot ($capsuleFunctionStack): New. (spadCompileOrSetq): Collect capsule function definitions. (compFunctorBody): Compile them at end of capsule.
2008-10-05 * interp/c-util.boot (getFunctionReplacement): Tidy.dos-reis1-0/+5
* algebra/data.spad.pamphlet (Byte): Likewise.
2008-10-05 * interp/c-util.boot (isAtomicForm): New.dos-reis1-0/+10
(replaceSimpleFunctions): Use it. Simplify back to original implementation. (proclaimCapsuleFunction): Constructor parameters are generic. * interp/sys-utility.boot (getVMType): Handle wildcard. * algebra/stream.spad.pamphlet: Don't build STREAM with proclamation on -- it currently violates type rules.
2008-10-04 * algebra/data.spad.pamphlet (sample$Byte): New.dos-reis1-1/+5
2008-10-04 * interp/c-util.boot (eqSubstAndCopy): New.dos-reis1-0/+7
(eqSubst): Likewise. (replaceSimpleFunctions): Handle XLAM-replaceable functions. * interp/wi1.boot (pairList): Remove duplicate.
2008-10-04 * interp/c-util.boot (clearReplacement): New.dos-reis1-0/+7
(getFunctionReplacement): Likewise. (replaceSimpleFunctions): Likewise. * interp/define.boot (spadCompileOrSetq): Use it.
2008-10-03 * algebra/Makefile.pamphlet: Turn non optimization for algbera build.dos-reis1-0/+4
2008-10-02 * algebra/data.spad.pamphlet (Byte): Add coercion to and fromdos-reis1-0/+5
Character.
2008-10-02 * interp/i-spec1.boot (upcase): Tidy.dos-reis1-0/+6
* interp/i-spec2.boot (evalIsntPredicate): Likewise. * interp/sys-utility.boot (existingFile?): Likewise.
2008-10-02 * algebra/outform.spad.pamphlet (doubleFloatFormat$OutputForm): Movedos-reis1-0/+5
from DoubleFloat.
2008-10-01 * algebra/net.spad.pamphlet (InputBinaryFile): Tidy.dos-reis1-0/+4
2008-10-01 * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Tidy.dos-reis1-0/+2
* algebra/sregset.spad.pamphlet (SquareFreeRegularTriangularSet): Remove unused function decompose.
2008-10-01 * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Tidy.dos-reis1-0/+4
2008-10-01 * algebra/mkfunc.spad.pamphlet (InputForm): Remove local mkProperOp.dos-reis1-0/+8
(compile$InputForm): Tidy. * algebra/boolean.spad.pamphlet (setelt$IndexedBits): A bit is not a Boolean. * interp/i-intern.boot (mkAtreeForToken): New.
2008-10-01 * interp/c-util.boot ($optProclaim): New.dos-reis1-0/+14
($optReplaceSimpleFunctions): Likewise. (setCompilerOptimizations): Likewise. Set them. (proclaimCapsuleFunction): New. * interp/compiler.boot (compileSpad2Cmd): Handle option ')optimize'. * interp/define.boot (compile): Proclaim if appropriate. * interp/sys-driver.boot (compileSpadLibrary): Honor optimization level set on commmand line. * interp/sys-utility.boot (getVMType): Tidy. * interp/types.boot (%Void): Likewise. (IntegerSection): New.
2008-10-01 * interp/i-output.boot: Move dispatch table from property.lisp.dos-reis1-0/+6
* interp/buildom.boot: Likewise. * interp/def.lisp: Likewise.
2008-10-01 * algebra/files.spad.pamphlet (IOMode): New domain.dos-reis1-0/+10
* algebra/net.spad.pamphlet (InputBinaryFile): Likewise. (OutputBinaryFile): Likewise. * interp/sys-utility.boot (openBinaryFile): New. (readByteFromFile): Likewise. (writeByteToFile): Likewise. (closeFile): Likewise.
2008-09-28 * algebra/regset.spad.pamphlet (RegularTriangularSet): Removedos-reis1-0/+5
unused local decompose function.
2008-09-28 * algebra/outform.spad.pamphlet (OutputForm): Remove bogusdos-reis1-0/+5
definition for Rep. Tidy.
2008-09-26 * algebra/matrix.spad.pamphlet (new$Matrix): New.dos-reis1-0/+5
Remove uses of pretend. Define Rep.
2008-09-25 * include/cfuns.h (oa_copy_file): Declare.dos-reis1-0/+9
* lib/cfuns-c.c (oa_chdir): Define. (oa_dirname): Fix typo. * hyper/htadd.c (copy_file): Remove. (build_db_filename): Tidy. (delete_file): Use oa_copy_file.
2008-09-24 * interp/i-analy.boot (putCallInfo): New.dos-reis1-0/+9
(bottomUp): Use it. * interp/i-spec1.boot (upand): Likewise. (upor): Likewise. (upcase): Likewise. * interp/i-spec2.boot (uperror): Likewise.
2008-09-23 * algebra/fortmac.spad.pamphlet (MachineFloat): Don't redeclare base.dos-reis1-0/+4
2008-09-22 * boot/parser.boot (bpReturn): Allow assignment.dos-reis1-0/+4
2008-09-22 * algebra/syntax.spad.pamphlet: Tie the recursive knots betweendos-reis1-0/+5
syntax domains.
2008-09-21 * algebra/syntax.spad.pamphlet (SpadAst): New.dos-reis1-0/+6
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add SPADAST. * share/algebra: Update algebra databases.
2008-09-21 * algebra/syntax.spad.pamphlet (SpadAstExports): New.dos-reis1-0/+7
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add SPADXPT. Update dependency rules. * share/algebra: Update algebra databases.
2008-09-21 * algebra/boolean.spad.pamphlet (Boolean): Now belong todos-reis1-0/+5
OrderedFinite.
2008-09-21 * interp/sys-macros.lisp (|byteEqual|): New.dos-reis1-0/+12
* algebra/boolean.spad.pamphlet (PropositionalLogic): Extend SetCategory. (PropositionalFormula): Now unconditional exports coercion to OutputForm. Adjust implementation. (KleeneTrivalentLogic): New. * algebra/data.spad.pamphlet (Byte): Tidy. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Move PROPLOG to layer 1.
2008-09-20 * include/cfuns.h (oa_dirname): Declare.dos-reis1-0/+8
* lib/cfuns-c.c (openaxiom_is_path_separator): New. (oa_dirname): Define. (writeablep): Use it. * algebra/fname.spad.pamphlet (writable?$FileName): Tidy.
2008-09-19 * interp/g-util.boot (getTypeOfSyntax): Infer more syntax domains.dos-reis1-0/+7
* algebra/Makefile.pamphlet: Add dependency rules for syntax domains. * algebra/exposed.lsp.pamphlet: Expose more syntax domains.
2008-09-19 * interp/lisplib.boot (getConstructorSignature): Relax.dos-reis1-0/+4
2008-09-18 * interp/c-util.boot (displayAmbiguousSignatures): New.dos-reis1-0/+38
(ambiguousSignatureError): Likewise. * interp/define.boot (hasSigInTargetCategory): Use it to reject ambiguous lhs of a definition. * interp/lisplib.boot (leaveIfErrors): Fix typo. * algebra/aggcat.spad.pamphlet: Disambiguate definitions. * algebra/card.spad.pamphlet: Likewise. * algebra/dhmatrix.spad.pamphlet: Likewise. * algebra/divisor.spad.pamphlet: Likewise. * algebra/expexpan.spad.pamphlet: Likewise. * algebra/ffcat.spad.pamphlet: Likewise. * algebra/ffcg.spad.pamphlet: Likewise. * algebra/ffnb.spad.pamphlet: Likewise. * algebra/ffp.spad.pamphlet: Likewise. * algebra/generic.spad.pamphlet: Likewise. * algebra/groebf.spad.pamphlet: Likewise. * algebra/modring.spad.pamphlet: Likewise. * algebra/moebius.spad.pamphlet: Likewise. * algebra/mts.spad.pamphlet: Likewise. * algebra/naalgc.spad.pamphlet: Likewise. * algebra/ore.spad.pamphlet: Likewise. * algebra/outform.spad.pamphlet: Likewise. * algebra/pf.spad.pamphlet: Likewise. * algebra/poly.spad.pamphlet: Likewise. * algebra/polycat.spad.pamphlet: Likewise. * algebra/prtition.spad.pamphlet: Likewise. * algebra/radix.spad.pamphlet: Likewise. * algebra/rep2.spad.pamphlet: Likewise. * algebra/stream.spad.pamphlet: Likewise. * algebra/string.spad.pamphlet: Likewise. * algebra/tree.spad.pamphlet: Likewise. * algebra/triset.spad.pamphlet: Likewise. * algebra/view2D.spad.pamphlet: Likewise. * algebra/sf.spad.pamphlet: Remove signature for hash. * algebra/si.spad.pamphlet: Likewise.
2008-09-18 * algebra/mkfunc.spad.pamphlet (parseString$InputForm): New.dos-reis1-0/+5
2008-09-18 * interp/g-util.boot (getTypeOfSyntax): Infer more syntax domains.dos-reis1-0/+8
* algebra/syntax.spad.pamphlet: Add more syntax domains. * algebra/exposed.lsp.pamphlet: Expose more syntax object domains. * algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add more syntax object files.