Age | Commit message (Collapse) | Author | Files | Lines |
|
variables really are locals.
* interp/i-map.boot (findLocalVars1): Fix typo.
|
|
* interp/i-analy.boot (bottomUp): Change MAP to %Map.
(isEltable): Likewise.
* interp/i-coerce.boot (retract): Likewise.
* interp/i-eval.boot (getArgValue): Likewise.
* interp/i-funsel.boot (selectLocalMms): Likewise.
* interp/i-intern.boot (getValueFromEnvironment): Likewise.
* interp/i-map.boot (mkAuxiliaryName): Likewise.
(augmentMap): Likewise.
(displayMap): Likewise.
(putBodyInEnd): Likewise.
(expandRecursiveBody): Likewise.
* interp/i-output.boot (outputTran): Likewise.
* interp/i-spec1.boot (declare): Likewise.
* interp/i-syscmd.boot (displayMacro): Likewise.
* interp/i-toplev.boot (interpret2): Likewise.
* interp/patches.lisp (MAP): Remove.
* interp/trace.boot (isUncompiledMap): Likewise.
|
|
* interp/i-map.boot (compileCoerceMap): Tell backend that
minivector is global.
* interp/i-spec1.boot (compileADEFBody): Likewise.
* interp/slam.boot (reportFunctionCompilation): Likewise.
* interp/define.boot (spadCompileOrSetq): Tell backend to ignore
last argument for simple functions.
* interp/c-util.boot (skipDeclarations): New.
(lastDeclarationNode): Likewise.
(declareGlobalVariables): Likewise.
(transformToBackendCode): Use them to allow for Lisp
declarations in middle-end forms.
* interp/sys-driver.boot (AxiomCore::%sysInit): Reading Lisp level
Floating point numbers default to double precision.
* algebra/strap: Update.
|
|
|
|
* interp/i-spec1.boot (upDeclare): Fields are not declarations.
* interp/i-map.boot (getUserIdentifiersIn): Ignore field names.
* testsuite/interpreter/aw-422.input: New.
|
|
* interp/c-util.boot: Likewise.
* interp/comp.lisp: Likewise.
* interp/compiler.boot: Likewise.
* interp/cparse.boot: Likewise.
* interp/def.lisp: Likewise.
* interp/define.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/g-opt.boot: Likewise.
* interp/i-eval.boot: Likewise.
* interp/i-intern.boot: Likewise.
* interp/i-map.boot: Likewise.
* interp/i-spec1.boot: Likewise.
* interp/i-spec2.boot: Likewise.
* interp/iterator.boot: Likewise.
* interp/mark.boot: Likewise.
* interp/newaux.lisp: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/nrunopt.boot: Likewise.
* interp/package.boot: Likewise.
* interp/parse.boot: Likewise.
* interp/pf2atree.boot: Likewise.
* interp/pf2sex.boot: Likewise.
* interp/postpar.boot: Likewise.
* interp/property.lisp: Likewise.
* interp/pspad1.boot: Likewise.
* interp/pspad2.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/spad.lisp: Likewise.
* interp/wi1.boot: Likewise.
* interp/wi2.boot: Likewise.
|
|
($minivectorNames): Likewise.
* interp/i-map.boot (compileCoerceMap): Don't set $minivectorNames
and $minivectorCode.
* interp/i-spec1.boot (compileADEFBody): Likewise.
* interp/i-toplev.boot (processInteractive): Likewise.
* interp/nrungo.boot (NRTgetMinivectorIndex): Likewise.
* interp/slam.boot (reportFunctionCompilation): Likewise.
|
|
(getValueNormalForm): New.
* interp/i-code.boot (intCodeGenCOERCE): Use it.
* interp/i-coerce.boot (coerceIntByMap): Likewise.
* interp/i-eval.boot (getArgValue): Likewise.
(getArgValue2): Likewise.
* interp/i-funsel.boot (selectMms): Likewise.
* interp/i-map.boot (rewriteMap): Likewise.
* interp/i-spec2.boot (IFcodeTran): Likewise.
(evalLET): Likewise.
(upreturn): Likewise.
* interp/g-cndata.boot (isConstructorName): New.
* testsuite/interpreter/eval-dep-type.input: New.
|
|
Update all boot files to use `namespace' instead of `)package'.
* interp/: Likewise.
|
|
* boot/includer.boot: Likewise.
* boot/parser.boot: Likewise.
* boot/pile.boot: Likewise.
* boot/scanner.boot: Likewise.
* boot/tokens.boot: Likewise.
* boot/translator.boot: Likewise.
* boot/strap: Update Lisp translation.
* lisp/core.lisp.in: Tidy.
|
|
* interp/br-util.boot: Likewise.
* interp/c-doc.boot: Likewise.
* interp/cattable.boot: Likewise.
* interp/clammed.boot: Likewise.
* interp/define.boot: Likewise.
* interp/g-cndata.boot: Likewise.
* interp/g-util.boot: Likewise.
* interp/ht-util.boot: Likewise.
* interp/i-map.boot: Likewise.
* interp/modemap.boot: Likewise.
* interp/nrungo.boot: Likewise.
* interp/rulesets.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/i-spec1.boot: Likewise.
* interp/Makefile.pamphlet (br-util.$(FASLEXT)): Don't compile as
Old Boot.
(bc-solve.$(FASLEXT)): Likewise.
(ht-util.$(FASLEXT)): Likewise.
(rulesets.$(FASLEXT)): Likewise.
(i-object.$(FASLEXT)): Likewise.
(i-util.$(FASLEXT)): Likewise.
(nrunfast.$(FASLEXT)): Likewise.
(nrungo.$(FASLEXT)): Likewise.
(iterator.$(FASLEXT)): Likewise.
(cattable.$(FASLEXT)): Likewise.
(c-doc.$(FASLEXT)): Likewise.
(posit.$(FASLEXT)): Likewise.
(modemap.$(FASLEXT)): Likewise.
(slam.$(FASLEXT)): Likewise.
(clammed.$(FASLEXT)): Likewise.
(g-opt.$(FASLEXT)): Likewise.
(g-error.$(FASLEXT)): Likewise.
(pathname.$(FASLEXT)): Likewise.
(g-util.$(FASLEXT)): Likewise.
(g-cndata.$(FASLEXT)): Likewise.
* boot/tokens.boot: Remove renaming of NOT to NULL, when compiling
Old Boot.
|
|
|
|
instantiations representations in interactive environments.
* interp/i-eval.boot (evaluateFormAsType): New.
(evaluateType): Use it.
(evaluateType1): Tidy.
* interp/i-output.boot (output): Tidy.
* interp/i-object.boot ($genValue): Define here.
* interp/sys-dirver.boot ($verbose): Rename from
$verboseInterpreter.
* interp/i-map.boot (genMapCode): Propagate $verbose renaming.
* interp/slam.boot (compileRecurrenceRelation): Likewise.
|
|
parse form that are not type instantiations.
* interp/i-coerce.boot (coerceInt1): Likewise.
* interp/i-intern.boot (mkAtree3): Likewise.
(collectDefTypesAndPreds): Likewise.
* interp/i-map.boot (args2Tuple): Likewise.
(makePattern): Likewise.
(canMakeTuple): Likewise.
(makeRuleForm): Likewise.
(numArgs): Likewise.
(combineMapParts): Likewise.
(mkMapPred): Likewise.
(findLocalVars1): Likewise.
* interp/i-output.boot (outputTran): Likewise.
* interp/i-spec1.boot ($specialOps): Likewise.
(evalUntargetedADEF): Likewise.
(upDeclare): Likewise.
(declare): Likewise.
* interp/i-spec2.boot (upDollarTuple): Likewise.
(upLET): Likewise.
(isTupleForm): Remove.
(uptuple): Rename from upTuple.
(upLETWithFormOnLhs): Use "tuple" for parse forms that are not
type instantiations.
* interp/i-syscmd.boot (displayMacro): Likewise.
* interp/pf2atree.boot (pf2Atree1): Likewise.
* interp/pf2sex.boot (pf2Sex1): Likewise.
(pfApplication2Sex): Likewise.
(pfCollectArgTran): Likewise.
* interp/ptrees.boot (pfTuple): Likewise.
(pfTuple?): Likewise.
|
|
|
|
* interp/i-map.boot: Likewise. Allocate fresh cell for $env.
* interp/i-spec1.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/i-toplev.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/setvars.boot: Likewise.
* interp/sys-globals.boot: Likewise.
* interp/nruncomp.boot: Encode flag types too.
* interp/template.boot: Likewise.
* share/algebra: Update databases.
|
|
|
|
value for empty environments.
* interp/database.boot (rebuildCDT): Likewise.
* interp/i-map.boot (addDefMap): Likewise.
(rewriteMap0): Likewise.
(rewriteMap1): Likewise.
(compileDeclaredMap): Likewise.
(analyzeUndeclaredMap): Likewise.
* interp/i-spec1.boot: Likewise.
* interp/i-syscmd.boot (reportOperations): Likewise.
* interp/i-toplev.boot (interpret): Likewise.
* interp/lisplib.boot (loadLib): Likewise.
(loadLibNoUpdate): Likewise.
* interp/setvars.boot (resetWorkspaceVariables): Likewise.
* interp/spad.lisp ($e): Move definition to sys-globals.boot.
($env): Likewise.
* interp/sys-globals.boot ($e): Define here.
($env): Likewise.
* algebra/any.spad.pamphlet (ObjectProperty): New.
(Binding): Likewise.
(Contour): Likewise.
(Scope): Likewise.
(Environment): Likewise.
* algebra/exposed.lsp.pamphlet: Expose ObjectProperty, Binding,
Contour, Scope, and Environment.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include
OBJPROP.o.
(axiom_algebra_layer_1): Include BINDING.o
(axiom_algebra_layer_2): Include CONTOUR.o
(axiom_algebra_layer_3): Include SCOPE.o
(axiom_algebra_layer_4): Include ENV.o
* share/algebra: Update database.
|
|
* i-intern.boot: Likewise.
* i-map.boot: Likewise.
* i-spec2.boot: Likewise.
* i-spec1.boot: Likewise.
|
|
* ax.boot: Likewise.
* cattable.boot: Likewise.
* compiler.boot: Likewise.
* def.lisp: Likewise.
* define.boot: Likewise.
* functor.boot: Likewise.
* g-opt.boot: Likewise.
* i-analy.boot: Likewise.
* i-intern.boot: Likewise.
* i-map.boot: Likewise.
* i-object.boot: Likewise.
* i-output.boot: Likewise.
* i-spec2.boot: Likewise.
* info.boot: Likewise.
* mark.boot: Likewise.
* nrunopt.boot: Likewise.
* package.boot: Likewise.
* parse.boot: Likewise.
* pf2atree.boot: Likewise.
* pf2sex.boot: Likewise.
* postpar.boot: Likewise.
* pspad2.boot: Likewise.
* wi2.boot: Likewise.
|
|
|
|
|
|
|