Age | Commit message (Collapse) | Author | Files | Lines |
|
resolution as appropriate.
|
|
operators as such, and local functions as such.
(freeVarUsage): Do not count external and local functions.
(extractCode): Tidy. Handle closure literals.
* interp/g-opt.boot (optCall): Optimize external calls where
possible.
%external is a side-effect free operator.
|
|
(bindingForm?): New.
(usesVariable?): Likewise.
* interp/compiler.boot (declareUnusedParameters): Use it.
* interp/g-opt.boot (inlineLocals): Likewise.
(optClosure): Likewise.
(optBind): Likewise.
* interp/define.boot (compContained): Remove.
|
|
* interp/compiler.boot (compUnnamedMapping): Fix thinko.
* interp/g-opt.boot (semiSimpleRelativeTo?): Likewise.
|
|
(compWithMappingMode): Likewise.
(compUnnamedMapping): Likewise.
(extractCode): Simplify.
* interp/g-opt.boot (optClosure): New. Register.
(semiSimpleRelativeTo?): An abstraction is always semisimple.
* interp/nruncomp.boot ($killOptimizeIfTrue): Remove.
(optDeltaEntry): Don't test for it.
|
|
extractCodeAndConstructTriple. Change Arity. Tidy. Adjust callers.
|
|
(extractCodeAndConstructTriple): Likewise.
* interp/g-opt.boot (optCall): Adjust.
|
|
|
|
* interp/spad-parser.boot (parseCategory): Accept exported properties.
(parseFormula): New.
|
|
* interp/lisp-backend.boot (expandApply): Remove.
Unregister expander.
* interp/g-opt.boot (optCall): applyFun is not longer an opcode.
Look for %apply.
* interp/compiler.boot (applyMapping): Generate ['%call,['%apply,.]]
form, not ['%apply,..] form.
(extractCodeAndConstructTriple): Tidy.
(compApplication): Likewise.
|
|
(getArgumentDesignator): Likewise.
(getToken): Use it.
* interp/parsing.lisp (GET-NUMBER-TOKEN): Remove.
* interp/bootlex.lisp (INIT-BOOT/SPAD-READER): Move to spad.lisp.
(SPAD): Likewise.
(READ-SPAD1): Likewise.
(TEST): Remove.
(GET-ARGUMENT-DESIGNATOR-TOKEN): Likewise.
|
|
from parentsOfBuiltinInstance.
* interp/buildom.boot (parentsOfBuiltinInstance): Tidy.
|
|
|
|
external name printing. Do not call ncParseFromString.
|
|
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.
|
|
(depthAssoc): Tidy.
(NRTmakeCategoryAlist): Tidy.
|
|
(NRTmakeCategoryAlist): Don't call NRTcatCompare. Tidy.
|
|
argument. Avoid globals. Adjust Callers.
(depthAssoc): Likewise. Adjust Caller.
(NRTmakeCategoryAlist): Remove uses of $depthAssocCache.
|
|
* interp/category.boot (Join): Handle empty argument list.
|
|
Adjust callers.
* interp/br-data.boot (getParentsForDomain): Remove.
(parentsOf): Call getParentsFor in lieu of getParentsForDomain.
(folks): Move to define.boot.
|
|
* interp/define.boot (compDefineCategory2): Likewise.
|
|
|
|
(explodeIfs): Likewise.
(getParentsForDomain): Tidy.
|
|
(explodeIfs): Likewise.
|
|
CATEGORY and SubsetCategory forms.
|
|
* interp/define.boot (mkEvalableCategoryForm): Use it. Tidy.
|
|
function expressions.
($VMsideEffectFreeOperators): Don't include %funcall.
($simpleVMoperators): Include it.
|
|
(findModule): Use it. Simplify.
(loadLib): Tidy.
(genericLoadDB): New.
(loadDB): Use it.
(loadDBIfCan): New.
* interp/c-util.boot (lookupDefiningFunction): Give up gracefully
if the domain of computation is not compiled yet.
* algebra/Makefile.in ($(OUT)/SPADAST.$(FASLEXT)): Require
$(OUT)/SUCHTAST.$(FASLEXT).
|
|
constructors.
* algebra/syntax.spad.pamphlet: Miscellaneous cleanup.
|
|
* interp/g-error.boot (returnToTopLevel): Tidy.
* interp/macros.lisp (applyWithOutputToString): Likewise.
|
|
|
|
|
|
final executables.
(infix?): Remove as duplicate in match.boot.
(prefix?): Likewise.
(suffix?): Likewise.
* interp/g-error.boot (returnToTopLevel): Tidy.
* interp/debug.lisp (/D-2): Use spadThrow in lieu of UNWIND.
* interp/patches.lisp (CATCHALL): Remove.
(DBRINIT): Likewise.
(TOPLEVEL): Likewise.
(TOP-LEVEL): Likewise.
(UNWIND): Likewise.
(RESUME): Likewise.
(booFind): Likewise.
|
|
* interp/patches.lisp (/RF): Move to cparse.boot.
(/RQ): Likewise.
(/RQ,LIB): Likewise.
(/RF-1): Likewise.
(/EF): Move to spad.lisp.
(construct): Remove.
(READSPADEXPR): Likewise.
(SHAREDITEMS): Likewise.
(installStandardTestPackages): Likewise.
(spadtestValueHook): Likewise.
(testError): Likewise.
($TestOptions): Likewise.
(rebuild): Likewise.
($ViewportProcessToWatch): Likewise.
(setViewportProcess): Likewise.
(waitForViewport): Likewise.
* interp/i-analy.boot (pushDownOp?): Use mkIntArray in place of
GETZEROVEC.
* interp/i-funsel.boot (argCouldBelongToSubdomain): Likewise.
* interp/i-intern.boot (flagArguments): Likewise.
|
|
Rename DescendantP to descendant?.
* interp/define.boot: Likewise.
* interp/functor.boot: Likewise.
|
|
* boot/parser.boot (bpSexpKey): Use it.
* interp/i-map.boot (mapPredTran): Fix thinko.
|
|
* boot/translator.boot (translateToplevel): Use it to translate
enumeration definitions.
* interp/types.boot (%ConstructorKind): Use new syntax.
|
|
(mkCategoryPackage): Use it.
(compMakeCategoryObject): Likewise.
* interp/nruncomp.boot (NRTsetVector4a): Likewise.
|
|
(QSORT): Likewise.
* interp/c-util.boot (formal?): Rename from isFormal. Avoid POSITION.
* interp/sys-utility.boot (sortBy): New.
* interp/br-op1.boot: Use it.
* interp/clam.boot: Likewise.
* interp/define.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/i-coerfn.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/showimp.boot: Likewise.
* boot/tokens.boot: "<-" is now a token.
* boot/ast.boot (bfKeyArg): New.
(bfExpandKeys): Likewise.
(bfApplication): Use it.
* boot/parser.boot (bpKeyArg): New.
(bpAssign): Use it. Parse named arguments.
|
|
loopBody and loopExit are not selectors.
* interp/i-output.boot: Include sys-utility.
* interp/sys-utility.boot (last): New macro.
(loopBody): Likewise.
* interp/vmlisp.lisp (LASTNODE): Remove.
(LASTPAIR): Likewise.
(last): Do not define here.
|
|
* boot/utility.boot (drop): Define and export.
(take): Likewise.
* interp/br-con.boot: Use take, not TAKE; use drop, not DROP.
* interp/br-data.boot: Likewise.
* interp/br-op1.boot: Likewise.
* interp/br-saturn.boot: Likewise.
* interp/c-doc.boot: Likewise.
* interp/c-util.boot: Likewise.
* interp/cattable.boot: Likewise.
* interp/clammed.boot: Likewise.
* interp/compiler.boot: Likewise.
* interp/database.boot: Likewise.
* interp/define.boot: Likewise.
* interp/guess.boot: Likewise.
* interp/htsetvar.boot: Likewise.
* interp/i-analy.boot: Likewise.
* interp/i-eval.boot: Likewise.
* interp/i-funsel.boot: Likewise.
* interp/i-map.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/i-special.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/i-toplev.boot: Likewise.
* interp/i-util.boot: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/parse.boot: Likewise.
* interp/record.boot: Likewise.
* interp/setvars.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/trace.boot: Likewise.
* interp/word.boot: Likewise.
* interp/macros.lisp (DROP): Remove.
(TAKE): Likewise.
|
|
(packWhen!): Likewise.
(unnestWhen!): Tidy.
(removeScope!): Handle %when forms.
|
|
(cancelScopeLeave!): Tidy.
|
|
Remove handling of IF forms as no longer relevant.
* algebra/matfuns.spad.pamphlet
(MatrixLinearAlgebraFunctions) [rank]: Tidy.
|
|
structures.
|
|
(packWhen!): Simplify.
(optimize!): Run before changeVariableDefinitionToStore.
|
|
(optimize!): Call it.
(optimizeFunctionDef): Simplify.
|
|
properly.
|
|
optCollectVector. Move here.
(compRepeatOrCollect): Use it.
|
|
(cleanLoop!): Use it.
* interp/lisp-backend.boot ($freeVarName): Remove.
(loopVarInit): Do not generate initializer for free iterators.
Adjust callers.
(massageFreeVarInits): Remove. Adjust caller.
|