Age | Commit message (Collapse) | Author | Files | Lines |
|
$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.
|
|
* interp/define.boot: Remove $lisplibAncestors.
|
|
* interp/define.boot: Likewise.
* interp/lisplib.boot: Likewise.
|
|
* 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.
|
|
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
|
|
* interp/define.boot (compDefineFunctor1): Tidy.
(compCapsuleInner): Add a DB first parameter. Adjust callers.
* interp/lisplib.boot (NRTgenInitialAttributeAlist): Likewise.
(simplifyAttributeAlist): Likewise.
* interp/nruncomp.boot (changeDirectoryInSlot1): Likewise.
(buildFunctor): Change first parameter to DB. Adjust caller.
|
|
argument. Adjust callers.
* interp/define.boot (NRTmakeCategoryAlist): Likewise.
* interp/functor.boot (ProcessCond): Likewise.
* interp/lisplib.boot (NRTgenFinalAttributeAlist): Likewise.
(predicateBitIndex): Likewise.
(predicateBitRef): Likewise.
(makePredicateBitVector): Likewise.
(transHasCode): Likewise.
|
|
*interp/interop.boot: Move OpenAxiom relevant code to define.boot
and nrunfast.boot. Remove.
|
|
($mutableDomains): Likewise.
* interp/database.boot (dbMutable?): Remove.
* interp/clam.boot (addToclam): Remove as unused.
* algebra/modmon.spad.pamphlet: Do not make MoMonic mutable.
* algebra/defaults.spad.pamphlet: Do not make RepeatedSquaring and
RepeatedDoubling, FiniteLinearAggregateSort mutable.
|
|
(dbNiladic?): Remove. Adjust users.
(WRITE-INTERP): Don't write NILADIC field.
|
|
callsers.
(evalAndSub): Likewise.
(augModmapsFromCategory): Likewise.
(genDomainView): Likewise.
(augModemapsFromCategoryRep): Remove as deadcode.
(genDomainOps): Lose first parameter. Adjust callers.
|
|
getConstructorModemapFromDB. Adjust callers.
|
|
niladicConstructorFromDB. Use getConstructorFormFromDB.
Adjust callers.
|
|
($lisplibForm): Likewise.
* interp/c-doc.boot (finalizeDocumentation): Take constructor's
name as parameter. Adjust callers.
* interp/lisplib.boot (compileDocumentation): Likewise.
(WriteKind): New.
(writeConstructorForm): Likewise.
(writeOperations): Likewise.
(WriteConstructorModemap): Likewise.
(finalizeLisplib): Use them.
|
|
(writeInfo): New.
(writeSuperDomain): Likewise.
(finalizeLisplib): Use it. Take constructor as argument.
* interp/define.boot ($lisplibSuperDomain): Remove. Adjust users.
($lisplibKind): Remove Adjust users.
(emitSubdomainInfo): Set dbSuperDomain.
(incompleteFunctorBody): Likewise.
* interp/daase.lisp: Add new database accessors.
(GETDATABASE): Fix handling of superDomain property.
* interp/br-util.boot (dbConstructorKind): Remove.
* interp/br-con.boot: Remove deadcode.
(dbShowCons1): Adjust.
* interp/br-saturn.boot (dbShowConsKinds): Likewise.
|
|
* interp/sys-driver.boot (initializeGlobalState): Don't set it.
* interp/define.boot (skipCategoryPackage?): Adjust.
(compDefineFunctor): Likewise.
(compDefineFunctor1): Likewise.
(incompleteFunctorBody): New.
(compFunctorBody): Use it.
|
|
* interp/daase.lisp (dbNiladic?): New. Use it to access niladic
property. of a constructor.
* interp/database.boot: Import daase.
(niladicContructorFromDB): Use it.
* interp/define.boot (compDefineCategory): Don't write
compilerInfo garbage.
(compDefineFunctor1): Likewise.
(compDefineCategory2): Set niladic property.
(compDefineFunctor): Likewise.
* interp/lisplib.boot (loadLib): Do not set niladic property. It
is now a side-effect of loading.
(loadLibNoUpdate): Do not check for version.
(makeConstructorAutoload): Do not set niladic property.
(initializeLisplib): Do not emit code to check version.
(mkCtorDBForm): New.
(writeNiladic?): Likewise.
(finalizeLisplib): Do not set niladic property.
* interp/patches.lisp: Remove deadcode.
* interp/sys-constants.boot (MAJOR-VERSION): Remove.
|
|
Adjust callers.
(mkOr2): Likewise.
(mkAnd): Likewise.
(mkAnd2): Likewise.
(FindFundAncs): Likewise.
(CatEval): Likewise.
(AncestorP): Likewise.
(CondAncestorP): Likewise.
(DescendantP): Likewise.
* interp/compiler.boot (compMapCond): Likewise.
(compMapCond'): Likewise.
* interp/define.boot (formatPred): Likewise.
(formatInfo): Likewise.
(addInfo): Likewise.
(knownPred): Likewise.
* interp/functor.boot (InvestigateConditions): Likewise.
(ICformat): Likewise.
|
|
define.boot. Remove.
* Makefile.in: Adjust dependencies.
|
|
categoryHierarchy. Adjust callers.
(categoryPrincipals): New.
(categoryAncestors): Likewise.
(categoryLocals): Likewise.
(categoryParameters): Likewise.
(extendsCategoryForm): Use them.
* interp/category.boot: Likewise.
* interp/cattable.boot: Likewise.
* interp/define.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/modemap.boot: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/database.boot (getCategoryAttributes): Remove.
(getPrincipalAncestors): Likewise.
(getCategoryParents): Likewise.
* algebra/domain.spad.pamphlet (Category): Adjust.
|
|
CategoryDefaults.
* interp/define.boot (processFunctor): Fold into caller. Remove.
* interp/clam.boot (recordInstantiation1): Do not special case
CategoryDefaults and RepeatedSquaring.
* interp/functor.boot (DescendCode): Lose last argument, for it is
always $. Adjust body. Adjust caller.
* interp/nruncomp.boot (buildFunctor): $catNames should not be a
fluid variable. Rename to viewNames.
|
|
mkDomainFomer, setVector5, mkVectorWithDeferral): Remove as dead
codes.
|
|
* interp/c-util.boot: Use vector instead of LIST2VEC.
* interp/define.boot: Likewise.
* interp/i-coerce.boot: Likewise.
* interp/i-coerfn.boot: Likewise.
* interp/i-funsel.boot: Likewise.
* interp/i-map.boot: Likewise.
* interp/i-special.boot: Likewise.
* interp/interop.boot: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/slam.boot: Likewise.
|
|
the base domain is a parameter.
* interp/g-util.boot (formalVarNumber): New.
* lisp/core.lisp.in (readIntegerIfCan): Likewise.
|
|
third argument too.
|
|
argument. Adjust caller.
(NRTextendsCategory1): Likewise.
(extendsCategory): Likewise.
(extendsCategoryBasic): Likewise.
(catExtendsCat?): Likewise.
|
|
* interp/category.boot (mkCategory): Use it.
* interp/define.boot (NRTgetLookupFunction): Tidy.
(catExtendsCat?): Lose last argument. Adjust callers.
|
|
|
|
|
|
extendsCategoryBasic. Remove.
|
|
|
|
builtin library functions.
* interp/br-util.boot: Use copyVector instead of COPY-SEQ.
* interp/category.boot: Likewise.
* interp/define.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/i-coerfn.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/newfort.boot: Likewise.
|
|
* interp/define.boot (hasFullSignature): Tidy.
|
|
|
|
binding for $lookupDefaults.
|
|
|
|
|
|
|
|
|
|
(instantiatorCtor, instantiatorArgs, categoryExports): New.
|
|
starting with the keyword "MACRO".
* boot/translator.boot (exportNames): Export them in all
evaluation contexts.
* interp/c-util.boot: "macro" is now a keyword.
* interp/define.boot: Likewise.
* interp/g-util.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/postpar.boot: Likewise.
|
|
|
|
|
|
* interp/c-util.boot (eqSubstAndCopy, eqSubst): Likewise. Adjust
callers.
|
|
* interp/c-util.boot: Likewise.
* interp/cattable.boot: Likewise.
* interp/compiler.boot: Likewise.
* interp/define.boot: Likewise.
* interp/format.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/hashcode.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/modemap.boot: Likewise.
* interp/rulesets.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/sys-macros.lisp (APPLYR, TAILFN, TAIL, rplac): Remove as
unused.
|
|
|
|
|
|
|
|
(applySubst): Likewise. Export.
* boot/ast.boot: Use it. Remove SUBLIS and SUBLISLIS.
* interp/ax.boot: Likewise.
* interp/br-con.boot: Likewise.
* interp/br-op1.boot: Likewise.
* interp/br-op2.boot: Likewise.
* interp/br-prof.boot: Likewise.
* interp/br-saturn.boot: Likewise.
* interp/buildom.boot: Likewise.
* interp/c-doc.boot: Likewise.
* interp/c-util.boot: Likewise.
* interp/cattable.boot: Likewise.
* interp/compiler.boot: Likewise.
|