Age | Commit message (Collapse) | Author | Files | Lines |
|
* interp/comp.lisp (COMP-TRAN): Use it.
(COMP-FLUIDIZE): Remove.
|
|
* interp/compiler.boot (COMP): Use it.
* interp/comp.lisp (COMP-2): Remove.
|
|
(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.
|
|
shared objects.
|
|
(Constructor): Likewise.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include
CTORKIND.
(axiom_algebra_layer_user): Include CTOR.
|
|
* testsuite/compiler/1872404.spad: New.
|
|
* testsuite/compiler/1872445.spad:
|
|
* boot/parser.boot (bpArgtypeList): New.
(bpMapping); Use it.
* boot/tokens.boot: Define neutral element for CONCAT.
|
|
operator too.
(bfReduceCollect): Likewise.
|
|
* 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.
|
|
RGBCMDL, RGBCSPC.
* algebra/color.spad.pamphlet (RGBColorModel): New.
(RGBColorSpace): Likewise.
* algebra/exposed.lsp.pamphlet: Expose them
|
|
* interp/c-util.boot (isKnownCategory): New.
(diagnoseUknownType): Use it. Expand.
* interp/compiler.boot (compCat): Use it.
|
|
* interp/package.boot: Likewise.
|
|
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.
|
|
* interp/compiler.boot (quietlyIfInteractive): Use it.
(compQuietly): Likewise.
(compileQuietly): Likewise.
|
|
(setCompilerOptimizations): Set it.
* interp/define.boot ($capsuleFunctionStack): New.
(spadCompileOrSetq): Collect capsule function definitions.
(compFunctorBody): Compile them at end of capsule.
|
|
* algebra/data.spad.pamphlet (Byte): Likewise.
|
|
(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.
|
|
|
|
(eqSubst): Likewise.
(replaceSimpleFunctions): Handle XLAM-replaceable functions.
* interp/wi1.boot (pairList): Remove duplicate.
|
|
(getFunctionReplacement): Likewise.
(replaceSimpleFunctions): Likewise.
* interp/define.boot (spadCompileOrSetq): Use it.
|
|
|
|
Character.
|
|
* interp/i-spec2.boot (evalIsntPredicate): Likewise.
* interp/sys-utility.boot (existingFile?): Likewise.
|
|
from DoubleFloat.
|
|
|
|
* algebra/sregset.spad.pamphlet (SquareFreeRegularTriangularSet):
Remove unused function decompose.
|
|
|
|
(compile$InputForm): Tidy.
* algebra/boolean.spad.pamphlet (setelt$IndexedBits): A bit is
not a Boolean.
* interp/i-intern.boot (mkAtreeForToken): New.
|
|
($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.
|
|
* interp/buildom.boot: Likewise.
* interp/def.lisp: Likewise.
|
|
* algebra/net.spad.pamphlet (InputBinaryFile): Likewise.
(OutputBinaryFile): Likewise.
* interp/sys-utility.boot (openBinaryFile): New.
(readByteFromFile): Likewise.
(writeByteToFile): Likewise.
(closeFile): Likewise.
|
|
unused local decompose function.
|
|
definition for Rep. Tidy.
|
|
Remove uses of pretend. Define Rep.
|
|
* 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.
|
|
(bottomUp): Use it.
* interp/i-spec1.boot (upand): Likewise.
(upor): Likewise.
(upcase): Likewise.
* interp/i-spec2.boot (uperror): Likewise.
|
|
|
|
|
|
syntax domains.
|
|
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add SPADAST.
* share/algebra: Update algebra databases.
|
|
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add
SPADXPT. Update dependency rules.
* share/algebra: Update algebra databases.
|
|
OrderedFinite.
|
|
* 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.
|
|
* lib/cfuns-c.c (openaxiom_is_path_separator): New.
(oa_dirname): Define.
(writeablep): Use it.
* algebra/fname.spad.pamphlet (writable?$FileName): Tidy.
|
|
* algebra/Makefile.pamphlet: Add dependency rules for syntax
domains.
* algebra/exposed.lsp.pamphlet: Expose more syntax domains.
|
|
|
|
(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.
|
|
|
|
* 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.
|