Age | Commit message (Collapse) | Author | Files | Lines |
|
($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.
|
|
* interp/modemap.boot (knownInfo): Fix latent bug uncovered by
type declarations.
* boot/ast.boot: Remove type definitions.
(bfIN): Handle DOT as loop variable.
(bfON): Likewise. Allow a loop variable to iterator over its own
tails.
* boot/parser.boot (bfTyping): Simplify.
(bpSimpleMapping): Fix thinko.
|
|
* boot/initial-env.lisp (SETDIFFERNECE): Remove.
* boot/translator.boot (evalBootFile): Rename form EVAL-BOOT-FILE.
* boot/utility.boot (setDifference): Define.
* interp/unlisp.lisp (ListMemberQ?): Remove.
(ListRemoveQ): Likewise.
(AlistAssocQ): Likewise.
|
|
* boot/utility.boot (reverse!): Define.
* boot/parser.boot: Use reverse! instead of NREVERSE.
* boot/ast.boot: Generate reverse! forms instead of NREVERSE.
|
|
|
|
|
|
|
|
* interp/define.boot (orderBySubsumption): Fix thinko.
* interp/boot-pkg.lisp: Use BOOTTRAN package. Don't import names
individually.
* boot/utility.boot: New.
* boot/translator.boot (exportNames): Fix thinko.
* boot/tokens.boot: Add charEq? and scalarEq? builtiin functions.
* boot/ast.boot (bfMember): Generate call to symbolMember? for
membership tests for symbols.
|
|
|
|
|
|
|
|
|
|
|
|
* interp/br-con.boot: Likewise.
* interp/br-data.boot: Likewise.
* interp/br-prof.boot: Likewise.
* interp/br-util.boot: Likewise.
* interp/c-doc.boot: Likewise.
* interp/clammed.boot: Likewise.
* interp/database.boot: Likewise.
* interp/define.boot: Likewise.
* interp/format.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/g-cndata.boot: Likewise.
* interp/i-funsel.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/pspad1.boot: Likewise.
|
|
lisplib.boot, nruncomp.boot, showimp.boot. Delete.
|