aboutsummaryrefslogtreecommitdiff
path: root/src/interp/nrunfast.boot
AgeCommit message (Collapse)AuthorFilesLines
2016-02-09Various cleanupsGabriel Dos Reis1-7/+7
Rename getFunctionTemplate to matchSignatureInTemplate. Rename lookupInheritedDefiningFunction to lookupRemoteDefiningFunction as the function wasn't really about inherited operators. Have it avoid returning functions that might need their domain domain to operate correctly. Simplify getOpCode: it only needs two arguments since the third was the length of the second argument. dbDefaultPackage? is no longer a macro.
2016-02-06Move $lookupDefaults out of newLookupInTableGabriel Dos Reis1-4/+6
Move $lookupDefaults to he callers of newLookupInTable to surface variabilities in the control flow.
2016-01-09Switch getDualSignature to avoiding interpreter databaseGabriel Dos Reis1-1/+1
Now that OpenAxiom emits the dual signature data also directly in the generated executable code for a constructor, there is no no need to consult the interpreter data base for that information. This change relies on the previous commit, e.g. getDualSignature should be considered invalid for builtin constructors. Any instanbility caused by this patch should be considered a latent bug that should be given high priority fixing.
2016-01-09Every use of getDualSignature that does not ensure that builtinGabriel Dos Reis1-12/+11
constructors are handled before the call is a bug. This patch fixes most the obvious and glaring places. Hopefully, the remaining cases will be exercised when getDualSignature bypasses the on-disk database mamouth.
2016-01-08Remove dead codes.Gabriel Dos Reis1-5/+0
2011-11-11 * interp/br-data.boot: Change NRTEVAL to %eval.dos-reis1-3/+3
* interp/c-util.boot: Likewise. * interp/define.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/nrunfast.boot: Likewise. * interp/showimp.boot: Likewise.
2011-10-03 Cleanup.dos-reis1-3/+3
2011-09-07 * interp/lisplib.boot (finalizeLisplib): Finalize documentaiondos-reis1-3/+3
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-05 Stop using LOADED symbol property of constructors.dos-reis1-1/+2
* 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.
2011-09-05 * interp/nruncomp.boot (updateSlot1DataBase)e: Remove.dos-reis1-70/+1
(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.
2011-09-05 * interp/daase.lisp (GETDATABASE): Do not handle PREDICATES anddos-reis1-1/+1
ATTRIBUTES selectors anymore. * interp/database.boot (getConstructorPredicates): Rename from getConstructorPredicatesFromDB. Adjust callers. (getConstructorAttributes): Rename from getConstructorAttributesFromDB. Adjust callers.
2011-08-25 * interp/hashcode.boot: Remove.dos-reis1-0/+45
*interp/interop.boot: Move OpenAxiom relevant code to define.boot and nrunfast.boot. Remove.
2011-08-22 * interp/database.boot (niladicConstructor?): Rename fromdos-reis1-1/+1
niladicConstructorFromDB. Use getConstructorFormFromDB. Adjust callers.
2011-08-13 * interp/c-util.boot (instantiationArgs): New.dos-reis1-5/+5
(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 * interp/nrunfast.boot (newLookupInTable): Compare domain anddos-reis1-51/+34
dollar as objects, not as value. (newLookupInCategories): Remove deadcode. (newExpandGoGetTypes): Remove as unused.
2011-08-06cleanupdos-reis1-9/+9
2011-08-04cleanupdos-reis1-5/+5
2011-06-22 * interp/br-con.boot: Remove reference to asharp constructors.dos-reis1-10/+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-11/+8
2011-05-19 * interp/buildom.boot (lookupInDomainVector): Establish a newdos-reis1-12/+12
binding for $lookupDefaults.
2011-05-18more cleanupdos-reis1-15/+11
2011-05-17more cleanupdos-reis1-1/+1
2011-05-17more cleanupdos-reis1-55/+28
2011-05-15cleanupdos-reis1-2/+2
2011-05-06more cleanupdos-reis1-2/+2
2011-05-02more cleanupsdos-reis1-9/+0
2011-05-02More cleanupsdos-reis1-5/+5
2011-05-02 * interp/c-util.boot (categoryRef, domainRef, canonicalForm)dos-reis1-6/+6
(instantiatorCtor, instantiatorArgs, categoryExports): New.
2011-05-02more cleanupdos-reis1-1/+6
2011-04-30 * More cleanupdos-reis1-4/+4
2011-04-29 * boot/utility.boot (assocSymbol): New.dos-reis1-1/+1
(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-4/+4
2011-04-21 * boot/tokens.boot: Don't rename nreverse.dos-reis1-1/+1
* 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-8/+8
2011-04-18cleanupdos-reis1-59/+62
2011-04-17 * boot/tokens.boot: Translate maxIndex to MAXINDEX.dos-reis1-11/+11
2011-04-16cleanupdos-reis1-6/+6
2011-04-15misc cleanupdos-reis1-7/+7
2011-03-03 * interp/nrungo.boot: Move content to buildom.boot, i-map.boot,dos-reis1-0/+27
i-special.boot, nrunfast.boot. Delete.
2011-02-24 * interp/sys-macros.lisp (shellEntry): New.dos-reis1-1/+1
* interp/g-util.boot (setShellEntry): Remove. * interp/compiler.boot: Use %store to %tref forms instead of setHSellEntry. * interp/define.boot: Likewise. * interp/functor.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/nrunfast.boot: Likewise. * interp/showimp.boot: Likewise. * interp/c-util.boot (isSimple): Tidy. (isSideEffectFree): Likewise. (updateCapsuleDirectory): Likewise.
2011-02-10 * interp/vmlisp.lisp (VEC-SETELT): Remove.dos-reis1-1/+0
* interp/scan.boot (scanInserts): Use vectorRef. * interp/functor.boot (DescendCode): Don't check for SETELT or QSETREFV forms. * interp/nrunfast.boot (evalSlotDomain): Likewise.
2011-02-09 Add MappingCategory as a (builtin) category.dos-reis1-5/+15
* interp/sys-constants.boot ($CategoryNames): Include MappingCategory. * interp/g-cndata.boot (unabbrevSpecialForms): Handle MappingCategory, RecordCategory, and UnionCategory. * interp/buildom.boot (MappingCategory): New. * interp/compiler.boot: Elaboration MappingCategory forms. * interp/g-error.boot (needsToSplitMessage): Fix thinko from type-based dispatch done by the Boot translator. * interp/nrunfast.boot (builtinConstructor?): New. (generalizedBuiltinConstructor?): Likewise. (lazyMatch): Use them. (newHasTest): Properly recognize all flavours of category forms.
2011-02-04cleanu updos-reis1-7/+7
2011-01-31 * interp/vmlisp.lisp: Remove QREFELT, QSDEC1, QSETREFV, QSETVELT,dos-reis1-1/+1
QSETVELT-1, QSINC1, QVELT, QVELT-1. * algebra/si.spad.pamphlet: Use %iinc and %idec forms.
2011-01-27Generate SVREF for simple vector slot refs.dos-reis1-6/+6
2011-01-19 * interp/vmlisp.lisp (FIXP): Remove.dos-reis1-1/+1
* interp/alql.boot: Use integer? instead of FIXP. * interp/br-con.boot: Likewise. * interp/br-op1.boot: Likewise. * interp/c-util.boot: Likewise. * interp/fnewmeta.lisp: Likewise. * interp/ht-root.boot: Likewise. * interp/i-analy.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/i-toplev.boot: Likewise. * interp/interop.boot: Likewise. * interp/lisplib.boot: Likewise. * interp/mark.boot: Likewise. * interp/newfort.boot: Likewise. * interp/nrunfast.boot: Likewise. * interp/pspad1.boot: Likewise. * interp/setvars.boot: Likewise. * interp/showimp.boot: Likewise. * interp/slam.boot: Likewise. * interp/topics.boot: Likewise. * interp/trace.boot: Likewise. * interp/wi1.boot: Likewise. * interp/wi2.boot: Likewise. * interp/word.boot: Likewise.
2011-01-02 * interp/nrunfast.boot (evalSlotDomain): Expand to VM forms beforedos-reis1-6/+12
value argument evaluation. (lazyMatch): Check for %llength too. * interp/g-opt.boot ($VMsideEffectFreeOperators): Include %2bit and %2bool. * interp/g-util.boot: Expand them. * interp/define.boot (compJoin): Check for %llenght too. * algebra/boolean.spad.pamphlet: Tidy. * algebra/domain.spad.pamphlet: Likewise. * algebra/draw.spad.pamphlet: Likewise. * algebra/files.spad.pamphlet: Likewise. * algebra/list.spad.pamphlet: Likewise. * algebra/outform.spad.pamphlet: Likewise. * algebra/sex.spad.pamphlet: Likewise. * algebra/sf.spad.pamphlet: Likewise.
2010-12-30more string cleanupsdos-reis1-5/+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-1/+1