Age | Commit message (Collapse) | Author | Files | Lines |
|
* interp/Makefile.pamphlet: Adjust.
|
|
bootstrapping objects to final algebra directory.
(%.NRLIB/code.$(FASLEXT)): Specify bootstrapping objects location
as option.
|
|
* interp/sys-driver.boot (algebraBootstrapDir): New.
* interp/lisplib.boot (findModule): New.
(loadLib): Use it.
* interp/daase.lisp (localdatabase): Make sure loadable modules
have proper extensions.
* interp/sys-utility.boot (existingFile?): New.
|
|
(parseDollarGreaterEqual): Likewise.
(parseDollarLessEqual): Likewise.
(parseDolloarNotEqual): Likewise.
|
|
* include/addfile.h: Move from hyper.
* include/addfile.H1: Move external declarations into
addfile.h. Remove.
|
|
* include/addfile.H1: Move external declarations into
addfile.h. Remove.
|
|
* clef/edible.c: Don't include useproto.h. Include sockio.h
* graph/view3D/surface3d.c.pamphlet: Likewise.
* graph/viewman/fun2D.c.pamphlet: Likewise.
* graph/viewman/fun3D.c.pamphlet: Likewise.
* graph/viewman/make2D.c.pamphlet: Likewise.
* graph/viewman/make3D.c.pamphlet: Likewise.
* graph/viewman/makeGraph.c.pamphlet: Likewise.
* graph/viewman/sselect.c.pamphlet: Likewise.
* graph/viewman/viewman.c.pamphlet: Likewise.
* graph/viewman/viewman.h: Likewise.
* hyper/ReadBitmap.c: Likewise.
* hyper/addfile.c: Likewise.
* hyper/cond.c: Likewise.
* hyper/debug.c: Likewise.
* hyper/dialog.c: Likewise.
* hyper/display.c: Likewise.
* hyper/event.c: Likewise.
* hyper/ex2ht.c: Likewise.
* hyper/extent1.c: Likewise.
* hyper/extent2.c: Likewise.
* hyper/form-ext.c: Likewise.
* hyper/group.c: Likewise.
* hyper/halloc.c: Likewise.
* hyper/hash.c: Likewise.
* hyper/htadd.c: Likewise.
* hyper/hterror.c: Likewise.
* hyper/htinp.c: Likewise.
* hyper/hyper.c: Likewise.
* hyper/initx.c: Likewise.
* hyper/input.c: Likewise.
* hyper/item.c: Likewise.
* hyper/keyin.c: Likewise.
* hyper/lex.c: Likewise.
* hyper/macro.c: Likewise.
* hyper/mem.c: Likewise.
* hyper/parse-aux.c: Likewise.
* hyper/parse-input.c: Likewise.
* hyper/parse-paste.c: Likewise.
* hyper/parse-types.c: Likewise.
* hyper/parse.c: Likewise.
* hyper/scrollbar.c: Likewise.
* hyper/show-types.c: Likewise.
* hyper/spadbuf.c: Likewise.
* hyper/spadint.c: Likewise.
* hyper/titlebar.c: Likewise.
* lib/sockio-c.c: Likewise.
* sman/session.c: Likewise.
* sman/sman.c: Likewise.
* include/useproto.h: Remove.
|
|
|
|
types.
|
|
value from $(axiom_algebra_bootstrap).
(axiom_algebra_layer_0): Include more categories.
(axiom_algebra_layer_1): Likewise.
(axiom_algebra_layer_2): Likewise.
(axiom_algebra_layer_3): Likewise.
(axiom_algebra_layer_4): Remove some constructors.
(axiom_algebra_layer_5): Likewise.
|
|
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.
|
|
Tuple coercion behind the scene.
* interp/i-output.boot (output): Likewise.
|
|
(|resetErrorCount|): New export function.
* interp/vmlisp.lisp (opOf): Remove macro definition.
* interp/msg.boot (setMsgCatlessAttr): Fix thinko.
* interp/monitor.lisp (monitor-add): Remove extra right parenthesis.
* interp/lisplib.boot: Import "debug".
(initializeLisplib): Don't use ERRORS variable.
* interp/i-spec1.boot (isDomainValuedVariable): Tidy.
* interp/i-output.boot (outputTran): Use SIZE instead of #.
(output): Remove misguided conversion from Tuple to List.
* interp/i-coerce.boot (coerceInteractive): Allow domain object
convesions.
* interp/g-util.boot (opOf): Declare.
* interp/Makefile.pamphlet (lisplib.$(FASLEXT)): Depend on
debug.$(FASLEXT).
* algebra/Makefile.pamphlet: Use .$(FASLEXT) instead of hardcoded
.o extension.
|
|
functions `parameters' and `body'.
* algebra/domain.spad.pamphlet: Rename from algebra/domain.spad.
(Category): New category.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include
CATEGORY.o.
(DOMAIN.NRLIB/code.$(FASLEXT)): Remove rule.
* interp/trace.boot (transTraceItem): Use $LangSupportTypes.
* interp/sys-constants.boot ($None): New.
($Type): Likewise.
($LangSupportTypes): Likewise.
* interp/parse.boot (parseHas): Use $LangSupportTypes.
(parseHasRhs): Likewise.
* interp/i-spec2.boot (upLETtype): Use conceptualType.
(uptypeOf): Likewise.
(upwhere): Likewise.
(typeOfType): Remove.
* interp/i-spec1.boot (isDomainValuedVariable): Variables with
type Category and Type are domain valued too.
* interp/i-output.boot (output): Special case only Mode and Type.
* interp/i-funsel.boot (selectMms): Don't ignore modemaps with
category parameters.
* interp/i-coerce.boot (canCoerce1): Test for Category instead of
SubDomain Domain.
(canCoerceFrom0): Use $None and $Any.
(absolutelyCannotCoerce): Use $None.
(coerceInteractive): Use $LangSupportTypes.
(coerceInt1): Use $Any.
* interp/i-analy.boot (conceptualType): New.
(bottomUpType): Use it.
* interp/clammed.boot (isValidType): Use $LangSupportTypes.
* interp/g-cndata.boot (isNameOfType): Likewise.
* interp/category.boot (Category): Remove hacky definition.
* interp/buildom.boot ($noCategoryDomains): Domain now has a
Lisplib.
|
|
* interp/sys-utility.boot (delete): Fix thinko.
* interp/sys-globals.boot ($sourceFiles): Define here.
(INPUTSTREAM): Likewise.
* interp/i-syscmd.boot (UNDERBAR): Move to sys-globals.boot.
* interp/fname.lisp: Import "macros".
* interp/debug.lisp: Import "parsing".
Replace $PRETTYPRINT with $PrettyPrint.
(/FN): Define.
(depthAlist): Likewise.
* interp/br-search.boot (docSearch1): Fix thinko.
* interp/Makefile.pamphlet (debug.$(FASLEXT)): Depend on
parsing.$(FASLEXT).
* interp/i-output.boot (starstarcond): Remove used function.
(transcomparg): Likewise.
(MATBORCH): Define here.
(*TALLPAR): Likewise.
* interp/vmlisp.lisp (|char|): Remove duplicate definition.
|
|
|
|
(bTry): Use it.
* boot/strap: Update.
|
|
|
|
* boot/tokens.boot (shoeKeyWords): Add new keywords.
* boot/ast.boot (Ast): Include three new nodes.
(bfTry): New.
(bfThrow): Likewise.
* boot/parser.boot ($bodyHasReturn): Remove.
(bpNoteReturnStmt): Likewise.
(bpThrow): New.
(bpTry): Likewise.
(bpPiledCatchItems): Likewise.
(bpCatchItemList): Likewise.
(bpExceptionHead): Likewise.
(bpExceptionTail): Likewise.
(bpException): Likewise.
(bpCatchItem): Likewise.
(bpReturn): Include `throw' expressions.
(bpStatement): Include `try' expressions.
* interp/macros.lisp (|tryLine|): Rename from |try|.
* interp/pspad1.boot: Replace `try' with `tryLine' throughout.
|
|
|
|
script execution quiet. Support --verbose for verbose processing.
|
|
|
|
|
|
|
|
(sys-utility.$(FASLEXT)): New rule.
* interp/sys-utility.boot: New.
* interp/macros.lisp (|functionp|): Move to sys-utility.boot.
(|macrop|): Likewise.
(|delete|): Likewise.
(CONTAINED, contained\,eq, contained\,equal): Likewise.
(ASSOCLEFT): Likewise.
(ASSOCRIGHT): Likewise.
(ADDASSOC): Likewise.
(DELLASOS): Likewise.
(LASSOC): Likewise.
(|rassoc|): Likewise.
|
|
|
|
(|G-stdinVar|): Likewise.
(|G-stderrVar|): Likewise.
(|FormatNumber|): Bind local variable; don't just assign to it.
(|magicEq1|): Tidy.
* interp/debug.lisp: Don't declare `COUNT as SPECIAL.
Remove reference to LISP package. Remove CCL special-cased
definitions.
* interp/comp.lisp ($closedfns): Define.
* interp/cfuns.lisp (|getEnv|): Define only for GCL, for the time
being.
|
|
(bpOutItem): Use it.
* boot/ast.boot (needsPROG): New.
(shoeCompTran): Use it. Tidy.
(bfMain): Define cache variables before functions manipulating them.
* boot/strap/: Update cached Lisp translations.
* interp/g-timer.boot: Use assignment instead of SETANDFILEQ at
toplevel.
* interp/i-syscmd.boot: Likewise.
* interp/pf2atree.boot: Likewise.
* interp/trace.boot: Likewise.
|
|
* interp/int-top.boot (intloopReadConsole): Remove code for
$DALYMODE.
* interp/define.boot ($NRTopt): Define.
($suffix): Likewise.
* interp/debug.lisp (S-SPADKEY): Define.
* interp/Makefile.pamphlet (OBJS): Don't include setq.$(FASLEXT).
(setq.$(FASLEXT)): Remove rule.
* interp/setq.lisp: Remove.
|
|
|
|
(XTOKENREADER): Don't set; define.
* interp/setvars.boot (resetWorkspaceVariables): Don't reset
$coerceIntByMapCounter.
* interp/setq.lisp: Stop redundant assignments.
* interp/nrunfast.boot ($NRTmonitorIfTrue): Define here.
* interp/i-object.boot (objEnv): Use $EmptyEnvironment.
* interp/i-coerce.boot ($useConvertForCoercions): Likewise.
* interp/format.boot ($abbreviateJoin): Define here.
|
|
|
|
|
|
($insideCanCoerceFrom): Define.
* interp/setq.lisp: Remove more unused variables.
* interp/patches.lisp (/RF-1): Tidy.
* interp/server.boot (parseAndInterpret): Likewise.
* interp/packtran.boot ($useNewParser): Remove.
* interp/ht-util.boot (parseAndEval): Tidy.
* interp/clam.boot ($failed): Define.
* interp/g-timer.boot ($printStorageIfTrue): Likewise.
* interp/hashcode.boot ($DomainsWithoutLisplibs): Likewise.
* interp/i-coerce.boot ($useCoerceOrCroak): Likewise.
* interp/i-analy.boot ($univariateDomains): Likewise.
($multivariateDomains): Likewise.
* interp/i-object.boot ($useIntegerSubdomain): Likewise.
* interp/i-syscmd.boot ($existingFiles): Likewise.
* interp/newfort.boot ($fortranArrayStartingIndex): Likewise.
* interp/setvars.boot (resetWorkspaceVariables): Don't reset
$dependeeClosureAlist.
|
|
($insideCanCoerceFrom): Define.
* interp/setq.lisp: Remove more unused variables.
* interp/patches.lisp (/RF-1): Tidy.
* interp/server.boot (parseAndInterpret): Likewise.
* interp/packtran.boot ($useNewParser): Remove.
* interp/ht-util.boot (parseAndEval): Tidy.
* interp/clam.boot ($failed): Define.
* interp/g-timer.boot ($printStorageIfTrue): Likewise.
* interp/hashcode.boot ($DomainsWithoutLisplibs): Likewise.
* interp/i-coerce.boot ($useCoerceOrCroak): Likewise.
* interp/i-analy.boot ($univariateDomains): Likewise.
($multivariateDomains): Likewise.
* interp/i-object.boot ($useIntegerSubdomain): Likewise.
* interp/i-syscmd.boot ($existingFiles): Likewise.
* interp/newfort.boot ($fortranArrayStartingIndex): Likewise.
* interp/setvars.boot (resetWorkspaceVariables): Don't reset
$dependeeClosureAlist.
|
|
* interp/nruncomp.boot ($Slot1DataBase): Define here.
* interp/parse.boot ($oldParserExpandAbbrs): Likewise.
* interp/define.boot ($mutableDomains): Define here.
(compDefineFunctor1): Tidy.
(clearCmdCompletely): Don't set $functionTable.
|
|
|
|
|
|
|
|
|
|
|
|
* boot/ast.boot (bfUntuple): New.
(bfTagged): Toplevel tags are signatures.
* boot/parser.boot (bpTyping): New.
(bpTagged): Use it.
* boot/translator.boot (genDeclaration): New.
(bpOutItem): Use it.
* interp/compiler.boot: Add type annotations for compiler routines.
* lisp/Makefile.in ($(OUT)/lisp$(EXEEXT)): Don't turn on emit-fn.
|
|
* boot/translator.boot: New.
* boot/translator.boot: Remove.
* boot/tokens.boot: New.
* boot/tokens.boot.pamphlet: Remove.
* boot/scanner.boot: New.
* boot/scanner.boot.pamphlet: Remove.
* boot/pile.boot: New.
* boot/pile.boot.pamphlet: Remove.
* boot/parser.boot: New.
* boot/parser.boot.pamphlet: New.
* boot/initial-env.lisp: New.
* boot/initial-env.lisp.pamphlet: Remove.
* boot/includer.boot: New.
* boot/includer.boot.pamphlet: Remove.
* boot/ast.boot: New.
* boot/ast.boot.pamphlet: Remove.
|
|
* interp/c-util.boot (dollarIfRepHack): New.
(RepIfRepHack): Likewise.
(substituteDollarIfRepHack): Likewise.
(isSubset): Dollar is subset of Rep only in old semantics.
* interp/buildom.boot (mkMappingFunList): Substitute dollar for
Rep only when appropriate.
(mkRecordFunList): Likewise.
(mkNewUnionFunList): Likewise.
(mkUnionFunList): Likewise.
* interp/compiler.boot (compNoStacking): Likewise.
(compNoStacking1): Likewise.
(getConstructorFormOfMode): Likewise.
(isUnionMode): Likewise.
(coerce): Likewise.
(coerceSubset): Likewise.
* interp/modemap.boot (addModemap1): Likewise.
(isSuperDomain): Likewise.
* interp/define.boot (maybeInsertViewMorphisms): New.
(compCapsule): Use it.
(compCategoryItem): Don't allow exports of rep and per.
* interp/sys-globals.boot ($useRepresentationHack): New.
|
|
* 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.
|
|
* interp/i-syscmd.boot (displayOperationsFromLisplib): Say no
exported operations when there is nothing to display.
|
|
* interp/i-spec1.boot (compileADEFBody): Don't evaluate unnamed
functions. Compile them instead.
* testsuite/interpreter/aw-272.input: New.
|
|
|
|
|