aboutsummaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2008-07-06 * interp/parse.boot ($normalizeTree): New.dos-reis7-23/+54
(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.
2008-07-06 * interp/parse.boot (parseTran): Don't set $op. Don't strip parsedos-reis2-63/+113
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.
2008-07-05 * interp/nruncomp.boot (NRTassocIndex): Document.dos-reis4-9/+25
(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.
2008-07-04 * interp/compiler.boot (compFormMatch): Tidy.dos-reis9-23/+108
(getFormModemaps): Likewise. (compComma): New. * interp/c-util.boot (isTupleInstance): New. (isHomoegenousVarargSignature): Likewise. (enoughArguments): Likewise. (wantArgumentsAsTuple): Likewise. * interp/apply.boot (reshapeArgumentList): New. (compFormWithModemap): Use it.
2008-07-04 Fix AW/429dos-reis2-2/+7
* algebra/multpoly.spad.pamphlet (IndexedExponents): Fix comment type.
2008-07-04 * interp/category.boot (isCategory): Document.dos-reis2-46/+77
(isCategoryForm): Likewise. Tidy. (mkCategory): Likewise.
2008-07-04Update databases.dos-reis5-20001/+20002
2008-07-04 * interp/Makefile.pamphlet (OBJS): Don't include nruntime.$(FASLEXT).dos-reis9-80/+55
(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.
2008-07-03 Fix AW/428dos-reis4-7/+27
* algebra/syntax.spad.pamphlet (ConstructorCall): Now a member of SetCategory. (Domain): Likewise. * share/algebra: Update databases. * testsuite/interpreter/aw-428.input: New.
2008-07-03 * interp/postpar.boot (postBootNotEqual): Register post-parsers bydos-reis2-33/+36
name, not by pointers.
2008-07-03 (compAndDefine): Capture by name, not pointer.dos-reis4-19/+32
(compQuietly): Likewise. (compileQuietly): Likewise. * interp/macros.lisp (PRINT-AND-EVAL-DEFUN): Move to sys-utility.boot. (EVAL-DEFUN): Likewise. (COMPILE-DEFUN): Likewise.
2008-07-02 (coerceExtraHard): Convert domain instantiations to domain objects.dos-reis2-8/+11
2008-07-02 * interp/compiler.boot (compExpression): Tidy.dos-reis2-2/+7
2008-06-14 * algebra/variable.spad.pamphlet (ModePatternVariable): New.dos-reis8-19445/+19465
2008-06-03 * interp/comp.lisp (|compAndDefine|): Move to interp/compiler.bootdos-reis4-71/+49
(COMP): Likewise. (|compQuietly|): Likewise. (|compileQuietly|): Likewise. (COMP-1): Likewise.
2008-06-03 * interp/define.boot (compDefineCategory): Check that a categorydos-reis3-0/+12
was indeed abbreviated a category.
2008-05-31(no commit message)dos-reis6-18462/+18467
2008-05-30Fix typo in getConstructorKindFromDBBill Page1-1/+1
2008-05-29 Fix AW/421.dos-reis3-2/+18
* interp/i-spec2.boot (uphas): When compiling a function, don't bother evaluating type variables. * testsuite/interpreter/aw-412.input: Add.
2008-05-29 * interp/i-analy.boot (conceptualType): Only Mode, Domain, anddos-reis3-2/+19
Category are conceptually abstract. * testsuite/interpreter/category.input: Add a testcase.
2008-05-29 * interp/interop.boot (newHasCategory): Category is a category, anddos-reis2-1/+6
all domains belong to Category.
2008-05-29 * interp/showimp.boot (showPredicates): Fix typo.dos-reis3-1/+7
* testsuite/interpreter/show.input: New.
2008-05-29 * algebra/catdef.spad.pamphlet (OrderedMonoid): Nowndos-reis7-16990/+16995
OrderedSemiGroup and a Monoid. * share/algebra: Updata databases.
2008-05-28 * include/open-axiom.h (openaxiom_handle): New datatype.dos-reis3-7/+21
* hyper/node.h [!X_DISPLAY_MISSING]: Use it.
2008-05-28 * algebra/catdef.spad.pamphlet (OrderedSemiGroup): New.dos-reis9-24260/+24284
* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include OSGROUP.
2008-05-24 * interp/i-coerce.boot (retract2Specialization): Leave if objectdos-reis2-0/+4
is an Expression, but not a fraction.
2008-05-24 * interp/define.boot (compDefineFunctor1): Robustify.dos-reis3-7/+10
* hyper/parse-types.c (htperror): Fix thinko.
2008-05-24 * interp/c-util.boot (stackAndThrow): Take an optional parameter.dos-reis4-12/+18
* interp/compiler.boot (compReturn): Robustify. (unknownTypeError): Likewise. * interp/info.boot (knownInfo): Likewise.
2008-05-24 * algebra/modgcd.spad.pamphlet: Fix sectioning thinko.dos-reis2-1/+4
2008-05-23 Fix AW/57dos-reis2-21/+40
* etc/Makefile.in: Make all databases part of the final system.
2008-05-23Fix breakage from last commits.dos-reis8-2457/+2478
2008-05-23Minimize build noise on win32dos-reis5-25/+38
2008-05-23Port htadd to win32dos-reis8-104/+65
2008-05-22 * hyper/token.h: Avoid numeric constants macros. dos-reis21-1444/+1495
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.
2008-05-22Avoid numeric constants macros.dos-reis9-2633/+2630
2008-05-22 * hyper/hyper.h: Move lexing stuff to hyper/lex.hdos-reis7-14/+16
* hyper/htadd.c: Don't include hyper.h. Include cfuns.h and node.h instead.
2008-05-22 * hyper/hthits.c (regerr): Remove.dos-reis6-463/+433
* include/ex2ht.H1: Remove. * include/hthits.H1: Remove.
2008-05-22Fix build breakage on Win32.dos-reis2-3/+7
2008-05-22 * hyper/lex.c: Don't include hyper.h, hterror.h anddos-reis14-740/+802
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.
2008-05-21 * include/cfuns.h (oa_get_tmpdir): Declare.dos-reis7-20/+112
(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.
2008-05-21 * hyper/hyper.h (connect_spad): Declare.dos-reis29-69/+101
(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.
2008-05-21 * graph/Gdraws/Makefile.in (HEADERS): Don't include hash.H1.dos-reis22-350/+108
* 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.
2008-05-21 Fix AW/32dos-reis2-8/+108
* algebra/sttaylor.spad.pamphlet (powern$StreamTaylorSeriesOperations): Tidy.
2008-05-21 Fix AW/343dos-reis2-2/+7
* algebra/free.spad.pamphlet (<$FreeAbelianGroup): Fix ordering.
2008-05-20(no commit message)dos-reis3-2/+13
2008-05-19 * boot/ast.boot: Cleanup.dos-reis14-369/+532
* boot/includer.boot: Likewise. * boot/parser.boot: Likewise. * boot/pile.boot: Likewise. * boot/scanner.boot: Likewise. * boot/tokens.boot: Likewise. * boot/translator.boot: Likewise.
2008-05-19 Port from btx-branch.dos-reis3-8/+47
* lisp/core.lisp.in ($effectiveFaslType): New. * boot/translator.boot (needsStableReference?): Handle the ECL case. (coerceToNativeType): Likewise. (genImportDeclaration): Likewise. (shoeRemoveStringIfNec): Fix thinko. ($bootDefined): Define. ($bootDefinedTwice): Likewise. ($lispWordTable): Likewise. (getIntermediateLispFile): Use $effectiveFaslType. (loadSystemRuntimeCore): Use coreError, not systemError.
2008-05-18 Fix AW/412dos-reis2-1/+7
* algebra/aggcat.spad.pamphlet (=$TableAggregate): Fix thinko.
2008-05-18 Fix AW/149dos-reis4-3/+47
* hyper/keyin.h (UnsupportedModMask): Rename from ShiftModMask. * hyper/keyin.c (UnsupportedModMask): Likewise. (get_modifier_mask): New. (init_keyin): Use it. * hyper/dialog.c (dialog): Adjust.
2008-05-18 Fix AW/117dos-reis2-0/+10
* algebra/vector.spad.pamphlet (DirectProductCategory): Also a Monoid is base type belongs to Monoid. (DirectProduct): Implement multiplication is base type belongs to Monoid.