Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
(compHash): Simplify. Now take only 3 parameters.
* interp/c-util.boot (compileQuietly): Remove as unused.
* interp/sys-globals.boot ($clamList): Move to clam.boot.
* interp/define.boot (compileConstructor1): Call compHash in lieu
of compClam.
* share/doc/msgs/s2-us.msgs: Remove unused diagnostics, due to
compClam removal and compHash simplification.
|
|
clearConstructorCache here. Simplify.
(compileConstructor): Call clearConstructorCache here.
* interp/c-util.boot (backendCompile2): Do not test for membership
of $clamList.
* interp/clam.boot (compHash): Use compQuietly instead of
compileQuietly.
|
|
* interp/clam.boot: Likewise.
* interp/define.boot: Likewise.
* interp/lisp-backend.boot (COMPILE1): Tidy.
* interp/slam.boot: Likewise.
|
|
resulting functor if not cachable.
* interp/clam.boot (compClam): Tidy.
(compHash): Likewise.
(compHashGlobal): Likewise.
* interp/i-eval.boot (evalForm): Use LAMBDA, not LAM.
* interp/i-coerce.boot (getSubDomainPredicate): Use %lambda not LAM.
|
|
(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.
|
|
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.
|
|
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.
|
|
CATEGORY and SubsetCategory forms.
|
|
* interp/define.boot (mkEvalableCategoryForm): Use it. Tidy.
|
|
Rename DescendantP to descendant?.
* interp/define.boot: Likewise.
* interp/functor.boot: Likewise.
|
|
(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.
|
|
* 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.
|
|
* interp/define.boot (compDefineCategory2): Likewise.
* interp/nruncomp.boot (buildFunctor): Likewise.
* interp/slam.boot (compileRecurrenceRelation): Likewise.
* interp/lisp-backend.boot (expandSeq): Use PROGN in absence of EXIT.
|
|
* interp/define.boot: Likewise.
* interp/g-opt.boot: Likewise.
* interp/g-util.boot: Likewise. Rename mkLabelled to mkScope.
|
|
It is always nil. Adjust caller.
(compDefineCategory1): Likewise.
(compDefineCategory2): Likewise.
(compDefineFunctor): Likewise.
(compDefineFunctor1): Likewise. Bind it to nil.
* interp/lisplib.boot (compDefineLisplib): Likewise.
|
|
(coerceExit): Likewise.
(compRepeatOrCollect): Likewise.
(replaceExitEtc): Tidy.
(canReturn): Likewise.
(compIterate): Generate %lave form.
(nullifyTargetingLeaves): Move out of massageLoop.
(massageLoop): Adjust.
* interp/define.boot (compDefineCapsuleFunction): Generate
%labelled form for the body.
* interp/g-opt.boot: Now handle %labelled and %leave forms.
(optLabelled): Rename from optCatch.
|
|
Recursively nominate constructor argument for inlining. Adjust callers.
* interp/c-util.boot: Tidy.
* algebra/Makefile.in: Tidy.
|
|
(registerRedexForm): New.
(redexForm): Likewise.
(inlineDirectCall): Inline functions with known redex forms.
(foldExportedFunctionReferences): Compute redex forms.
(backendCompileILAM): Remove as unused.
(backendCompile2): Adjust.
(massageBackendCode): Likeiwse.
* interp/define.boot (compDefineCapsuleFunction): Clear
replacement info.
|
|
* interp/nruncomp.boot (deltaTran): assocIndex now handles $.
(getLocalIndex): Likewise.
(NRTencode): Handle $ before calling assocIndex.
(assocIndex): Handle $.
|
|
* interp/define.boot (compDefine1): Avoid encodeItem when
symbolName is meant.
(mkRepititionAssoc): Move from functor.boot
(encodeItem): Likewise.
(getCaps): Likewise. Tidy.
(encodeFunctionName): Likewise.
|
|
signature too.
* interp/nruncomp.boot (genDeltaEntry): Likewise.
(getLocalIndex): Tidy.
(changeDirectoryInSlot1): Tidy.
(vectorLocation): Add a kind of operation as fourth argument.
Adjust caller. Do not reconstruct the signature.
(NRTsubstDelta): Remove as no longer used.
|
|
Adjust callers.
|
|
NRTisExported?. Determine operation kind locally. Do not store
implement slot on the used entity list.
* interp/nruncomp.boot (genDeltaEntry): Likewise.
(deltaTran): Simplify.
(NRTisExported?): Remove.
(vectorLocation): Adjust.
|
|
* algebra/poly.spad.pamphlet: Likewise.
* interp/define.boot (spadCompileOrSetq): Tidy replacement info.
* interp/i-output.boot ($BinaryOperators): New.
(binaryInfix?): Tidy.
|
|
* interp/define.boot (compDefineCapsuleFunction): Call it from here.
* interp/functor.boot (DescendCode): Not here.
|
|
($NRTdeltaListComp): Likeewise.
(compDefineFunctor1): Do not bind them.
(assignCapsuleFunctionSlot): Use dbUsedEntities.
* interp/nruncomp.boot (NRTaddDeltaCode): Likewise.
(dbEntitySlot): New.
(NRTassocIndex): Use it.
(genDeltaEntry): Use dbUsedEntities.
(getLocalIndex): Likewise.
(vectorLocation): Likewise.
(NRTsubstDelta): Likewise.
|
|
* interp/c-util.boot (registerConstructor): New.
(currentConstructor): Likewise.
(makeCompilationData): Initialize dbEntityBuffer.
(dbEntityBuffer): New.
(dbUsedEntities): Likewise.
(dbEntityCount): Likewise.
* interp/compiler.boot: Adjust call to getLocalIndex, NRTassocIndex
* interp/define.boot: Likewise.
($NRTdeltaLength): Remove.
* interp/nruncomp.boot: Likewise.
|
|
from compDefineCapsuleFunction.
(compDefineCapsuleFunction): Use it. Tidy.
|
|
(getArgumentMode): Tidy.
(hasSigInTargetCategory): Likewise.
(refineDefinitionSignature): New. Abstract from
compDefineCapsuleFunction.
(compDefineCapsuleFunction): Use it. Tidy.
|
|
|
|
(localOperation?): New.
(compDefineCapsuleFunction): Increment $suffix. Check for local
and exported function definition here.
(compile): Move capsule-local function processing out.
|
|
* interp/functor.boot: Likewise.
* interp/g-util.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/topics.boot: Likewise.
* interp/trace.boot: Likewise.
|
|
(compDefineFunctor1): Do not bind it.
(reportOnFunctorCompilation): Do not call displayMissingFunctions.
(displayMissingFunctions): Remove as useless.
* interp/functor.boot (SetFunctionSlots): Do not set slot in the
first vector of $catvecList.
* interp/nruncomp.boot (buildFunctor): Remove makeCatvecCode,
emptyVector, domainShell. Do not call NRTcheckVector.
(NRTcheckVector): Remove as useless.
|
|
Adjust callers.
(compDefineFunctor1): Do not bind $functionLocations.
(compDefineCapsuleFunction): Do not update.
* interp/lisplib.boot (transformOperationAlist): Do not consult
$functionLocations.
|
|
nruncomp.boot. Rename from NRTassignCapsuleFunctionSlot. Take
first parameter as a DB. Adjust callers.
(compDefineCapsuleFunction): Tidy.
|
|
Adjust callers.
* interp/compiler.boot: Adjust.
* interp/define.boot: Likewise.
|
|
(initializeGlobalState): Don't bind $compileDefaultsOnly.
* interp/sys-globals.boot ($compileDefaultsOnly): Remove.
* interp/define.boot (compDefineCategory): Adjust.
(compDefineCategory1): Likewise.
(compDefineFunctor1): Clear dbCapsuleDefinitions.
* interp/lisplib.boot (compDefineLisplib): Tidy.
* interp/daase.lisp (BROWSEOPEN): Use dbSourceFile.
(GETDATABASE): Likewise.
(LOCALNRLIB): Likewise.
(WRITE-BROWSEDB): Likewise.
* algebra/Makefile.in (COMPILE_SPAD): Specifiy initial DB.
(BOOTSTRAP): Likewise.
|
|
is a builtin constructor.
(mkDependentsHashTable): Filter out builtin constructors.
* interp/cattable.boot (genCategoryTable): Likewise.
* interp/database.boot (getConstructorModemap): Load the
contructor if necessary and try again before failing.
* interp/define.boot (NRTgetLookupFunction): Handle multiple
inheritance of domains.
(getBaseExports): Rename from getExportCategory. Adjust caller.
Handle multiple inheritance of domains.
(extendsCategory): Do not reference $functorForm. Take it from
the DB argument.
(getTargetFromRhs): Do not optimize codegen.
|
|
references to used entities.
|
|
argument as a DB for the current constructor. Adjust callers.
(compile): Likewise.
(spadCompileOrSetq): Likewise.
(compileConstructor): Likewise.
(compileConstructor1): Likewise.
|
|
* interp/c-util.boot: Likewise.
* interp/define.boot: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/nrunfast.boot: Likewise.
* interp/showimp.boot: Likewise.
|
|
* interp/define.boot ($byteVec): Remove.
(getInfovecCode): Do not bind it.
(makeGoGetSlot): Take DB as first parameter. Adjust caller.
Update dbByteList.
(NRTmakeCategoryAlist): Adjust.
|
|
* interp/c-util.boot (lookupDefiningFunction): Use it. Tidy.
* interp/define.boot ($lookupFunction): Remove.
(getInfovecCode): Use dbLookupFunction.
(compDefineFunctor1): Set it. Do not emit %incomplete anymore.
* interp/lisplib.boot (writeLookupFunction): New.
(finalizeLisplib): Use it.
|