aboutsummaryrefslogtreecommitdiff
path: root/src/interp/c-util.boot
AgeCommit message (Collapse)AuthorFilesLines
2011-09-08 * interp/c-util.boot (builtinCategoryName?): Move to g-util.boot.dos-reis1-37/+0
(builtinFunctorName?): Likewise. (builtinConstructor?): Likewise. (superType): Exit early if builtin functor or non-domain form. * algebra/Makefile.in: Flesh out bootstrap dependencies.
2011-09-07 * interp/lisplib.boot (finalizeLisplib): Finalize documentaiondos-reis1-13/+1
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.
2011-09-07 * interp/nruncomp.boot (NRTaddInner): Use the dual signature.dos-reis1-2/+1
* 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.
2011-09-07 * interp/define.boot (compDefineFunctor1): Augment the envionmentdos-reis1-2/+4
with current instantiation. * interp/c-util.boot (isSubset): Accept values of current instantiation as values of the current domain.
2011-09-03 * interp/property.lisp: Remove unused codes.dos-reis1-7/+7
* 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.
2011-08-29 * interp/lisplib.boot (laodIfNecessaryAndExists): Remove as unused.dos-reis1-1/+8
(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.
2011-08-18 * interp/c-util.boot: Use category accessors.dos-reis1-2/+2
* interp/category.boot: Likewise. * interp/modemap.boot: Likewise.
2011-08-18 * interp/c-util.boot (categoryAssociatedTypes): Rename fromdos-reis1-8/+14
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-17 * interp/c-util.boot (categoryPrincipals): New.dos-reis1-0/+8
(categoryAncestors): Likewise. * interp/functor.boot (DescendCodeAdd): Tidy. (DescendCodeVarAdd): Fix thinko. Iterator over $domainShell. Don't pretend constants have ELT implementations. * interp/nruncomp.boot (buildFunctor): Tidy.
2011-08-15 * interp/g-opt.boot (optCollectVector): Generate VM forms.dos-reis1-9/+1
(optIinc): New. Register as new transformer. * interp/c-util.boot ($middleEndMacroList): Remove. (middleEndExpand): Don't check for Lisp-level macros anymore.
2011-08-13 * interp/c-util.boot (instantiationArgs): New.dos-reis1-1/+27
(domainDirectory): Likewise. (domainLookupFunction): Likewise. (domainOperatorTable): Likewise. (domainAttributes): Likewise. (domainPredicates): Likewise. (domainData): Likewise. * interp/buildom.boot: Use new domain accessors. * interp/functor.boot: Likewise. * interp/interop.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/nrunfast.boot: Likewise.
2011-08-12 * boot/ast.boot (shoeCompTran1): Translate extended vector-forms.dos-reis1-1/+1
* 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.
2011-08-08 * interp/c-util.boot (categoryHierarchy): New.dos-reis1-0/+4
* interp/category.boot (mkCategory): Use it. * interp/define.boot (NRTgetLookupFunction): Tidy. (catExtendsCat?): Lose last argument. Adjust callers.
2011-08-06cleanupdos-reis1-29/+31
2011-08-04cleanupdos-reis1-19/+19
2011-07-10 * interp/c-util.boot (categoryExports): New.dos-reis1-0/+4
* interp/category.boot (mkCategory): Use it. (DropImplementations): Tidy.
2011-07-04 * interp/vmlisp.lisp (PRINTEXP): Remove.dos-reis1-1/+1
* interp/br-data.boot: Use writeString, writeChar, and writeLine. * interp/c-util.boot: Likewise. * interp/diagnostics.boot: Likewise. * interp/fortcall.boot: Likewise. * interp/i-output.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/i-util.boot: Likewise. * interp/lisplib.boot: Likewise. * interp/msgdb.boot: Likewise. * interp/newfort.boot: Likewise. * interp/record.boot: Likewise. * interp/g-opt.boot ($VMsideEffectFreeOperators): Include %writeString, %writeNewline, %writeLine. * interp/lisp-backend.boot: Translate them.
2011-06-22 * interp/br-con.boot: Remove reference to asharp constructors.dos-reis1-1/+0
* interp/br-op2.boot: Likewise. * interp/br-saturn.boot: Likewise. * interp/br-util.boot: Likewise. * interp/c-util.boot: Likewise. * interp/cattable.boot: Likewise. * interp/database.boot: Likewise. * interp/lisplib.boot: Likewise. * interp/nrunfast.boot: Likewise.
2011-05-19more cleanupdos-reis1-2/+2
2011-05-19 * interp/buildom.boot (lookupInDomainVector): Establish a newdos-reis1-1/+1
binding for $lookupDefaults.
2011-05-15cleanupdos-reis1-3/+3
2011-05-02more cleanupsdos-reis1-0/+37
2011-05-02More cleanupsdos-reis1-0/+5
2011-05-02cleanupdos-reis1-2/+2
2011-05-02 * interp/c-util.boot (categoryRef, domainRef, canonicalForm)dos-reis1-2/+30
(instantiatorCtor, instantiatorArgs, categoryExports): New.
2011-05-02 * boot/parser.boot (bpDefinition): Accept macro definitiondos-reis1-1/+1
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.
2011-05-02more cleanupdos-reis1-11/+14
2011-05-01more cleanupsdos-reis1-2/+3
2011-05-01 * interp/vmlisp.lisp (EQSUBSTLIST): Remove.dos-reis1-12/+3
* interp/c-util.boot (eqSubstAndCopy, eqSubst): Likewise. Adjust callers.
2011-05-01 * interp/buildom.boot: Replace use of EQSUBSTLIST with applySubst.dos-reis1-1/+1
* 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.
2011-04-30 * More cleanupdos-reis1-2/+2
2011-04-30 * interp/vmlisp.lisp (NREMOVE): Remove.dos-reis1-1/+1
(EFFACE): Likewise. * interp/sys-utility.boot (remove!): New.
2011-04-30cleanupdos-reis1-3/+3
2011-04-29 * boot/utility.boot (assocSymbol): New.dos-reis1-2/+2
(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.
2011-04-27 * interp/br-util.boot (dbInfovec): Move to c-util.bootdos-reis1-1/+11
2011-04-23 * lisp/core.lisp.in: Export basic types and compiler data types.dos-reis1-13/+13
* 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-22more cleanupdos-reis1-5/+5
2011-04-22 * boot/utility.boot (copyList): Define.dos-reis1-2/+2
(append!): Likewise. * boot/tokens.boot: Do not translate nconc.
2011-04-21 * boot/tokens.boot: Don't rename nreverse.dos-reis1-6/+6
* boot/utility.boot (reverse!): Define. * boot/parser.boot: Use reverse! instead of NREVERSE. * boot/ast.boot: Generate reverse! forms instead of NREVERSE.
2011-04-20more cleanupdos-reis1-12/+12
2011-04-19more cleanupdos-reis1-11/+12
2011-04-19cleanupdos-reis1-2/+2
2011-04-18cleanupdos-reis1-1/+1
2011-04-17 * boot/tokens.boot: Translate maxIndex to MAXINDEX.dos-reis1-1/+1
2011-04-15misc cleanupdos-reis1-7/+7
2011-03-10 * interp/c-util.boot (equalFormTemplate): Tidy comparison of valuedos-reis1-1/+1
argument to constructors.
2011-03-10 * interp/c-util.boot (mutateArgumentList): New.dos-reis1-56/+51
(inlineDirectCall): Break out of replaceSimpleFunctions. (resolveIndirectCall): Break out of foldSpadcall. (replaceSimpleFunctions): Use them. (foldSpadcall): Remove. (usesVariablesLinearly?): Tidy. (foldExportedFunctionReferences): Don't call foldSpadcall.
2011-03-10 * interp/c-util.boot (resolveConstantForm): New. Split out ofdos-reis1-8/+13
replaceSimpleFunctions. (foldSpadcall): Use it too.
2011-03-02 * interp/i-eval.boot (mkEvalable): Exit early on niladic constructors.dos-reis1-3/+4
* interp/define.boot (compDefineFunctor1): If bootstrapping, mark functor as incomplete. * interp/c-util.boot (lookupDefiningFunction): Don't look into incomplete domains.
2011-02-27 * interp/g-opt.boot (optCond): Recognize conjunction anddos-reis1-1/+0
disjunction forms.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-07 15:47:02 +0000