Age | Commit message (Collapse) | Author | Files | Lines |
|
* 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.
|
|
check for BFD only if we're building custom GCL.
|
|
* hyper/spadbuf.c: Remove conditional inclusion of <bstring.h>
* sman/session.c: Likewise.
* hyper/halloc.c: Remove conditional inclusion of <malloc.h>
|
|
* interp/daase.lisp (initial-getdatabase): Use it instead of
Lisp's LOAD.
* interp/lisplib.boot (loadLib): Likewise.
(loadLibNoUpdate): Likewise.
|
|
* interp/clam.boot (haddProp): Update comment.
|
|
* interp/buildom.boot: Rewrite builtin domains to work with old
runtime scheme.
* interp/nruncomp.boot (NRTencode): Tidy.
* interp/nrungo.boot (basicLookup): lookupInTable is part of the
old runtime scheme too.
(lookupInDomain): Tidy.
(lookupInCategories): Simplify.
|
|
|
|
|
|
|
|
Consistently use $InputStream and $OutputStream for I/O.
* interp/c-util.boot: Likewise.
* interp/comp.lisp: Likewise.
* interp/compat.boot: Likewise.
* interp/debug.lisp: Likewise.
* interp/def.lisp: Likewise.
* interp/g-error.boot: Likewise.
* interp/i-toplev.boot: Likewise.
* interp/int-top.boot: Likewise.
* interp/intfile.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/macros.lisp: Likewise.
* interp/metalex.lisp: Likewise.
* interp/msgdb.boot: Likewise.
* interp/patches.lisp: Likewise.
* interp/preparse.lisp: Likewise.
* interp/server.boot: Likewise.
* interp/spad-parser.boot: Likewise.
* interp/spad.lisp: Likewise.
* interp/sys-globals.boot: Likewise.
* interp/sys-macros.lisp: Likewise.
* interp/sys-os.boot: Likewise.
* interp/unlisp.lisp: Likewise.
* interp/vmlisp.lisp: Likewise.
* interp/Makefile.pamphlet (bootlex.$(FASLEXT)): Require
sys-globals.$(FASLEXT) too.
(vmlisp.$(FASLEXT)): Likewise.
|
|
|
|
* interp/apply.boot: Adjust signature declarations.
* interp/compiler.boot: Likewise.
|
|
(is_dot_or_dotdot): New.
(oa_unlink): Define.
(oa_rename): Likewise.
(oa_mkdir): Likewise.
* interp/sys-os.boot: New file.
* interp/util.lisp (MAKE-TAGS-FILE): Use changeDirectory.
(MAKELIB): Likewise.
(MAKESPAD): Likewise.
(LIBCHECK): Likewise.
* interp/sys-utility.boot ($ERASE): Define here. Use removeFile.
($REPLACE): Likewise.
(checkMkdir): Define.
* interp/obey.lisp (MAKEDIR): Remove definition.
* interp/nlib.lisp (RDEFIOSTREAM): Use checkMkdir.
(MAKEDIR): Remove.
(RPACKFILE): Use removeFile.
($ERASE): Remove Lisp definition.
($REPLACE): Likewise.
* interp/i-syscmd.boot (cd): Use changeDirectory.
(compileAsharpArchiveCmd): Use mkdir.
(histFileErase): Likewise.
* interp/fortcall.boot (fortCall): Use removeFile.
(invokeNagman): Likewise.
* interp/daase.lisp (|library|): Use changeDirectory.
(LOCALDATABASE): Likewise.
(DaaseName): Use removeFile.
* interp/construc.lisp (mergelibs): Use removeFile.
(mergeall): Use changeDirectory.
* interp/c-doc.boot (docreport): Use removeFile.
* interp/br-search.boot (getTempPath): Likewise.
* interp/br-saturn.boot (dbSort): Likewise.
* interp/br-data.boot (buildLibdb): Likewise
(dbSplitLibdb): Likewise.
(buildGloss): Likewise.
(purgeLocalLibdb): Likewise.
* interp/as.boot (asList): Likewise.
* interp/Makefile.pamphlet (OBJS): Include sys-os.$(FASLEXT).
(sys-os.$(FASLEXT)): New rule.
(sys-utility.$(FASLEXT)): Require sys-os.$(FASLEXT).
* include/cfuns.h (oa_chdir): Declare.
(oa_unlink): Likewise.
(oa_rename): Likewise.
(oad_mkdir): Likewise.
|
|
(char_type): Likewise.
(int_type): Likewise.
(float_type): Likewise.
(double_type): Likewise.
(string_type): Likewise.
(pointer_type): Likewise.
(edit): Use them.
* interp/wi1.boot (ppFull): Tidy. Don't set *PRINT-DEPTH*.
* interp/vmlisp.lisp (gcmsg): Define when SBCL.
* interp/template.boot (measureCommon): Fix thinko.
* interp/sys-utility.boot: Move basic type definition from
g-util.boot to here.
* interp/g-util.boot (augProplistOf): Fix signature declaration.
* interp/daase.lisp: Tidy.
* interp/c-util.boot (displayComp): Remove assignment to
$X,$M,$F.
* interp/boot-pkg.lisp: Tidy.
* interp/axext_l.lisp: Likewise.
* interp/Makefile.pamphlet (makeint.lisp): Call GBC only when GCL.
($(axiom_targetdir)/algebra/exposed.$(FASLEXT)): Tidy.
(patches.$(FASLEXT)): Require debug.$(FASLEXT), g-timer.$(FASLEXT).
(wi2.$(FASLEXT)): Require define.$(FASLEXT).
(spad.$(FASLEXT)): Require postpar.$(FASLEXT), debug.$(FASLEXT).
* boot/translator.boot (genImportDeclaration): Include translation
for SBCL.
* boot/parser.boot (bpMapping): Tidy.
* boot/ast.boot (coreSymbol): New.
(bootSymbol): Likewise.
(bootSymbol): Likewise.
* lisp/core.lisp.in (|$NativeTypeTable|): New. Export.
* algebra/Makefile.pamphlet (COMPILE_LISP): Use $(INTERPSYS).
* algebra/exposed.lsp.pamphlet: Tidy.
|
|
($(axiom_target_libdir)/libspad.la): Likewise.
|
|
it is always built into libopen-axiom-core.
src/
* include/cfuns.h (findString): Rename from include/cfuns-c.H1.
Make DLL-aware.
* include/open-axiom.h: New.
* include/sockio.h: Make DLL-aware.
* include/bsdsignal.H1: Fold content into include/bsdsignal.h.
Remove.
* lib/bsdsignal.c: Don't include bsdsignal.H1
* lib/fnct_key.c: Likewise.
* lib/sockio-c.c: Likewise.
* lib/Makefile.in (other_SOURCES): Remove.
(other_objects): Likewise.
(pamphlets): Likewise.
(clean-local): Don't remove source files.
(libopen_axiom_core_la_SOURCES): New.
(libopen_axiom_core_la_objects): Likewise.
(stamp): Require $(axiom_target_libdir)/libopen-axiom-core.la too.
* graph/view2D/main2d.c: Likewise.
* clef/edible.c: Likewise.
* graph/view3D/main3d.c: Likewise.
* graph/view3D/testcol.c: Likewise.
* graph/viewman/sselect.c: Likewise.
* graph/viewman/viewman.c: Likewise.
* hyper/htinp.c: Likewise.
* hyper/hyper.c: Likewise.
* hyper/spadbuf.c: Likewise.
* hyper/spadint.c: Likewise.
* sman/session.c: Likewise.
* sman/sman.c: Likewise.
* sman/spadclient.c: Likewise.
|
|
conditionally define as local function. Update cached Lisp
translation.
|
|
|
|
* interp/Makefile.pamphlet: Adjust.
|
|
* include/addfile.H1: Move external declarations into
addfile.h. Remove.
|
|
|
|
types.
|
|
instantiations representations in interactive environments.
* interp/i-eval.boot (evaluateFormAsType): New.
(evaluateType): Use it.
(evaluateType1): Tidy.
* interp/i-output.boot (output): Tidy.
* interp/i-object.boot ($genValue): Define here.
* interp/sys-dirver.boot ($verbose): Rename from
$verboseInterpreter.
* interp/i-map.boot (genMapCode): Propagate $verbose renaming.
* interp/slam.boot (compileRecurrenceRelation): Likewise.
|
|
parse form that are not type instantiations.
* interp/i-coerce.boot (coerceInt1): Likewise.
* interp/i-intern.boot (mkAtree3): Likewise.
(collectDefTypesAndPreds): Likewise.
* interp/i-map.boot (args2Tuple): Likewise.
(makePattern): Likewise.
(canMakeTuple): Likewise.
(makeRuleForm): Likewise.
(numArgs): Likewise.
(combineMapParts): Likewise.
(mkMapPred): Likewise.
(findLocalVars1): Likewise.
* interp/i-output.boot (outputTran): Likewise.
* interp/i-spec1.boot ($specialOps): Likewise.
(evalUntargetedADEF): Likewise.
(upDeclare): Likewise.
(declare): Likewise.
* interp/i-spec2.boot (upDollarTuple): Likewise.
(upLET): Likewise.
(isTupleForm): Remove.
(uptuple): Rename from upTuple.
(upLETWithFormOnLhs): Use "tuple" for parse forms that are not
type instantiations.
* interp/i-syscmd.boot (displayMacro): Likewise.
* interp/pf2atree.boot (pf2Atree1): Likewise.
* interp/pf2sex.boot (pf2Sex1): Likewise.
(pfApplication2Sex): Likewise.
(pfCollectArgTran): Likewise.
* interp/ptrees.boot (pfTuple): Likewise.
(pfTuple?): Likewise.
|
|
(|resetErrorCount|): New export function.
* interp/vmlisp.lisp (opOf): Remove macro definition.
* interp/msg.boot (setMsgCatlessAttr): Fix thinko.
* interp/monitor.lisp (monitor-add): Remove extra right parenthesis.
* interp/lisplib.boot: Import "debug".
(initializeLisplib): Don't use ERRORS variable.
* interp/i-spec1.boot (isDomainValuedVariable): Tidy.
* interp/i-output.boot (outputTran): Use SIZE instead of #.
(output): Remove misguided conversion from Tuple to List.
* interp/i-coerce.boot (coerceInteractive): Allow domain object
convesions.
* interp/g-util.boot (opOf): Declare.
* interp/Makefile.pamphlet (lisplib.$(FASLEXT)): Depend on
debug.$(FASLEXT).
* algebra/Makefile.pamphlet: Use .$(FASLEXT) instead of hardcoded
.o extension.
|