Age | Commit message (Collapse) | Author | Files | Lines |
|
from <$SetAggregate.
(part?$FiniteSetAggregate): Rename from <$FiniteSetAggregate
* algebra/mset.spad.pamphlet (part?$Multiset): Rename from
<$Mulitset.
* input/mset.input.pamphlet: Adjust.
* input/mset2.input.pamphlet: Likewise.
|
|
(|$useDynamicLink|): Likewise.
(|$effectiveFaslType|): Hold extension of linkable FASL.
(|$NativeModuleExt|): Tidy.
(|$CoreLibName|): New.
(|$ExtraRuntimeLibraries|): Likewise.
(extra-runtime-libs): Likewise.
(complete-fasl-list-for-link): Likewise.
(|link|) [ECL]: Link against system libraries.
(|compileLispFile|): Tidy.
(begin-compile-time): New.
(end-compile-time): Likewise.
(compile-time-p): Likewise.
(import-module): Use it.
* lisp/Makefile.in ($(OUT)/lisp$(EXEEXT)): Use oa_c_runtime_extra.
* lib/Makefile.in (oa_installed_corelib): New.
* boot/initial-env.lisp: Don't export systemRootDirectory and
systemLibraryDirectory from here.
* boot/translator.boot (systemRootDirectory): Move to lisp/core.lisp.
(systemLibraryDirectory): Likewise.
(loadSystemRuntimeCore): Do nothing for GCL and ECL.
* interp/boot-pkg.lisp: Inform that Boot system is compleye.
|
|
when --enable-checking.
|
|
therefore a statement.
|
|
* interp/vmlisp.lisp (EMBED): Evaluate lambda forms to FUNCTIOn type.
* interp/trace.boot (transTraceItem): Fix thinko.
(spadTrace): Use assoc, not ASSOC.
(addTraceItem): Test for domain objects before constructors.
|
|
signature % -> %.
* interp/br-con.boot: Use "~=" for inequality.
|
|
(BRIGHTPRINT): Likewise.
* interp/macros.lisp (sayBrightly1): Use brightPrint0 and brightPrint.
(sayBrightlyNT1): Likewise.
|
|
|
|
|
|
* algebra/Makefile.pamphlet (axiom_algebra_layer_9): Add SIG.
* algebra/syntax.spad.pamphlet (Signature): New.
|
|
|
|
symbols.
* algebra/any.spad.pamphlet: Use nil for empty list.
* algebra/boolean.spad.pamphlet: Fix quoting.
|
|
(parseNotEqual): Likewise.
* interp/compiler.boot (compCompilerPredicate): New.
(compileNot): Use it.
* interp/define.boot (compSubDomain1): Likewise.
(doItIf): Likewise.
* interp/bootlex.lisp (boot): Set $nornamizeTree.
* algebra/Makefile.pamphlet (axiom_algebra_layer_9): Move from
layer 4 to here.
|
|
(NRTgetLocalIndexClear): Remove.
(NRTgetLocalIndex1): Lose second unused argument; move body to
NRTgetLocalIndex.
* interp/define.boot (doIt): Call NRTgetLocalIndex, not
NRTgetLocalIndexClear.
* interp/wi2.boot (NRTgetLocalIndex): Rename from NRTgetLocalIndex1.
|
|
(isCategoryForm): Likewise. Tidy.
(mkCategory): Likewise.
|
|
|
|
|
|
OrderedSemiGroup and a Monoid.
* share/algebra: Updata databases.
|
|
* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include OSGROUP.
|
|
|
|
|
|
|
|
|
|
(oa_access_file_for_read): Likewise.
* lib/cfuns-c.c (oa_getcwd): Define.
(oa_access_file_for_read): Likewise.
(oa_get_tmpdir): Likewise.
* hyper/addfile.c: Don't include hyper.h
(build_ht_filename): Use oa_getcwd, oa_access_file_for_read.
(temp_file_open): Use oa_get_tmpdir.
* hyper/htadd.c (build_db_filename): Don't fall back to bogus
filename.
* hyper/hyper.h (temp_dir): Remove.
(def_spad): Likewise.
|
|
* interp/g-cndata.boot (condUnabbrev): Handle homogeneous varargs
for constructors taking tuples.
* interp/i-resolv.boot: Revolve domains and categories.
|
|
|
|
* algebra/riccati.spad.pamphlet (RationalRicDE): Don't import
inexistent RatODETools.
|
|
(makeLiteral): Likewise.
* interp/compiler.boot (compSymbol): Use isLiteral.
* interp/wi1.boot (compSymbol): Likewise.
|
|
variables and variables declared in a loop are local to that loop.
* interp/g-error.boot (needsToSplitMessage): New.
(errorSupervisor): Use it.
* interp/compiler.boot (compSymbol): Highlight erron=eous symbol.
* interp/wi1.boot (stackMessage): Remove duplicate.
* algebra/ffcat.spad.pamphlet (FiniteFieldCategory): Tidy.
* algebra/fff.spad.pamphlet (FiniteFieldFunctions): Likewie.
* algebra/groebsol.spad.pamphlet (GroebnerSolve): Likewise.
* algebra/intfact.spad.pamphlet (IntegerRoots): Likewise.
* algebra/mkfunc.spad.pamphlet (InputForm): Likewise.
* algebra/numtheor.spad.pamphlet (IntegerNumberTheoryFunctions):
Likewise.
* algebra/permgrps.spad.pamphlet (PermutationGroup): Likewise.
* algebra/random.spad.pamphlet (RandomFloatDistributions): Likewise.
* algebra/sgcf.spad.pamphlet
(SymmetricGroupCombinatoricFunctions): Likewise.
* algebra/triset.spad.pamphlet (PolynomialSetUtilitiesPackage):
Likewise.
* algebra/twofact.spad.pamphlet (TwoFactorize): Likewise.
|
|
* algebra/data.spad.pamphlet (bitand$Byte): New.
(bitior$Byte): Likewwise.
(byte$Byte): Likewise.
* algebra/Makefile.pamphlet (axiom_algebra_layer_15): Include
JAVACODE.
|
|
* interp/sys-utility.boot (getVMType): Integer is represented by
%Integer.
* interp/postpar.boot (postSignature): Don't ignore constants.
|
|
|
|
|
|
* config/openaxiom-c-macros.h.in: Rename from
config/axiom-c-macros.h.in.
* src: Propagate change.
|
|
|
|
* boot/includer.boot: Likewise.
* boot/parser.boot: Likewise.
* boot/pile.boot: Likewise.
* boot/scanner.boot: Likewise.
* boot/tokens.boot: Likewise.
* boot/translator.boot: Likewise.
* boot/strap: Update Lisp translation.
* lisp/core.lisp.in: Tidy.
|
|
|
|
Attribute, Signature, and Reduce.
* interp/postpar.boot: Likewise.
* interp/ptrees.boot: Likewise. Tidy.
* interp/Makefile.pamphlet (ptrees.$(FASLEXT)): Don't compile as
Old Boot.
|
|
(bfParameterList): New.
(bfInsertLet): Use it.
(bfInsertLet1): Handle parameter with default values.
* boot/parser.boot (bpRegularBVItemTail): Split from bpRegularBVItem.
(bpRegularBVItem): Tidy.
|
|
|
|
instantiations.
* interp/modemap.boot (compCat): Move to compiler.boot.
|
|
* interp/comp.lisp (|compileFileQuietly|): Move to compiler.boot.
|
|
* interp/define.boot (compDefineFunctor1): Use setShellEntry.
(canCacheLocalDomain): Likewise.
(compilerCases): Likewise.
(doIt): Likewise.
* interp/functor.boot (setVector0): Likewise.
(setVector3): Likewise.
(setVector4part4): Likewise.
(setVector5): Likewise.
(mkVectorWithDeferral): Likewise.
(DescendCodeAdd1): Likewise.
(DescendCode): Likewise.
(ConsantCreator): Likewise.
(SetFunctionSlots): Likewise.
(CheckVector): Likewise.
* interp/g-opt.boot (optCall): Use getShellEntry.
(optSpecialCall): Likewise.
* interp/i-util.boot (devaluate): Likewise.
* interp/nruncomp.boot (buildFunctor): Use setShellEntry.
(NRTsetVector4a): Likewise.
(NRTputInLocalReferences): Use getShellEntry.
(NRTputInHead): Likewise.
* interp/nrunopt.boot (augmentPredVector): Use setShellEntry.
* interp/nruntime.boot (getShellEntry): New.
(setShellEntry): Likewise.
* interp/package.boot (processPackage): Use getShellEntry.
(PackageDescendCode): Use setShellEntry.
* interp/sys-globals.boot ($QuickCode): Remove.
* interp/template.boot (NRTdescendCodeTran): Use setShellEntry.
* interp/types.boot (%Void): New.
(%Shell): New.
* interp/wi2.boot (compDefineFunctor1): Use setShellEntry.
|
|
the compiler appreciates we want dynamic link.
|
|
(oa_shrobj_flags): Likewise.
* config/var-def.mk (LINK_SHRLIB): Tidy.
* INSTALL: Update.
* TODO: Likewise.
|
|
|
|
|
|
|
|
libraries on MinGW and Cygwin.
* config/var-def.mk (SHREXT): Tidy.
(LINK_SHRLIB): New.
|
|
Spad codes.
|