Age | Commit message (Collapse) | Author | Files | Lines |
|
integer?, string?, symbol?, and cons? respectively.
* interp/wi1.boot: Likewise.
* interp/trace.boot: Likewise.
* interp/sys-utility.boot: Likewise.
* interp/showimp.boot: Likewise.
* interp/setvars.boot: Likewise.
* interp/record.boot: Likewise.
* interp/pspad2.boot: Likewise.
* interp/pspad1.boot: Likewise.
* interp/postpar.boot: Likewise.
* interp/posit.boot: Likewise.
* interp/pf2sex.boot: Likewise.
* interp/pf2atree.boot: Likewise.
* interp/parse.boot: Likewise.
* interp/packtran.boot: Likewise.
* interp/nrunopt.boot: Likewise.
* interp/nrungo.boot: Likewise.
* interp/nrunfast.boot: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/newfort.boot: Likewise.
* interp/msgdb.boot: Likewise.
* interp/msg.boot: Likewise.
* interp/modemap.boot: Likewise.
* interp/match.boot: Likewise.
* interp/mark.boot: Likewise.
* interp/interop.boot: Likewise.
* interp/int-top.boot: Likewise.
* interp/i-toplev.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/i-spec2.boot: Likewise.
* interp/i-spec1.boot: Likewise.
* interp/i-resolv.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/i-object.boot: Likewise.
* interp/i-map.boot: Likewise.
* interp/i-intern.boot: Likewise.
* interp/i-funsel.boot: Likewise.
* interp/i-eval.boot: Likewise.
* interp/i-coerfn.boot: Likewise.
* interp/i-coerce.boot: Likewise.
* interp/i-analy.boot: Likewise.
* interp/htsetvar.boot: Likewise.
* interp/htcheck.boot: Likewise.
* interp/ht-util.boot: Likewise.
* interp/ht-root.boot: Likewise.
* interp/g-util.boot: Likewise.
* interp/g-opt.boot: Likewise.
* interp/g-error.boot: Likewise.
* interp/g-boot.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/fortcall.boot: Likewise.
* interp/format.boot: Likewise.
* interp/diagnostics.boot: Likewise.
* interp/define.boot: Likewise.
* interp/compress.boot: Likewise.
* interp/compiler.boot: Likewise.
* interp/clammed.boot: Likewise.
* interp/clam.boot: Likewise.
* interp/cformat.boot: Likewise.
* interp/cattable.boot: Likewise.
* interp/category.boot: Likewise.
* interp/c-util.boot: Likewise.
* interp/c-doc.boot: Likewise.
* interp/buildom.boot: Likewise.
* interp/br-util.boot: Likewise.
* interp/br-search.boot: Likewise.
* interp/br-saturn.boot: Likewise.
* interp/br-op2.boot: Likewise.
* interp/br-op1.boot: Likewise.
* interp/br-data.boot: Likewise.
* interp/br-con.boot: Likewise.
* interp/bc-util.boot: Likewise.
* interp/ax.boot: Likewise.
* interp/as.boot: Likewise.
* boot/translator.boot: Likewise.
* boot/ast.boot: Likewise.
* boot/includer.boot: Likewise.
* boot/tokens.boot: Add new replacement for integer?, string?,
symbol? and cons?
|
|
* interp/wi1.boot (setqSingle): Likewise.
|
|
* interp/c-util.boot (isAtomicForm): Move to g-util.boot.
* interp/g-opt.boot (optSEQ): Splice toplevel PROGN forms.
* interp/g-util.boot (isAtomicForm): Move from c-util.boot. Export.
|
|
* interp/g-opt.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/nrunfast.boot: Likewise.
* interp/wi2.boot: Likewise.
|
|
readable Lisp code.
|
|
|
|
|
|
* interp/nruncomp.boot (washFunctorBody): New.
(buildFunctor): Use it.
* interp/g-opt.boot (optBind): New.
(optLIST): Likewise.
|
|
|
|
* algebra/term.spad.pamphlet (retractIfCan$Arity): Tidy.
* algebra/tree.spad.pamphlet (cyclicCopy2$Tree): Remove
unnecessary "return".
|
|
compiler.boot.
(getInverseEnvironment): Likewise.
* interp/wi2.boot (getSuccessEnvironment): Remove.
(getInverseEnvironment): Likewise.
(corrupted?): Likewise.
(unLet): Likewise.
|
|
(|check-union|): Likewise.
* interp/compiler.boot (coerceSuperset): Tidy. Generate %Retract
instruction.
* interp/g-opt.boot (optRetract): New.
|
|
instantiation of Eltable.
* algebra/clifford.spad.pamphlet (QuadraticForm): Likewise.
* algebra/domain.spad.pamphlet (DomainTemplate): Likewise.
* algebra/files.spad.pamphlet (Library): Likewise.
* algebra/aggcat.spad.pamphlet (LinearAggregate): Extend
instantiation of Eltable.
* algebra/naalg.spad.pamphlet (FiniteRankNonAssociativeAlgebra):
Likewise.
* algebra/pscat.spad.pamphlet (UnivariatePowerSeriesCategory):
Likewise.
* algebra/sex.spad.pamphlet (SExpressionCategory): Likewise.
* algebra/Makefile.pamphlet: Update rules.
|
|
|
|
partitions to domain Partitions.
* algebra/cycles.spad.pamphlet (CycleIndicators): User partitions
from Partition. Tidy.
|
|
(partitions$Partition): Likewise.
|
|
|
|
* algebra/partperm.spad.pamphlet (PartitionsAndPermutations): Likewise.
* algebra/cycles.spad.pamphlet (complete$CycleIndicators): Now
take only positive integers.
(powerSum$CycleIndicators): Likewise.
(elementary$CycleIndicators): Likewise.
(alternating$CycleIndicators): Likewise.
(cyclic$CycleIndicators): Likewise.
(dihedral$CycleIndicators): Likewise.
(graphs$CycleIndicators): Likewise.
|
|
(compIntegerValue): Likewise.
(compStepIterator): Likewise.
(compIterate): Use it.
|
|
|
|
(powerSum$CycleIndicators): Likewise.
(elementary$CycleIndicators): Likewise.
(alternating$CycleIndicators): Likewise.
(cyclic$CycleIndicators): Likewise.
(dihedral$CycleIndicators): Likewise.
(graphs$CycleIndicators): Likewise.
|
|
|
|
|
|
Partition as argument. Remove local function 'bite'.
Make powers iterative.
|
|
of pairs.
|
|
implementation. Reuse operations available from the
representation domain.
|
|
Rename from terms.
|
|
Rename from isTerm.
(simplify$PropositionalFormulaFunctions1): New.
|
|
(PropositionalLogic): Extend it.
* algebra/aggcat.spad.pamphlet (BitAggregate): Likewise.
* algebra/si.spad.pamphlet (SingleInteger): Assert membership to
BooleanLogic.
|
|
(PropositionalFormulaFunctions2): Likewise.
|
|
* algebra/files.spad.pamphlet (closed$IOMode): Likewise.
|
|
(Environment): Likewise. Rename setProperty! to putProperty.
Rename setProperties! to putProperties.
|
|
functions. Elaborate definitions.
|
|
(InternalTypeForm): Likewise.
(CompilerPackage): Expand.
|
|
(InternalTypeForm): New.
(Elaboration): New.
|
|
|
|
|
|
argument. Pass to compOrCroak.
* interp/compiler.boot (compElt): Adjust call to genDeltaEntry.
(compCase1): Likewise.
(coerceByModemap): Likewise.
(autoCoerceByModemap): Likewise.
(compCat): Likewise.
(compViableModemap): Take an additional environment argument.
Pass it to genDeltaEntry.
(compApplyModemap): Adjust call to compViableModemap.
(compResolveCall): Likewise.
|
|
(optDeltaEntry): Use it.
|
|
($simpleVMoperators): Augment it.
(semiSimpleRelativeTo?): New.
(isSimpleVMForm): Use it.
* interp/c-util.boot (forwardingCall?): New.
(usesVariablesLinearly?): Likewise.
(expandableDefinition?): Likewise.
(foldSpadcall): Tidy.
(foldExportedFunctionReferences): If a function is discovered to
be expandable, make it so.
* interp/define.boot (spadCompileOrSetq): Tidy.
|
|
that are not instantiations.
|
|
* interp/sys-driver.boot (initializeGlobalState): Sey domain
representation inlining if requested.
* interp/c-util.boot (setCompilerOptimizations): Set domain
representation inlining if at optimization level 3.
* algebra/constant.spad.pamphlet (AlgebraicNumber): Remove
assignment to Rep. Tidy.
* algebra/Makefile.pamphlet: Add dependencies.
|
|
(optimizableDomain?): Likewise.
(optCallSpecially): Use it
* interp/compiler.boot (processInlineRequest): Likewise.
* interp/nruncomp.boot (optDeltaEntry): Likewise.
* interp/wi2.boot (optDeltaEntry): Likewise.
|
|
* interp/compiler.boot (compAtom): Don't use it.
* interp/wi1.boot (compAtom): Likewise.
|
|
(registerFunctionReplacement): Likewise.
* interp/define.boot (spadCompileOrSetq): Use it.
* interp/g-opt.boot (optSpecialCall): Likewise.
* interp/nruncomp.boot (optDeltaEntry): Likewise.
* interp/spad.lisp (|knownEqualPred|): Likewise.
* interp/wi2.boot (optDeltaEntry): Likewise.
|
|
|
|
(conjunction$PropositionalFormula): New exported function.
(disjunction$PropositionalFormula): Likewise.
|
|
assignment to $base.
(augModemapsFromCategory): Likewise.
|
|
item on $NRTdeltaList.
(NRTgetLocalIndex): Likewise. Tidy.
|
|
* interp/compiler.boot (processInlineRequest): Now accept any
functor.
* interp/c-util.boot (lookupFunctionInstance): New.
(isFormal): Likewise.
(expandFormTemplate): Likewise.
(equalFormTemplate): Likewise.
(getFunctionTemplate): Likewise.
(lookupInheritedDefiningFunction): Likewise.
(lookupDefiningFunction): Likewise.
* interp/nruncomp.boot (optDeltaEntry): Tidy. Use
lookupDefiningFunction.
|