Age | Commit message (Collapse) | Author | Files | Lines |
|
(firstBlankPosition): Likewis.
* boot/translator.boot (reallyPrettyPrint): New.
(genOptimizeOptions): Use it.
(evalBootFile): Tidy.
(shoePPtoFile): Remove as deadcode.
(shoeAddbootIfNec): Rewrite.
(shoeAddStringIfNec): Remove.
* boot/scanner.boot (shoeNextLine): Use firstNonblankPosition.
(shoeEsc): Likewise.
(shoePossFloat): Likewise.
* boot/initial-env.lisp ($IEEE): Remove.
(*LISP-BIN-FILETYPE*): Likewise.
(*LISP-SOURCE-FILETYPE*): Likewise.
(SHOEPRETTYPRINT1): Likewise,
(REALLYPRETTYPRINT): Likewise.
(SHOENOPRETTYPRINT): Likewise.
(STRPOS): Likewise.
(STRPOSL): Likewise.
(shoeReadLisp): Likewise.
|
|
(mkUsersHashTable): Likewise.
(mkDependentsHashTable): Likewise.
(domainsOf): Likewise.
* interp/br-op1.boot (dbShowOpAllDomains): Likewise.
* interp/cattable.boot (showCategoryTable): Likewise.
(displayCategoryTable): Likewise.
(simpTempCategoryTable): Likewise.
(simpCategoryTable): Likewise.
(genTempCategoryTable): Likewise.
(compressHashTable): Likewise.
(updateCategoryTableForCategory): Likewise.
(clearTempCategoryTable): Likewise.
* interp/clam.boot (displayHashtable): Likewise.
(reportHashCacheStats): Likewise.
(reportInstantiations): Likewise.
(globalHashtableStats): Likewise.
* interp/guess.boot (buildWordTable): Likewise.
* interp/i-syscmd.boot (writify): Likewise.
* interp/scan.boot (scanDictCons): Likewise.
(scanPunCons): Likewise.
* interp/slam.boot (hashCount): Likewise.
* interp/topics.boot (mkTopicHashTable): Likewise.
(addTopic2Documentation): Likewise.
(topics): Likewise.
(listOfTopics): Likewise.
* interp/word.boot (buildWordTable): Likewise.
(writeFunctionTables): Likewise.
(bootSearch): Likewise.
|
|
(bfExpandTableIters): Use it.
* boot/initial-env.lisp (HKEYS): Remove.
* boot/tokens.boot (shoeDictCons): Iterate directly over shoeKeyTable.
(shoePunCons): Likewise.
* boot/translator.boot (shoeReport): Iterate directly over $bootUsed.
(shoeXReport): Likewise.
|
|
(bfIterateTable): New.
(separateIterators): Likewise.
(bfExpandTableIters): Likewise.
(bfLp1): Use them.
|
|
* algebra/routines.spad.pamphlet: Likewise.
* algebra/functions.spad.pamphlet: Likewise.
* algebra/tools.spad.pamphlet: Likewise.
* algebra/cont.spad.pamphlet: Likewise.
* algebra/fortran.spad.pamphlet: Likewise.
* algebra/fortmac.spad.pamphlet: Likewise.
* algebra/fortpak.spad.pamphlet: Likewise.
|
|
* algebra/c02.spad.pamphlet: Likewise.
* algebra/c05.spad.pamphlet: Likewise.
* algebra/c06.spad.pamphlet: Likewise.
* algebra/d01.spad.pamphlet: Likewise.
* algebra/d02.spad.pamphlet: Likewise.
* algebra/d03.spad.pamphlet: Likewise.
* algebra/e01.spad.pamphlet: Likewise.
* algebra/e02.spad.pamphlet: Likewise.
* algebra/e04.spad.pamphlet: Likewise.
* algebra/f01.spad.pamphlet: Likewise.
* algebra/f02.spad.pamphlet: Likewise.
* algebra/f04.spad.pamphlet: Likewise.
* algebra/f07.spad.pamphlet: Likewise.
* algebra/s.spad.pamphlet: Likewise.
* algebra/d01Package.spad.pamphlet: Likewise.
* algebra/d02Package.spad.pamphlet: Likewise.
* algebra/d03Package.spad.pamphlet: Likewise.
* algebra/e04Package.spad.pamphlet: Likewise.
* algebra/d01agents.spad.pamphlet: Likewise.
* algebra/d01routine.spad.pamphlet: Likewise.
* algebra/d01transform.spad.pamphlet: Likewise.
* algebra/d01weights.spad.pamphlet: Likewise.
* algebra/d02agents.spad.pamphlet: Likewise.
* algebra/d02routine.spad.pamphlet: Likewise.
* algebra/d03agents.spad.pamphlet: Likewise.
* algebra/d03routine.spad.pamphlet: Likewise.
* algebra/e04agents.spad.pamphlet: Likewise.
* algebra/e04routine.spad.pamphlet: Likewise.
|
|
* algebra/ffrac.as.pamphlet: Likewise.
* algebra/herm.as.pamphlet: Likewise.
* algebra/interval.as.pamphlet: Likewise.
* algebra/invnode.as.pamphlet: Likewise.
* algebra/invrender.as.pamphlet: Likewise.
* algebra/invtypes.as.pamphlet: Likewise.
* algebra/invutils.as.pamphlet: Likewise.
* algebra/iviews.as.pamphlet: Likewise.
* algebra/ndftip.as.pamphlet: Likewise.
* algebra/nepip.as.pamphlet: Likewise.
* algebra/noptip.as.pamphlet: Likewise.
* algebra/nqip.as.pamphlet: Likewise.
* algebra/nrc.as.pamphlet: Likewise.
* algebra/nsfip.as.pamphlet: Likewise.
|
|
CoercibleFrom String. Remove explicit coerce export.
* algebra/carten.spad.pamphlet (CartesianTensor): Remove explicit
coerce export. Add satisfaction of CoercibleFrom appropriate
domains.
* algebra/color.spad.pamphlet (Palette): Relace explicit coerce
export with CoercibleTo %.
* algebra/constant.spad.pamphlet (InnerAlgebraicNumber): Likewise.
* algebra/dpolcat.spad.pamphlet (DifferentialVariableCategory):
Likewise.
|
|
|
|
(libOpenAxiom_SOURCES): Include vm.cc
* utils/vm.cc: New.
* utils/vm.H: Likwise.
|
|
|
|
(extractCodeAndConstructTriple): Likewise.
* interp/g-opt.boot (optCall): Likewise.
($VMsideEffectFreeOperators): Include %function
* interp/lisp-backend.boot: Translate %function.
|
|
* interp/g-opt.boot (doInlineCall): Tidy one more time.
($VMsideEffectFreeOperators): Move %aplly to $simpleVMoperators.
(optLET): Remove as unused.
* interp/lisp-backend.boot (expandApply): New. Register as
expander for %apply forms.
* interp/define.boot (getXmode): New.
(displayMissingFunctions): Use it instead of getmode.
(compDefineCapsuleFunction): Likewise.
(addDomain): Likewise.
(getSignature): Likewise.
(compile): Likewise.
(compJoin): Likewise.
* interp/compiler.boot (comp3): Likewise.
(compWithMappingMode): Likewise.
(applyMapping): Generate %apply form.
(compApplication): Likewise.
(autoCoerceByModemap): Likewise.
(extractCodeAndConstructTriple): Handle %apply forms.
(setqSingle): For domain variables, put corresponding macro forms
in the environment.
* algebra/ore.spad.pamphlet (Automorphism): Define Rep as a constant.
Adjust; include explicit uses of rep and per.
|
|
* algebra/list.spad.pamphlet (IndexedList): Fold definition into
List. Remove.
* algebra/exposed.lsp.pamphlet: Don't expose ILIST.
* algebra/Makefile.in: Adjust.
|
|
(canInlineVarDefinition): Likewise.
|
|
(check-subtype): Likewise.
(check-union): Likewise.
(MAKE-REASONABLE): Move to diagnostic.boot. Rename.
(assert): Move to sys-macros.lisp.
* interp/g-opt.boot ($VMsideEffectFreeOperators): Include %retract
and %pullback.
(optRetract): Tidy.
(optPullback): New.
* interp/diagnostics.boot (makeReasonable): New.
(moanRetract): Likewise. Use it.
* interp/buildom.boot (mkNewUnionFunList): Simplify.
(mkUnionFunList): Likewise.
|
|
(optCall): Use it to implement inline functions.
($VMsideEffectFreeOperators): Include %apply and STRINGIMAGE.
($simpleVMoperators): STRINGIMAGE is promoted.
(canInlineVarDefinition): Tidy.
(optBind): Likewise.
|
|
(optCONDtail): Likewise.
|
|
(optIsub): Likewise.
(optIdec): New.
* algebra/string.spad.pamphlet (IndexedString): Fold definition
into String. Remove.
(Character): Tidy.
(CharacterClass): Likewise.
* algebra/exposed.lsp.pamphlet: Do not expose ISTRING.
|
|
CoercibleTo Symbol and CoercibleTo String properties.
* algebra/symbol.spad.pamphlet (Symbol): Make RetractableTo Identifier.
|
|
instead of coercion from Identifier to String.
|
|
convert from Identifier.
|
|
(builtinFunctorName?): Likewise.
(builtinConstructor?): Likewise.
(superType): Exit early if builtin functor or non-domain form.
* algebra/Makefile.in: Flesh out bootstrap dependencies.
|
|
* interp/database.boot (loadDBIfnecessary): Tidy.
* interp/clammed.boot (hasFileProperty): Remove as unused.
* interp/lisplib.boot (putFileProperty): Likewise.
(getLisplib): Likewise.
(getLisplibNoCache): Likewise.
(getFileProperty): Likewise.
(hasfilePropertyNoCache): Likewise.
(unInstantiate): Likewise.
(killNestedInstantiations): Likewise.
(isNestedInstantiations): Likewise.
(loadFunctor): Likewise.
(getLisplibVersion): Likewise.
(Operators): Likewise.
(compDefineLisplib): Don't LOCALDATABASE if building system algebra.
|
|
only if not bootstrapping.
(isFunctor): Tidy.
* interp/g-util.boot (superType): Tidy.
* interp/database.boot (getDualSignature): Rename from
getDualSignatureFromDB. Adjust callers.
* interp/c-util.boot (isKnownCategory): Remove.
(diagnoseUnknownType): Use isCategoryForm.
* interp/bootlex.lisp (GET-INTEGER-IN-RADIX): Use SPAD_SYNTAX_ERROR.
* interp/metalex.lisp (GET-STRING-TOKEN): Likewise.
* interp/parsing.lisp (MUST): Likewise.
* algebra/boolean.spad.pamphlet (Refrence) [coerce]: Bypass
conversion to Identifier.
* algebra/domain.spad.pamphlet (ContructorKind): Tidy.
|
|
* interp/lisplib.boot (writeDualSignature): New.
(finalizeLisplib): Likewise.
* interp/define.boot (compDefineCategory2): Compute dual signature.
(compDefineFunctor1): Likewise.
* interp/daase.lisp (LOCALNRLIB): Juts read dual signature info;
don't compute it.
|
|
with current instantiation.
* interp/c-util.boot (isSubset): Accept values of current
instantiation as values of the current domain.
|
|
bootstrapping: there is no much to import for now.
* interp/define.boot (getOperationAlist): Get the isFunctor
property directly.
(addDomain): Call isDomainForm.
|
|
|
|
dbConstructorModemap before compiling functor body.
|
|
(mkCategoryPackage): Category defaults are packages, not domains.
* interp/functor.boot (encodeFunctionName): Use current
constructor DB. First argument is now a DB. Adjust caller.
* algebra/domain.spad.pamphlet (DomainConstructo) [functorData]:
Use getInfovec.
|
|
* interp/daase.lisp (DATABASE) [LOAD-PATH]: New field.
(dbLoadPath): New accessor.
(INITIAL-GETDATABASE): Tidy.
* interp/database.boot: Use dbLoadPath and dbLoaded?.
* interp/lisplib.boot: Likewise.
* interp/nrunfast.boot: Likewise.
* interp/showimp.boot: Likewise.
* interp/br-util.boot (isLoaded?): Remove as unused.
|
|
* interp/functor.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/patches.lisp: Likewise.
* interp/sys-globals.boot: Likewise.
|
|
$lisplibFunctions.
* interp/lisplib.boot: Remove $lisplibOpAlist.
* interp/nruncomp.boot: Likewise.
|
|
|
|
(newLookupInCategories1): Remove.
(newLookupInCategories): Do not call it.
* interp/define.boot ($isOpPackageName): Remove.
(compDefinFunctor1): Do not emit slot1 database info for category
defaulta.
($lisplibSlot1): Remove.
* interp/lisplib.boot: Likewise.
(finalizeLisplib): Do not write slot1 info.
|
|
(finalizeLisplib): Use it. Write category bodies in generated
Lisp code file.
* interp/daase.lisp (GETDATABASE) [CONSTRUCTORCATEGORY]: Don't
bother with package and domain constructors.
* interp/database.boot (getConstructorCategory): Rename from
getConstructorCategoryFromDB. Reimplement, Adjusr callers.
|
|
ATTRIBUTES selectors anymore.
* interp/database.boot (getConstructorPredicates): Rename from
getConstructorPredicatesFromDB. Adjust callers.
(getConstructorAttributes): Rename from getConstructorAttributesFromDB.
Adjust callers.
|
|
(writePredicates): Likewise.
(finalizeLisplib): Use them.
* interp/daase.lisp (squeezeCopy): New,
Use it in place of SQUEEZE.
|
|
* interp/define.boot: Remove $lisplibAncestors.
|
|
* interp/define.boot: Likewise.
* interp/lisplib.boot: Likewise.
|
|
* include/xpm.h: Remove.
|
|
* interp/g-util.boot (superType): If domain is $ then use current
information.
* interp/daase.lisp: Tidy.
* interp/c-util.boot (extendsCategoryForm): Temporarily disable
uses of information not coming from on-the-fly category compilation.
* interp/br-data.boot (getParentsFor): Change first parameter to a DB.
Adjust callers.
* algebra/Makefile.in: Adjust dependencies.
|
|
initdb.daase before bootstrap.
|
|
(loadLibIfnecessary): Fold definition into loadIfNecessary.
(loadDB): New.
(writeAttributes): Likewise.
(finalizeLisplib): Use it.
* interp/daase.lisp (MAKE-DATABASES): Fix SQUEEZE snafu.
* interp/c-util.boot (extendsCategoryForm): Prefer existing
translation of category definition to re-evaluation on the fly.
|
|
(isDomainForm): Tidy.
(isFunctor): Likewise.
(compDefineExports): Remove as no longer used.
* interp/sys-utility.boot (loadExports): Likewise.
* interp/g-util.boot (get0, get1, get2): Tidy.
|
|
(finalizeLisplib): Use it.
|
|
of definition processing.
(compDefineFunctor1): Likewise.
* interp/daase.lisp (dbPrincipals): New accessor.
* interp/br-data.boot (getDefaultPackageClients): Fix thinko.
* interp/lisplib.boot (writeAncestors): New.
(finalizeLisplib): Use it
|
|
(finalizeLisplib): Don't call it.
|
|
(dbBeingMacro?): New accessor.
(GETDATABASE): Tidy.
|