Age | Commit message (Collapse) | Author | Files | Lines |
|
symbols.
* algebra/any.spad.pamphlet: Use nil for empty list.
* algebra/boolean.spad.pamphlet: Fix quoting.
|
|
upDollar.
(upDollar): Use it. Don't return general constants as mappings.
* interp/fnewmeta.lisp (|PARSE-FloatTok|): Fix typo.
|
|
(NRTaddInner): Likewise.
* interp/nrunfast.boot (lazyMatch): Handle Enumeration.
(newExpandLocalTypeForm): Likewise.
* interp/lisplib.boot (isFunctor): Enumeration is a functor too.
* interp/nruncomp.boot (NRTencode): Encode Enumeration too.
|
|
* interp/server.boot (parseAndInterpret): Don't set $BOOT.
* interp/setvars.boot (resetWorkspaceVariables): Likewise.
* interp/spad-parser.boot (parseSpadFile): Likewise.
* interp/postpar.boot: Disable Old Boot handling codes.
* interp/metalex.lisp (quote-if-string): Don't test for $BOOT.
* interp/parsing.lisp (IOStat): Likewise.
(IOClear): Likewise.
* interp/ht-util.boot (parseAndEval): Don't set $BOOT.
* interp/int-top.boot (ncTopLevel): Likewise.
* interp/fnewmeta.lisp: Remove Old Boot specific productions.
* interp/sys-macros.lisp (-REDUCE): Don't test for $BOOT.
(SPADDO): Likewise.
* interp/comp.lisp (COMP-TRAN-1): Likewise.
* interp/util.lisp (|string2SpadTree|): Likewise.
* interp/bootlex.lisp (READBOOT): Remove.
(READ-BOOT): Likewise.
(spad): Don't initialize $BOOT.
* interp/debug.lisp (/D-2): Likewise.
|
|
string2BootTree.
* boot/translator.boot (BOOTTOCL): Tidy.
(BOOTTOCLC): Likewise.
(BOOTTOCLLINES): Likewise.
(BOOTTOCLCLINES): Likewise.
(string2BootTree): Define.
(translateToplevelExpression): Tidy.
(translateToplevel): Handle atoms. Tidy.
(shoePCompileTrees): Don't use bStreamPackageNull.
* interp/boot-pkg.lisp: Import $interactiveMode and string2BootTree.
* interp/util.lisp (string2BootTree): Remove.
(OLD-BOOT::BOOT): Likewise.
* interp/bootlex.lisp (boot): Likewise.
(boot-parse-1): Likewise.
* interp/compiler.boot (compileNot): Fix thinko.
* interp/sys-globals.boot ($InteractiveMode): Don't define here.
|
|
(parseNotEqual): Likewise.
* interp/compiler.boot (compCompilerPredicate): New.
(compileNot): Use it.
* interp/define.boot (compSubDomain1): Likewise.
(doItIf): Likewise.
* interp/bootlex.lisp (boot): Set $nornamizeTree.
* algebra/Makefile.pamphlet (axiom_algebra_layer_9): Move from
layer 4 to here.
|
|
tree codes.
(parseConstruct): Handle parse tree code.
(parseUpArrow): Likewise.
(parseLeftArrow): Likewise.
(parseIs): Likewise.
(parseIsnt): Likewise.
(parseLET): Likewise.
(parseLETD): Likewise.
(parseColon): Likewise.
(parseBigelt): Likewise.
(parseCoerce): Likewise.
(parseAtSign): Likewise.
(parsePretend): Likewise.
(parseHas): Likewise.
(parseDEF): Likewise.
(parseMDEF): Likewise.
(parseCategory): Likewise.
(parseGreaterThan): Likewise.
(parseGreaterEqual): Likewise.
(parseLessEqual): Likewise.
(parseNotEqual): Likewise.
(parseAnd): Likewise.
(parseOr): Likewise.
(parseEquivalence): Likewise.
(parseImplies): Likewise.
(parseExclusiveOr): Likewise.
(parseExit): Likewise.
(parseLeave): Likewise.
(parseReturn): Likewise.
(parseJoin): Likewise.
(parseInBy): Likewise.
(parseSegment): Likewise.
(parseIn): Likewise.
(parseIf): Likewise.
(parseWhere): Likewise.
(parseSeq): Likewise.
(parseVCONS): Likewise.
|
|
(NRTgetLocalIndexClear): Remove.
(NRTgetLocalIndex1): Lose second unused argument; move body to
NRTgetLocalIndex.
* interp/define.boot (doIt): Call NRTgetLocalIndex, not
NRTgetLocalIndexClear.
* interp/wi2.boot (NRTgetLocalIndex): Rename from NRTgetLocalIndex1.
|
|
(getFormModemaps): Likewise.
(compComma): New.
* interp/c-util.boot (isTupleInstance): New.
(isHomoegenousVarargSignature): Likewise.
(enoughArguments): Likewise.
(wantArgumentsAsTuple): Likewise.
* interp/apply.boot (reshapeArgumentList): New.
(compFormWithModemap): Use it.
|
|
* algebra/multpoly.spad.pamphlet (IndexedExponents): Fix comment type.
|
|
(isCategoryForm): Likewise. Tidy.
(mkCategory): Likewise.
|
|
|
|
(nruntime.$(FASLEXT)): Remove rule.
* interp/g-util.boot (getShellEntry): Move from interp/nruntime.boot.
(setShellEntry): Likewise.
* interp/i-util.boot (devaluateDeeply): Likewise.
* interp/lisplib.boot (unloadOneConstructor): Likewise.
* interp/nrungo.boot (lookupDisplay): Likewise.
(isIntantiated): Likewise
* interp/package.boot (isCategoryPackageName): Likewise.
* interp/nruntime.boot: Remove.
|
|
* algebra/syntax.spad.pamphlet (ConstructorCall): Now a member of
SetCategory.
(Domain): Likewise.
* share/algebra: Update databases.
* testsuite/interpreter/aw-428.input: New.
|
|
name, not by pointers.
|
|
(compQuietly): Likewise.
(compileQuietly): Likewise.
* interp/macros.lisp (PRINT-AND-EVAL-DEFUN): Move to sys-utility.boot.
(EVAL-DEFUN): Likewise.
(COMPILE-DEFUN): Likewise.
|
|
|
|
|
|
|
|
(COMP): Likewise.
(|compQuietly|): Likewise.
(|compileQuietly|): Likewise.
(COMP-1): Likewise.
|
|
was indeed abbreviated a category.
|
|
|
|
|
|
* interp/i-spec2.boot (uphas): When compiling a function, don't
bother evaluating type variables.
* testsuite/interpreter/aw-412.input: Add.
|
|
Category are conceptually abstract.
* testsuite/interpreter/category.input: Add a testcase.
|
|
all domains belong to Category.
|
|
* testsuite/interpreter/show.input: New.
|
|
OrderedSemiGroup and a Monoid.
* share/algebra: Updata databases.
|
|
* hyper/node.h [!X_DISPLAY_MISSING]: Use it.
|
|
* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include OSGROUP.
|
|
is an Expression, but not a fraction.
|
|
* hyper/parse-types.c (htperror): Fix thinko.
|
|
* interp/compiler.boot (compReturn): Robustify.
(unknownTypeError): Likewise.
* interp/info.boot (knownInfo): Likewise.
|
|
|
|
* etc/Makefile.in: Make all databases part of the final system.
|
|
|
|
|
|
|
|
Prefix enumerations with "openaxiom_".
* hyper/cond.c: Adjust.
* hyper/display.c: Likewise.
* hyper/event.c: Likewise.
* hyper/extent1.c: Likewise.
* hyper/extent2.c: Likewise.
* hyper/htadd.c: Likewise.
* hyper/htinp.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/spadint.c: Likewise.
* hyper/titlebar.c: Likewise.
|
|
|
|
* hyper/htadd.c: Don't include hyper.h. Include cfuns.h and
node.h instead.
|
|
* include/ex2ht.H1: Remove.
* include/hthits.H1: Remove.
|
|
|
|
sockio.h. Include node.h.
* hyper/hyper.h: Don't include X11 headers. Include node.h.
Mode node data structures to node.h.
* hyper/cond.c: Don't include hterror.h. Include lex.h
* hyper/Makefile.in (HEADERS): Include node.h. Remove hterror.h.
(hypertex_SOURCES): Remove hterror.c
(htadd_SOURCES): Likewise.
* hyper/node.h: New.
* hyper/hterror.h: Remove.
* hyper/hterror.c (token_name): Move to hyper/lex.c.
(print_token): Likewise.
(print_next_ten_tokens): Likewise.
(print_page_and_filename): Likewise.
(jump): Likewise.
(ebuffer): Likewise.
(htperror): Move to parse-types.c
Remove file.
|
|
(oa_access_file_for_read): Likewise.
* lib/cfuns-c.c (oa_getcwd): Define.
(oa_access_file_for_read): Likewise.
(oa_get_tmpdir): Likewise.
* hyper/addfile.c: Don't include hyper.h
(build_ht_filename): Use oa_getcwd, oa_access_file_for_read.
(temp_file_open): Use oa_get_tmpdir.
* hyper/htadd.c (build_db_filename): Don't fall back to bogus
filename.
* hyper/hyper.h (temp_dir): Remove.
(def_spad): Likewise.
|
|
(gPageBeingParsed): Likewise.
* hyper/htadd.c (session_server): Remove.
(MenuServerOpened): Likewise.
(gXDisplay): Likewise.
(gXScreenNumber): Likewise.
* hyper/lex.c (reset_connection): Move to hyper/parse.c
(connect_spad): Move to hyper/spadint.c
(spad_busy): Likewise.
(get_char1): Remove conditional code.
* hyper/Makefile.in (mostclean-local): Tidy.
|
|
* include/halloc.h: Rename from include/halloc.H1.
* include/lex.H1: Remove.
* include/hterror.H1: Likewise.
* hyper/halloc.c: Likewise.
* hyper/hash.c: Likewise.
* hyper/Makefile.in (hypertex_SOURCES): Don't include hash.c,
halloc.c.
|
|
* algebra/sttaylor.spad.pamphlet
(powern$StreamTaylorSeriesOperations): Tidy.
|
|
* algebra/free.spad.pamphlet (<$FreeAbelianGroup): Fix ordering.
|
|
|