aboutsummaryrefslogtreecommitdiff
path: root/src/interp/category.boot
AgeCommit message (Collapse)AuthorFilesLines
2016-01-30Tidy category predicate conjunction.Gabriel Dos Reis1-6/+4
2015-12-29Introduce '' for the slot number of the add-chain domain.Gabriel Dos Reis1-1/+1
2015-12-26Use brackets instead of Lisp LIST for sequence literals.Gabriel Dos Reis1-1/+1
2013-06-01Cache category objects some more.dos-reis1-61/+61
2013-06-01 * interp/category.boot (filterConditionalCategories): Fix thinko.dos-reis1-1/+2
2012-02-13 * interp/g-util.boot (stripTags): Rename from stripUnionTags.dos-reis1-1/+1
Adjust callers. * interp/database.boot (genericInstanceForm): New. * interp/buildom.boot (parentsOfBuiltinInstance): New. (builtinInstanceForm): Likewise. * interp/br-data.boot (genericParentsOf): New. (parentsOfForm): Use it, (ancestorsRecur): Likewise. * interp/br-con.boot (originInOrder): Use parentsOfForm.
2012-02-12 * algebra/coerce.spad.pamphlet (Type): Redefine as empty Join.dos-reis1-1/+2
* interp/category.boot (Join): Handle empty argument list.
2012-01-13 * interp/category.boot: Rename AncestorP to ancestor?.dos-reis1-14/+14
Rename DescendantP to descendant?. * interp/define.boot: Likewise. * interp/functor.boot: Likewise.
2011-11-18 * interp/category.boot (FindFundAncs): Tidy. Access input indos-reis1-18/+19
accordance with documented abstract structure.
2011-11-16 * interp/category.boot (mkCategory): Tidy.dos-reis1-44/+28
(SigListUnion): Likewise. The last argument is not a vector buffer. (JoinInner): Use a vector buffer for scratch space to compute the initial principal ancestor. Simplify copy logic. * interp/g-util.boot (mkBuffer): New. (bufferData): New. (buffeLength): Likewise. (resizeBuffer): Likewise. (bufferToVector): Likwise. * lisp/core.lisp.in (mkVector): New. Export.
2011-11-16 * interp/category.boot (JoinInner): Remove effective dead codedos-reis1-28/+2
controlled by originalvector which has non-changing value false.
2011-11-15 * interp/category.boot (JoinInner): Use idiomatic Boot for loops.dos-reis1-77/+65
2011-11-14 * interp/category.boot ($NewCatVec): Remove.dos-reis1-94/+93
(SigListUnion): Take the principal ancestor as third argument. Use it instead of $NewCatVec. Adjust caller. (JoinInner): Do not bind $NewCatVec. Introduce local variable principal. Tidy.
2011-11-14 * interp/category.boot (filterConditionalCategories): Split out ofdos-reis1-21/+34
JoinInner. (JoinInner): Call it.
2011-11-14 * interp/category.boot (SigListMember): Remove as deadcode.dos-reis1-24/+9
(SigEqual): Remove. (predicateImplies): Rename from PredImplies. Rework it to match documentation. Adjust callers. (CondAncestorP): Adjust arguments in call to predicateImplies. (JoinInner): Likewise.
2011-11-13 * interp/category.boot (JoinInner): Tidy.dos-reis1-28/+22
2011-10-02 * boot/utility.boot (objectAssoc): New. Export.dos-reis1-5/+5
* boot/ast.boot: Use it. instead of ASSOC. * boot/translator.boot (packageBody): Tidy. * interp/astr.boot: Use objectAssoc instead of ASSQ. * interp/br-con.boot: Likewise. * interp/br-op1.boot: Likewise. * interp/br-saturn.boot: Likewise. * interp/buildom.boot: Likewise. * interp/c-util.boot: Likewise. * interp/category.boot: Likewise. * interp/clam.boot: Likewise. * interp/compiler.boot: Likewise. * interp/define.boot: Likewise. * interp/functor.boot: Likewise. * interp/g-util.boot: Likewise. * interp/i-coerce.boot: Likewise. * interp/i-coerfn.boot: Likewise. * interp/i-funsel.boot: Likewise. * interp/i-object.boot: Likewise. * interp/i-output.boot: Likewise. * interp/i-resolv.boot: Likewise. * interp/i-special.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/i-util.boot: Likewise. * interp/int-top.boot: Likewise. * interp/lisplib.boot: Likewise. * interp/msg.boot: Likewise. * interp/posit.boot: Likewise. * interp/termrw.boot: Likewise. * interp/trace.boot: Likewise. * interp/sys-utility.boot (upwardCut): New. * interp/spad.lisp: Use it. * interp/util.lisp: Likewise. * interp/spaderror.lisp: Likewise. * interp/vmlisp.lisp (ASSEMBLE): Remove. (ASSQ): Likewise. (MEMQ): Likewise. (NAMEDERRSET): Likewise. (ORADDTEMPDEFS): Likewise. * interp/macros.lisp (QLASSQ): Move to vmlisp.lisp. (LASSQ): Remove.
2011-08-26 * interp/lisplib.boot (autoLoad): Lose first parameter. dos-reis1-4/+4
Adjust callers. (unloadOneConstructor): Likewise. * interp/category.boot (isCategoryForm): Rewrite. * interp/patches.lisp (mkAutoLoad): Move to lisplib.boot.
2011-08-19 * interp/category.boot (mkOr): Taken environment as parameter.dos-reis1-59/+59
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.
2011-08-18 * interp/c-util.boot: Use category accessors.dos-reis1-14/+10
* interp/category.boot: Likewise. * interp/modemap.boot: Likewise.
2011-08-18 * interp/c-util.boot (categoryAssociatedTypes): Rename fromdos-reis1-16/+19
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.
2011-08-08 * interp/c-util.boot (categoryHierarchy): New.dos-reis1-2/+2
* interp/category.boot (mkCategory): Use it. * interp/define.boot (NRTgetLookupFunction): Tidy. (catExtendsCat?): Lose last argument. Adjust callers.
2011-08-06cleanupdos-reis1-3/+3
2011-07-14 * interp/functor.boot (CategoryPrint): Move from category.boot.dos-reis1-22/+0
(DomainPrint1): Tidy. (PacPrint): Likewise. (DomainPrintSubst): Likewise.
2011-07-13 * boot/tokens.boot: copyString, copyTree, and copyVector are nowdos-reis1-2/+3
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.
2011-07-13 * interp/category.boot: Remove dead codes.dos-reis1-8/+0
* interp/define.boot (hasFullSignature): Tidy.
2011-07-10 * interp/c-util.boot (categoryExports): New.dos-reis1-22/+15
* interp/category.boot (mkCategory): Use it. (DropImplementations): Tidy.
2011-07-04 * interp/setvars.boot: Remove support for script formula.dos-reis1-3/+3
* interp/setvart.boot: Likewise. * interp/diagnostics.boot (sayBrightlyNT1): Move from macros.lisp. (sayBrightly1): Likewise. (sayBrightlyNT): Likewise. (sayBrightly): Likewise. (sayBrightlyI): Likewise. (sayMSG): Likewise. (sayTeX): Likewise. (sayMSG2File): Likewise. * interp/i-output.boot (formulaFormat): Remove. (output): Adjust. * interp/macros.lisp (sayMSGNT): Remove. (sayFORTRAN): Likewise. (sayFORMULA): Likewise. ($formulaOutputstream): Likewise. * interp/sys-globals.boot ($formulaOutputstream): Remove. * interp/spad.lisp ($formulaFormat): Remove. * algebra/exposed.lsp.pamphlet: Do not expose ScriptFormulaFormat and ScriptFormulaFormat1. * algebra/exposed.lsp.pamphlet: Remove.
2011-05-02cleanupdos-reis1-7/+7
2011-05-02 * interp/c-util.boot (categoryRef, domainRef, canonicalForm)dos-reis1-4/+4
(instantiatorCtor, instantiatorArgs, categoryExports): New.
2011-04-30 * More cleanupdos-reis1-1/+1
2011-04-30cleanupdos-reis1-15/+16
2011-04-23 * lisp/core.lisp.in: Export basic types and compiler data types.dos-reis1-7/+9
* 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.
2011-04-19more cleanupdos-reis1-18/+19
2011-04-19cleanupdos-reis1-5/+5
2011-04-19 * boot/tokens.boot: charUpcase, charDowncase, stringUpcase,dos-reis1-3/+3
singDowncase, valueEq? are new builtin functions. * boot/ast.boot (bfMembr): Tidy.
2011-04-17 * boot/tokens.boot: Translate maxIndex to MAXINDEX.dos-reis1-1/+1
2011-04-14cleanupdos-reis1-8/+7
2011-02-11some cleanupsdos-reis1-2/+1
2011-02-09 * interp/sys-constants.boot ($PrimitiveDomainNames): Remove.dos-reis1-3/+0
* interp/category.boot (mkCategory): Drop test for primitive domains.
2011-02-09More mkCategory cleanupdos-reis1-6/+7
2011-02-09 * interp/category.boot (mkCategory): Don't single out Listdos-reis1-1/+0
instantiations in determining NewLocals.
2011-02-08 * interp/category.boot(categoryObject?): Rename from isCategory. dos-reis1-3/+3
* interp/c-util.boot: Adjust use. * interp/functor.boot: Likewise. * interp/modemap.boot: Likewise.
2011-01-27Generate SVREF for simple vector slot refs.dos-reis1-1/+1
2010-12-19 * interp/vmlisp.lisp (VECP): Remove.dos-reis1-2/+2
(REFVECP): Likewise. (CVECP): Likewise. (QMEMQ): Likewise. * interp/bootlex.lisp (TRANSLABEL1): Adjust. * interp/br-search.boot: Likewise. * interp/br-util.boot: Likewise. * interp/c-doc.boot: Likewise. * interp/category.boot: Likewise. * interp/database.boot: Likewise. * interp/debug.lisp: Likewise. * interp/format.boot: Likewise. * interp/functor.boot: Likewise. * interp/g-cndata.boot: Likewise. * interp/g-util.boot: Likewise. * interp/ggreater.lisp: Likewise. * interp/guess.boot: Likewise. * interp/i-coerfn.boot: Likewise. * interp/i-map.boot: Likewise. * interp/i-output.boot: Likewise. * interp/i-resolv.boot: Likewise. * interp/i-spec2.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/interop.boot: Likewise. * interp/i-util.boot: Likewise. * interp/union.lisp: Likewise. * interp/trace.boot: Likewise. * interp/pspad2.boot: Likewise. * interp/pathname.boot: Likewise. * interp/nrunopt.boot: Likewise. * interp/nrunfast.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/newfort.boot: Likewise. * interp/msgdb.boot: Likewise. * interp/msg.boot: Likewise. * interp/match.boot: Likewise. * interp/word.boot: Likewise.
2010-07-18More cleanupsdos-reis1-2/+2
2010-07-03 * interp/category.boot (isCategoryForm): Tidy.dos-reis1-2/+4
* interp/compiler.boot (compMacro): Handle parameterized definition. * interp/define.boot (macroExpand): Likewise. (macroExpandList): Move case for niladic macros to macroExpand. * interp/g-util.boot (putMacro): New utility function.
2010-06-04 * interp/br-con.boot: More cleanup.dos-reis1-4/+4
* interp/br-op1.boot: Likewise. * interp/br-saturn.boot: Likewise. * interp/c-util.boot: Likewise. * interp/category.boot: Likewise. * interp/clam.boot: Likewise. * interp/database.boot: Likewise. * interp/functor.boot: Likewise. * interp/g-cndata.boot: Likewise. * interp/g-util.boot: Likewise. * interp/guess.boot: Likewise. * interp/i-coerce.boot: Likewise. * interp/i-funsel.boot: Likewise. * interp/i-intern.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/interop.boot: Likewise. * interp/newfort.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/nrunfast.boot: Likewise. * interp/nrunopt.boot: Likewise. * interp/setvars.boot: Likewise. * interp/slam.boot: Likewise. * interp/topics.boot: Likewise.
2010-05-17 * interp/as.boot: Clean up.dos-reis1-1/+1
* interp/br-util.boot: Likewise. * interp/category.boot: Likewise. * interp/compiler.boot: Likewise. * interp/define.boot: Likewise. * interp/modemap.boot: Likewise. * interp/wi2.boot: Likewise.
2010-05-09More cleanupsdos-reis1-1/+1
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-15 21:20:58 +0000