Age | Commit message (Collapse) | Author | Files | Lines |
|
* interp/category.boot: Import "g-cndata"
* interp/c-util.boot: Import "g-opt".
* interp/Makefile.pamphlet: Adjust Make rules.
|
|
(eqSubst): Likewise.
(replaceSimpleFunctions): Handle XLAM-replaceable functions.
* interp/wi1.boot (pairList): Remove duplicate.
|
|
syntax domains.
|
|
|
|
* 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.
|
|
* 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.
|
|
* algebra/syntax.spad.pamphlet (SpadSyntaxCategory): Add
pretty-printer.
(HeadAst): Use Identifier.
(TypeAst,MappingAst,ImportAst,SignatureAst,AttributeAst,JoinAst,
IfAst,RepeatAst,WhileAst,InAst,CollectAst,ConstructAst,
ExitAst,ReturnAst,SequenceAst,LetAst,PretendAst,CoerceAst,
RestrictAst,CallAst,SegmentAst): New domains.
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add
TYPEAST, IMPTAST, MAPPAST, ATTRAST, JOINAST, IFAST, RPTAST
WHILEAST, INAST, CLLCAST, LSTAST, EXITAST, RETAST, SEGAST,
PRTDAST, CRCAST, LETAST.
* share/algebra: Update databases.
|
|
(Identifier): Likewise.
(Signature): Tidy.
* algebra/exposed.lsp.pamphlet: Expose IDENT and LITERAL.
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add
LITERAL and IDENT.
(user-stamp): Don't depend directly on bootstrap-stamp.
* share/algebra/: Update databases.
|
|
(|spadHash|): Likewise.
(|$internalHistoryTable|): Don't define here.
(|isBpiOrLambda|): Remove.
(|libraryFileLists|): Likewise.
(|normalizeArgFileName|): Likewise.
(save-system) [LUCID]: Likewise.
(|undoINITIALIZE|): Likewise.
(|isLowerCaseLetter|): Don't define here.
(|isUpperCaseLetter|): Likewise.
(|isLetter|): Likewise.
(printCopyright): Remove.
(user-homedir-pathname): Likewise.
(BUMPCOMPERRORCOUNT): Likewise.
(|cpCms|): Likewise.
(|normalizeTimeAndStringify|): Likewise.
(whocalled): Likewise.
(|compressHashTable|): Likewise.
(SETLETPRINTFLAG): Don't define here.
(RESTART0): Move to sys-driver.boot
* interp/g-util.boot (charRangeTest): Remove.
|
|
* interp/Makefile.pamphlet (OBJS): Don't include obey.$(FASLEXT).
* interp/br-data.boot: Replace OBEY with runCommand.
* interp/br-saturn.boot: Likewise.
* interp/br-search.boot: Likewise.
* interp/c-doc.boot: Likewise.
* interp/compat.boot: Likewise.
* interp/debug.lisp: Likewise.
* interp/g-util.boot: Likewise.
* interp/ht-root.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/patches.lisp: Likewise.
* interp/spad.lisp: Likewise.
* interp/util.lisp: Likewise.
* interp/vmlisp.lisp: Likewise.
|
|
(nruntime.$(FASLEXT)): Remove rule.
* interp/g-util.boot (getShellEntry): Move from interp/nruntime.boot.
(setShellEntry): Likewise.
* interp/i-util.boot (devaluateDeeply): Likewise.
* interp/lisplib.boot (unloadOneConstructor): Likewise.
* interp/nrungo.boot (lookupDisplay): Likewise.
(isIntantiated): Likewise
* interp/package.boot (isCategoryPackageName): Likewise.
* interp/nruntime.boot: Remove.
|
|
Update all boot files to use `namespace' instead of `)package'.
* interp/: Likewise.
|
|
* 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.
|
|
* interp/br-util.boot: Likewise.
* interp/c-doc.boot: Likewise.
* interp/cattable.boot: Likewise.
* interp/clammed.boot: Likewise.
* interp/define.boot: Likewise.
* interp/g-cndata.boot: Likewise.
* interp/g-util.boot: Likewise.
* interp/ht-util.boot: Likewise.
* interp/i-map.boot: Likewise.
* interp/modemap.boot: Likewise.
* interp/nrungo.boot: Likewise.
* interp/rulesets.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/i-spec1.boot: Likewise.
* interp/Makefile.pamphlet (br-util.$(FASLEXT)): Don't compile as
Old Boot.
(bc-solve.$(FASLEXT)): Likewise.
(ht-util.$(FASLEXT)): Likewise.
(rulesets.$(FASLEXT)): Likewise.
(i-object.$(FASLEXT)): Likewise.
(i-util.$(FASLEXT)): Likewise.
(nrunfast.$(FASLEXT)): Likewise.
(nrungo.$(FASLEXT)): Likewise.
(iterator.$(FASLEXT)): Likewise.
(cattable.$(FASLEXT)): Likewise.
(c-doc.$(FASLEXT)): Likewise.
(posit.$(FASLEXT)): Likewise.
(modemap.$(FASLEXT)): Likewise.
(slam.$(FASLEXT)): Likewise.
(clammed.$(FASLEXT)): Likewise.
(g-opt.$(FASLEXT)): Likewise.
(g-error.$(FASLEXT)): Likewise.
(pathname.$(FASLEXT)): Likewise.
(g-util.$(FASLEXT)): Likewise.
(g-cndata.$(FASLEXT)): Likewise.
* boot/tokens.boot: Remove renaming of NOT to NULL, when compiling
Old Boot.
|
|
|
|
|
|
* interp/br-data.boot: Likewise.
* interp/br-op1.boot: Likewise.
* interp/br-prof.boot: Likewise.
* interp/br-search.boot: Likewise.
* interp/br-util.boot: Likewise.
* interp/cattable.boot: Likewise.
* interp/daase.lisp: Likewise.
* interp/g-util.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/nrunopt.boot: Likewise.
|
|
|
|
(MAKE-OUTSTREAM): Supersede existing files.
* interp/template.boot (makeTemplate): Use newDomainShell instead
of GETREFV.
(extendVectorSize): Likewise.
(mkSigPredVectors): Likewise.
(list2LongerVec): Likewise.
(measure): Remove.
(measureCommon): Likewise.
* interp/sys-utility.boot (loadNativeModule): New.
* interp/sys-os.boot: Import "cfuns" and "sockio".
(runProgram): New.
* interp/sys-globals.boot (/SOURCEFILES): Define here.
(/SPACELIST): Likewise.
* interp/sys-driver.boot ($OpenAxiomCoreModuleLoaded): New global
variable.
(AxiomCore::%sysInit): Load libopen-axiom-core if necessary.
($defaultMsgDatabaseName): Define here.
* interp/spad.lisp (|New,ENTRY,1|): Tidy.
* interp/sockio.lisp: Move import declarations to sys-os.boot.
Remove unused codes.
* interp/server.boot (serverReadLine): Use coreQuit instead of BYE.
* interp/pspad1.boot (formatMDEF): Tidy.
* interp/pspad2.boot (formatIf1): Tidy.
* interp/patches.lisp: Import "sys-driver". Remove
$CURRENT-DIRECTORY.
* interp/nruncomp.boot (buildFunctor): Use newDomainShell instead
of GETREFV.
* interp/nrunopt.boot (makeDomainTemplate): Likewise.
* interp/package.boot (processFunctorOrPackage): Likewise.
* interp/nlib.lisp (rdefiostream): Tidy.
* interp/monitor.lisp (monitor-autoload): Define when GCL.
* interp/interop.boot (oldAxiomCategoryDevaluate): Tidy.
* interp/i-toplev.boot (start): Don't set $CURRENT-DIRECTORY.
* interp/i-syscmd.boot (close): Use newDomainShell.
(leaveScratchpad): Use coreQuit instead of BYE.
(compileAsharpArchiveCmd): Use GET-CURRENT-DIRECTORY.
* interp/g-util.boot (newDomainShell): Define.
* interp/functor.boot (NewbFVectorCopy): Use newDomainShell.
* interp/daase.lisp (asharp): Use runProgram.
* interp/cfuns.lisp: Remove unused codes.
(directoryp): Move import declaration to sys-os.bot.
(writeablep): Likewise.
* interp/buildom.boot (Record0): Use newDomainShell instead of
GETREFV.
(coerceRe2E): Likewise.
(Union): Likewise.
(Mapping): Likewise.
(Enumeration): Likewise.
* interp/category.boot (mkCategory): Likewise.
* interp/Makefile.pamphlet (patches.$(FASLEXT)): Require
sys-driver.$(FASLEXT).
(sys-os.$(FASLEXT)): Require cfuns.$(FASLEXT), sockio.$(FASLEXT).
* algebra/view2D.spad.pamphlet: Use $ViewportServer instead of
VIEWPORTSERVER. Use sockSendInt instead of SOCK-SEND-INT.
Use sockSendFloat instead of SEND-SEND-FLOAT. Use sockSendString
instead of SOCK-SEND-STRING. Use sockGetInt instead of
SOCK-GET-INT. Use sockGetFloat instead of SOCK-SEND-FLOAT.
* algebra/view3D.spad.pamphlet: Likewise.
* interp/util.lisp (fe): Remove.
(fc): Likewise.
(interp-make-directory): Simplify.
(OLD-BOOT::BOOT): Don't declare *PRINT-PRETTY* and *PRINT-LENGTH*
special.
|
|
* interp/spaderror.lisp (|$quitTag|): Define as constant.
(|$numericFailure|): Likewise.
* interp/spad.lisp: Import "postpar" and "debug".
($): Remove toplevel assignment.
(|traceComp|): Tidy.
(/FLAG): Remove.
(*PROMPT*): Remove.
(|New,ENTRY,1|): Don't declare it. Tidy.
(|New,ENTRY,2|): Fix typo.
* interp/sfsfun-l.lisp (rbesselj): Remove extraneous right
parenthesis.
(rbesseli): Likewise.
* interp/patches.lisp: Import "sockio" instead of "debug"
(|$useInternalHistoryTable|): Don't define here.
(user::start): Remove.
(/RF-1): Declare ECHO-META special.
(READSPADEXPR): Declare IN-STREAM special.
(|$ViewportProcessToWatch|): Declare.
(echo-meta): Don't set here.
* interp/packtran.boot (rePackageTran): Tidy.
* interp/nspadaux.lisp (|$underscoreChar|): Define.
(|$markChoices|): Likewise.
(|$convert2NewCompiler|): Likewise.
(|$AnalyzeOnly|): Likewise.
(|$categoryPart|): Likewise.
(|$insideCAPSULE|): Likewise.
(|$insideEXPORTS|): Likewise.
(|$originalSignature|): Likewise.
(|$insideDEF|): Likewise.
(|$insideTypeExpression|): Likewise.
(|$spadTightList|): Likewise.
(|$PerCentVariableList|): Likewise.
* interp/nrunopt.boot (augmentPredCode): Fix typo.
* interp/nlib.lisp (*LISP-BIN-FILETYPE*): Remove.
(recompile-lib-file-if-necessary): Use $faslType. Unconditionally
define.
* interp/lisplib.boot (compDefineLisplib): Tidy.
* interp/interop.boot (SExprToDName): Tidy.
(oldAxiomPreCategoryDevaluate): Likewise.
(hashNewLookupInCategories): Likewise.
* interp/g-util.boot (get): Adjust return type.
(get0): Likewise.
(get1): Likewise.
(get2): Likewise.
* interp/foam_l.lisp: Tidy.
* interp/define.boot (maybeInsertViewMorphisms): Fix typo.
* interp/debug.lisp (/breakcondition): Declare.
* interp/sys-utility.boot (getSystemModulePath): New.
* interp/daase.lisp (|with|): Remove
(|library|): Move i-syscmd.boot
(initial-getdatabase): Use getSystemModulePath.
(getdatabase): Likewise.
(addoperations): Don't reference package LISP.
(localdatabase): Likewise.
(write-interpdb): Don't declare *print-prett* special.
(write-browsedb): Likewise.
(write-categorydb): 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.
|
|
(|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.
|
|
(sys-utility.$(FASLEXT)): New rule.
* interp/sys-utility.boot: New.
* interp/macros.lisp (|functionp|): Move to sys-utility.boot.
(|macrop|): Likewise.
(|delete|): Likewise.
(CONTAINED, contained\,eq, contained\,equal): Likewise.
(ASSOCLEFT): Likewise.
(ASSOCRIGHT): Likewise.
(ADDASSOC): Likewise.
(DELLASOS): Likewise.
(LASSOC): Likewise.
(|rassoc|): Likewise.
|
|
* boot/ast.boot (bfUntuple): New.
(bfTagged): Toplevel tags are signatures.
* boot/parser.boot (bpTyping): New.
(bpTagged): Use it.
* boot/translator.boot (genDeclaration): New.
(bpOutItem): Use it.
* interp/compiler.boot: Add type annotations for compiler routines.
* lisp/Makefile.in ($(OUT)/lisp$(EXEEXT)): Don't turn on emit-fn.
|
|
(compSymbol): Use condition type view for non Union objects.
(getUniqueCaseView): New. Subroutine of compSymbol.
(compForm2): Don't infer type for flag parameter through
unique compilcation.
(checkCallingConvention): New.
(compileQuasiquote): coerce, don't convert.
(compCase1): Handle non Union type object through modemap
selection.
(maybeSpliceMode): New. Subroutine of compCase1.
Register special form compiler with their names, not pointers.
* define.boot (candidateSignatures): New.
(hasSigInTargetCategory): Use it. Tidy.
(checkAndDeclare): Use isQuasiquote.
(spadCompileorSetq): Rename non atomic parameters before calling
LISP compiler.
* g-util.boot (quasiquote): New.
(isQuasiquote): Likewise.
* i-intern.boot (flagArguments): New.
(signatureFromModemap): Likewise.
(mkAtree3): Use them. Handle functions taking flag arguments.
* i-object.boot (getFlagArgsPos): New.
* i-spec1.boot (userDefinedCase): Now prepare form and hands back
to bottomUp.
(upcase): Adjust call to userDefinedCase.
* modemap.boot (addDomain): Don't add flag domains to the
environment.
* nruncomp.boot (NRTencode): Handle flag values.
(NRTgetLocalIndex1): Likewise.
* nrunfast.boot (lazyMatch): Likewise.
(newExpandLocalTypeForm): Likewise.
* sys-constants.boot ($DummyFunctorNames): Include quasiquote
constructor.
* template.boot (NRTaddInner): Handle flag values.
|
|
($createLocalLibDb): Likewise.
* clam.boot ($hashNode): Likewise.
* comp.lisp (|$compileDontDefineFunctions|): Likewise.
* compiler.boot ($compileOnlyCertainItems): Likewise.
* database.boot ($globalExposureGroupAlist): Likewise.
* define.boot ($newCompCompare): Likewise.
* format.boot ($permitWhere): Likewise.
* g-boot.boot ($inDefLET): Likewise.
($inDefIS): Likewise.
($letGenVarCounter): Likewise.
($isGenVarCounter): Likewise.
* g-error.boot ($ReadingFile): Likewise.
(handleLispBreakLoop): Remove special case on $cclSystem.
* g-timer.boot (computeElapsedTime): Likewise.
* g-util.boot ($interpOnly): Move from setq.lisp to here.
* i-funsel.boot ($domPvar): Likewise.
* i-object.boot ($immediateDataSymbol): Likewise.
* i-output.boot ($algebraOutputStream): Likewise.
(ERROROUTSTREAM): Likewise.
(ERRORINSTREAM): Likewise.
* i-spec2.boot ($InterpreterMacroAlist): Likewise.
* i-syscmd.boot ($NonNullStream): Likewise.
($NullStream): Likewise.
($localExposureDataDefault): Likewise.
($localExposureData): Likewise.
* lisplib.boot ($functionLocations): Likewise.
* msgdb.boot ($testingSystem): Likewise.
* nlib.lisp (get-directory-list): Tidy.
* nruncomp.boot ($devaluateList): Move from setq.lisp to here.
($functorLocalParameters): Likewise.
($insideCategoryPackageIfTrue): Likewise.
($profileCompiler): Likewise.
* nrunfast.boot ($doNotCompressHashTableIfTrue): Likewise.
* nrungo.boot ($insideCompileBodyIfTrue): Likewise.
* setvars.boot ($InitialCommandSynonymAlist): Likewise.
($CommandSynonymAlist): Likewise.
(setOutputLibrary): Simplify.
* spad.lisp (|$newCompCompare|): Don't set here.
(|$compileOnlyCertainItems|): Likewise.
* sys-constants.boot ($BasicPredicates): Include SYMBOLP.
($TriangleVariableList): Move from setq.lisp to here.
($Any): Likewise.
($Boolean): Likewise.
($SingleInteger): Likewise.
($QuotientField): Likewise.
($ComplexInteger): Likewise.
($OutputForm): Likewise.
($FunctionalExpression): Likewise.
($Expression): Likewise.
($AnonymousFunction): Likewise.
* sys-globals.boot (INPUT_-LIBRARIES): Likewise.
(OUTPUT_-LIBRARY): Likewise.
($newConlist): Likewise.
($compilingInputFile): Likewise.
($minivectorNames): Likewise.
|
|
(<<define.clisp>>): Remove.
* c-util.boot (CONTINUE): Comment out.
* define.boot.pamphlet: Push into package "BOOT". Fix syntax.
* i-intern.boot.pamphlet (put): Move to g-util.boot
(get): Likewise.
(get0): Likewise.
(get1): Likewise.
(get2): Likewise.
* setq.lisp (/EDITFILE): Don't set here. Define it in
sys-globals.boot.
(NRTPARSE): Don't set here. Define in define.boot.
|
|
(<<category.clisp>>): Remove.
* category.boot.pamphlet: Push into package "BOOT".
Replace ASSOC with assoc throughout.
(mkCategory): Fix syntax.
* i-coerce.boot.pamphlet (stripUnionTags): Move to g-util.boot.
(isTaggeUnion): Likewise.
(getUnionOrRecordTags): Likewise.
* i-util.boot.pamphlet (wrap): Move to i-object.boot.
(isWrapped): Likewise.
(unwrap): Likewise.
(wrapped2Quote): Likewise.
(quote2Wrapped): Likewise.
(removeQuote): Likewise.
(TruthP): Move to g-util.boot.
|
|
before printing.
|
|
|
|
* i-funsel.boot.pamphlet (getFunctionFromDomain): Likewise.
* interop.boot.pamphlet (devaluate): Remove.
(isDomain): Likewise.
(NRTcompiledLookup): Likewise.
(compiledLookup): Likewise.
(basicLookup): Likewise.
(lookupInDomainVector): Likewise.
(lookupComplete): Likewise.
(lookupIncomplete): Likewise.
(lookupInCompactTable): Likewise.
(lazyMatchArg2): Likewise.
(getOpCode): Likewise.
(newExpandLocalType): Likewise.
(replaceGoGetSlot): Likewise.
(lazyMatchAssocV): Likewise.
(lazyDomainSet): Likewise.
(evalSlotDomain): Likewise.
(domainEqual): Likewise.
(coerceConvertMmSelection): Likewise.
(getFunctionFromDomain): Likewise.
|
|
|
|
|
|
|