aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2008-10-17update TODOdos-reis1-0/+4
2008-10-16 * interp/scan.boot (scanKeyWords): `assume' is a keyword.dos-reis2-0/+5
2008-10-16 * interp/i-spec1.boot (categoryImplies): New.dos-reis5-12/+34
(evalCategory): Use it.
2008-10-16 Fix AW/101dos-reis3-1/+31
* algebra/laplace.spad.pamphlet (lapkernel): Handle derivatives.
2008-10-16 * interp/compiler.boot (backendCompile1): Move to c-util.boot.dos-reis12-69/+76
(COMP): Likewise. Rename to backendCompile. (compileFileQuietly): Move to c-util.boot. (compAndDefine): Likewise. (compQuietly): Likewise. (compileQuitely): Likewise.
2008-10-15 * algebra/mkfunc.spad.pamphlet (unparse$InputForm): Usedos-reis2-2/+6
inputForm2String$Lisp.
2008-10-15 * algebra/mkfunc.spad.pamphlet (coerce$InputForm): Displaydos-reis3-4/+116
InputForm as a one-dimensional stream of characters suitable for input to the interpreter. * interp/i-output.boot: Implement conversion of InputForm to displayed OutputForm.
2008-10-14 * interp/i-spec2.boot (upQUOTE): Quoted forms belong to InputForm.dos-reis3-1/+10
* interp/sys-constants.boot ($InputForm): New.
2008-10-14 Fix AW/338dos-reis3-1/+9
* algebra/fspace.spad.pamphlet (smprep$FunctionSpace): Fix thinko
2008-10-14 Fix AW/292dos-reis4-6/+17
* algebra/defintef.spad.pamphlet (checkForPole): Handler exponention. (checkSMP): Likewise.
2008-10-14 Fix AW/23dos-reis5-7/+24
* algebra/fspace.spad.pamphlet (isExpt): Tidy. * algebra/algfunc.spad.pamphlet (inroot): Likewise.
2008-10-13update descriptiondos-reis1-0/+3
2008-10-13 Don't step over Common Lisp MAP.dos-reis17-37/+55
* interp/i-analy.boot (bottomUp): Change MAP to %Map. (isEltable): Likewise. * interp/i-coerce.boot (retract): Likewise. * interp/i-eval.boot (getArgValue): Likewise. * interp/i-funsel.boot (selectLocalMms): Likewise. * interp/i-intern.boot (getValueFromEnvironment): Likewise. * interp/i-map.boot (mkAuxiliaryName): Likewise. (augmentMap): Likewise. (displayMap): Likewise. (putBodyInEnd): Likewise. (expandRecursiveBody): Likewise. * interp/i-output.boot (outputTran): Likewise. * interp/i-spec1.boot (declare): Likewise. * interp/i-syscmd.boot (displayMacro): Likewise. * interp/i-toplev.boot (interpret2): Likewise. * interp/patches.lisp (MAP): Remove. * interp/trace.boot (isUncompiledMap): Likewise.
2008-10-13 Add support for Lisp declarations in generated Lisp code.dos-reis26-226/+435
* interp/i-map.boot (compileCoerceMap): Tell backend that minivector is global. * interp/i-spec1.boot (compileADEFBody): Likewise. * interp/slam.boot (reportFunctionCompilation): Likewise. * interp/define.boot (spadCompileOrSetq): Tell backend to ignore last argument for simple functions. * interp/c-util.boot (skipDeclarations): New. (lastDeclarationNode): Likewise. (declareGlobalVariables): Likewise. (transformToBackendCode): Use them to allow for Lisp declarations in middle-end forms. * interp/sys-driver.boot (AxiomCore::%sysInit): Reading Lisp level Floating point numbers default to double precision. * algebra/strap: Update.
2008-10-13 * interp/nlib.lisp (rpackfile): Remove obsolete code.dos-reis2-23/+7
2008-10-12 * interp/c-util.boot (backendCompileNEWNAM): New.dos-reis6-108/+125
(pushLocalVariable): Likewise. (mutateToBackendCode): Likewise. (transformToBackendCode): Likewise * interp/comp.lisp (FLUIDVARS): Remove. (LOCVARS): Likewise. (SPECIALVARS): Likewise. ($CLOSEDFNS): Likewise. (COMP-NAM): Likewise. (COMP-TRAN): Likewise. (COMP-TRAN-1): Likewise. * interp/compiler.boot (compWithMappingMode): Use transformToBackendCode. (COMP-1): Use backendCompileNEWNAM. * interp/i-analy.boot (bottomUpCompile): Use mutateToBackendCode.
2008-10-12update databsesdos-reis5-24986/+26990
2008-10-11Update algebra bootstrap cache.dos-reis85-1305/+4062
2008-10-11 * interp/c-util.boot (backendFluidize): New.dos-reis3-18/+24
* interp/comp.lisp (COMP-TRAN): Use it. (COMP-FLUIDIZE): Remove.
2008-10-11 * interp/c-util.boot (backendCompile2): Bootified from COMP-2.dos-reis4-14/+22
* interp/compiler.boot (COMP): Use it. * interp/comp.lisp (COMP-2): Remove.
2008-10-10Fix typo from last commitdos-reis1-2/+2
2008-10-10 * interp/c-util.boot ($middleEndMacroList): New.dos-reis3-99/+122
(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-reis3-2/+8
shared objects.
2008-10-09 * algebra/domain.spad.pamphlet (ConstructorKinid): New domain.dos-reis12-21366/+21464
(Constructor): Likewise. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include CTORKIND. (axiom_algebra_layer_user): Include CTOR.
2008-10-09 SF/1872404 fixed.dos-reis2-1/+15
* testsuite/compiler/1872404.spad: New.
2008-10-09 SF/1872445 fixed.dos-reis2-0/+12
* testsuite/compiler/1872445.spad:
2008-10-08 Allow compound argument types in Boot signatures.dos-reis3-5/+21
* 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-reis2-3/+9
operator too. (bfReduceCollect): Likewise.
2008-10-08 * interp/i-util.boot (printPrompt): New.dos-reis6-14/+25
* 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-reis13-27597/+25676
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-reis4-16/+54
* 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-reis3-5/+5
* interp/package.boot: Likewise.
2008-10-06 * interp/functor.boot (DescendCode): Update capsule directory onlydos-reis4-7/+78
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-reis6-24/+27
* interp/compiler.boot (quietlyIfInteractive): Use it. (compQuietly): Likewise. (compileQuietly): Likewise.
2008-10-05 * interp/c-util.boot ($optExportedFunctionReference): New.dos-reis3-2/+27
(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-reis3-4/+10
* algebra/data.spad.pamphlet (Byte): Likewise.
2008-10-05 * interp/c-util.boot (isAtomicForm): New.dos-reis8-27/+46
(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-reis3-4/+9
2008-10-04 * interp/c-util.boot (eqSubstAndCopy): New.dos-reis4-8/+29
(eqSubst): Likewise. (replaceSimpleFunctions): Handle XLAM-replaceable functions. * interp/wi1.boot (pairList): Remove duplicate.
2008-10-04 * interp/c-util.boot (clearReplacement): New.dos-reis3-1/+57
(getFunctionReplacement): Likewise. (replaceSimpleFunctions): Likewise. * interp/define.boot (spadCompileOrSetq): Use it.
2008-10-03 * algebra/Makefile.pamphlet: Turn non optimization for algbera build.dos-reis3-2/+6
2008-10-02 * algebra/data.spad.pamphlet (Byte): Add coercion to and fromdos-reis2-17/+20
Character.
2008-10-02 * interp/i-spec1.boot (upcase): Tidy.dos-reis4-11/+18
* interp/i-spec2.boot (evalIsntPredicate): Likewise. * interp/sys-utility.boot (existingFile?): Likewise.
2008-10-02update databasedos-reis7-25538/+25545
2008-10-02 * algebra/outform.spad.pamphlet (doubleFloatFormat$OutputForm): Movedos-reis3-151/+19
from DoubleFloat.
2008-10-01 * algebra/net.spad.pamphlet (InputBinaryFile): Tidy.dos-reis2-7/+15
2008-10-01 * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Tidy.dos-reis2-6/+2
* algebra/sregset.spad.pamphlet (SquareFreeRegularTriangularSet): Remove unused function decompose.
2008-10-01 * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Tidy.dos-reis2-6/+16
2008-10-01Fix typosdos-reis2-6/+6
2008-10-01 * algebra/mkfunc.spad.pamphlet (InputForm): Remove local mkProperOp.dos-reis4-9/+22
(compile$InputForm): Tidy. * algebra/boolean.spad.pamphlet (setelt$IndexedBits): A bit is not a Boolean. * interp/i-intern.boot (mkAtreeForToken): New.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-12 15:22:51 +0000