aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
AgeCommit message (Collapse)AuthorFilesLines
2008-06-14 * algebra/variable.spad.pamphlet (ModePatternVariable): New.dos-reis1-0/+4
2008-06-03 * interp/comp.lisp (|compAndDefine|): Move to interp/compiler.bootdos-reis1-0/+6
(COMP): Likewise. (|compQuietly|): Likewise. (|compileQuietly|): Likewise. (COMP-1): Likewise.
2008-06-03 * interp/define.boot (compDefineCategory): Check that a categorydos-reis1-0/+5
was indeed abbreviated a category.
2008-05-29 Fix AW/421.dos-reis1-0/+7
* 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-reis1-0/+7
Category are conceptually abstract. * testsuite/interpreter/category.input: Add a testcase.
2008-05-29 * interp/interop.boot (newHasCategory): Category is a category, anddos-reis1-0/+5
all domains belong to Category.
2008-05-29 * interp/showimp.boot (showPredicates): Fix typo.dos-reis1-0/+5
* testsuite/interpreter/show.input: New.
2008-05-29 * algebra/catdef.spad.pamphlet (OrderedMonoid): Nowndos-reis1-0/+6
OrderedSemiGroup and a Monoid. * share/algebra: Updata databases.
2008-05-28 * include/open-axiom.h (openaxiom_handle): New datatype.dos-reis1-0/+5
* hyper/node.h [!X_DISPLAY_MISSING]: Use it.
2008-05-28 * algebra/catdef.spad.pamphlet (OrderedSemiGroup): New.dos-reis1-0/+5
* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include OSGROUP.
2008-05-24 * interp/i-coerce.boot (retract2Specialization): Leave if objectdos-reis1-0/+3
is an Expression, but not a fraction.
2008-05-24 * interp/define.boot (compDefineFunctor1): Robustify.dos-reis1-0/+5
* hyper/parse-types.c (htperror): Fix thinko.
2008-05-24 * interp/c-util.boot (stackAndThrow): Take an optional parameter.dos-reis1-0/+5
* interp/compiler.boot (compReturn): Robustify. (unknownTypeError): Likewise. * interp/info.boot (knownInfo): Likewise.
2008-05-24 * algebra/modgcd.spad.pamphlet: Fix sectioning thinko.dos-reis1-0/+4
2008-05-23 Fix AW/57dos-reis1-0/+5
* etc/Makefile.in: Make all databases part of the final system.
2008-05-22 * hyper/token.h: Avoid numeric constants macros. dos-reis1-0/+19
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-reis1-0/+2
2008-05-22 * hyper/hyper.h: Move lexing stuff to hyper/lex.hdos-reis1-0/+6
* hyper/htadd.c: Don't include hyper.h. Include cfuns.h and node.h instead.
2008-05-22 * hyper/hthits.c (regerr): Remove.dos-reis1-0/+4
* include/ex2ht.H1: Remove. * include/hthits.H1: Remove.
2008-05-22Fix build breakage on Win32.dos-reis1-0/+4
2008-05-22 * hyper/lex.c: Don't include hyper.h, hterror.h anddos-reis1-0/+19
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-reis1-0/+13
(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-reis1-0/+14
(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-reis1-0/+11
* 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-reis1-0/+7
* algebra/sttaylor.spad.pamphlet (powern$StreamTaylorSeriesOperations): Tidy.
2008-05-21 Fix AW/343dos-reis1-0/+5
* algebra/free.spad.pamphlet (<$FreeAbelianGroup): Fix ordering.
2008-05-20(no commit message)dos-reis1-0/+10
2008-05-19 Port from btx-branch.dos-reis1-0/+14
* 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-reis1-0/+5
* algebra/aggcat.spad.pamphlet (=$TableAggregate): Fix thinko.
2008-05-18 Fix AW/149dos-reis1-0/+9
* 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-reis1-0/+8
* algebra/vector.spad.pamphlet (DirectProductCategory): Also a Monoid is base type belongs to Monoid. (DirectProduct): Implement multiplication is base type belongs to Monoid.
2008-05-18 Fix AW/221dos-reis1-0/+10
* algebra/catdef.spad.pamphlet (OrderedAbelianSemiGroup): Now a join of OrderedSet and AbelianSemiGroup. * algebra/integer.spad.pamphlet (PositiveInteger): Now belongs to both OrderedAbelianSemiGroup and Monoid. Update cached Lisp translation. * shared/algebra: Update databases.
2008-05-18 Fix AW/313dos-reis1-0/+5
* algebra/reclos.spad.pamphlet (sqrt$RealClosedField): Fix signature.
2008-05-18 Fix AW/319dos-reis1-0/+6
* hyper/pages/MSET.ht: Fix typo.
2008-05-18 Fix AW/321dos-reis1-0/+5
* hyper/htsearch (htpagedir): Avoid deprecated switch.
2008-05-18 Fix AW/340dos-reis1-0/+6
* algebra/numtheor.spad.pamphlet (divisors$IntegerNumberTheoryFunctions): Fix thinko.
2008-05-18 * algebra/alql.spad.pamphlet (IndexCard): Don't use pretend.dos-reis1-0/+4
2008-05-18 Fix AW/16dos-reis1-0/+7
* interp/i-analy.boot (isConceptualCategory): New. * interp/i-object.boot (getValueNormalForm): Use it. * testsuite/interpreter/aw-16.input: New.
2008-05-18 * interp/i-object.boot (wrapped2Quote): Reomve.dos-reis1-0/+14
(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.
2008-05-17 * interp/format.boot (form2String1): Handle PAREN.dos-reis1-0/+7
* interp/g-cndata.boot (condUnabbrev): Handle homogeneous varargs for constructors taking tuples. * interp/i-resolv.boot: Revolve domains and categories.
2008-05-17 * interp/compiler.boot (compSetq1): Use %Comma, not Tuple.dos-reis1-0/+36
(setqMultiple): Likewise. * interp/def.lisp (DEF-IS2): Likewise. * interp/define.boot (compAdd): Likewise. * interp/fnewmeta.lisp (|PARSE-Enclosure|): Likewise. * interp/fortcall.boot (lmultiToUnivariate): Likewise. (functionAndJacobian): Likewise. (vectorOfFunctions): Likewise. * interp/mark.boot (markMultipleExplicit): Likewise. (markInsertBodyParts): Likewise. * interp/nruncomp.boot (NRTaddDeltaCode): Likewise. * interp/nrunopt.boot (NRTextendsCategory1): Likewise. * interp/postpar.boot (postTransform): Likewise. (postTran): Likewise. (postPretend): Likewise. (postConstruct): Likewise. (postBlockItem): Likewise. (postCategory): Likewise. (postForm): Likewise. (postTransScripts): Likewise. (postJoin): Likewise. (postMapping): Likewise. (postCollect): Likewise. (postInSeq): Likewise. (postType): Likewise. (post%Comma): Rename from postTuple. (unComma): Rename from unTuple. (comma2Tuple): Remove. * interp/trace.boot (traceSpad2Cmd): Use %Comma, not Tuple. * interp/wi1.boot (compSetq1): Likewise. (setqMultiple):Likewise. * boot/translator.boot (compileBootHandler): Give up if translation to Lisp contained errors. * testsuite/compiler/aw-420.spad: New.
2008-05-16 * interp/Makefile.pamphlet: Simplify.dos-reis1-0/+4
2008-05-16 * interp/lisplib.boot (leaveIfErrors): Take constructor namedos-reis1-0/+7
parameter. (finalizeLisplib): Adjust call. (compDefineLisplib): Likewise.
2008-05-15 * interp/lisplib.boot (leaveIfErrors): New.dos-reis1-0/+14
(compDefineLisplib): Use it. (finalizeLisplib): Likewise. * algebra/Makefile.pamphlet (%.NRLIB/code.$(FASLEXT)): Invoke the compiler directly. (SPADPRSR.NRLIB/code.$(FASLEXT)): Likewise. (PARSER.NRLIB/code.$(FASLEXT)): Likewise. * interp/compiler.boot (compSetq1): Fix thinko. * interp/define.boot (hasSigInTargetCategory): Give a clue to the pretty printer. * interp/sys-utility.boot ($ERASE): Remove declaration.
2008-05-15 * algebra/nregset.spad.pamphlet (recip$NormalizationPackage): Fixdos-reis1-0/+5
thinko.
2008-05-13 * interp/c-util.boot (warnLiteral): Just warn, really.dos-reis1-0/+6
* algebra/riccati.spad.pamphlet (RationalRicDE): Don't import inexistent RatODETools.
2008-05-12 * interp/c-util.boot (isLiteral): Declare.dos-reis1-0/+5
(makeLiteral): Likewise. * interp/compiler.boot (compSymbol): Use isLiteral. * interp/wi1.boot (compSymbol): Likewise.
2008-05-12 * algebra/asp.spad.pamphlet (Asp30): Don't name local variable asdos-reis1-0/+12
record field. (Asp31): Likewise. (asp34): Likewise. (Asp77): Likewise. (Asp8): Likewise. (Asp9): Likewise. * algebra/fortran.spad.pamphlet (FortranCode): Likewise. * algebra/moebius.spad.pamphlet (MoebiusTransform): Likewise.
2008-05-11 Restrict loop variable scopes, take 2.dos-reis1-0/+29
* interp/iterator.boot (compReduce1): Maintain proper scope for loop variables. (compRepeatOrCollect): Really maintain proper scope for loop variables. * interp/compiler.boot (eltModemapFilter): Highlight faulty selector. (seteltModemapFilter): Likewise. * interp/c-util.boot (stackMessage): Don't build message if there is no argument for substitution. * algebra/aggcat.spad.pamphlet (#$UnaryRecursiveAggregate): Declare free loop variable. (cycleEntry$UnaryRecursiveAggregate): Likewise. (cycleLength): Likewise. (merge$OneDimensionalArrayAggregate): Likewise. (delete$OneDimensionalArrayAggregate): Likewise. (position$ListAggregate): Likewise. * algebra/array1.spad.pamphlet (merge!$IndexedFlexibleArray): Likewise. * algebra/combfunc.spad.pamphlet (K2fact$CombinatorialFunction): Likewise. * algebra/curve.spad.pamphlet (nonSingularModel$FunctionFieldCategory): Likewise. * algebra/dpolcat.spad.pamphlet (differentiate$DifferentialPolynomialCategory): Likewise. * algebra/efstruc.spad.pamphlet (validExponential$ElementaryFunctionStructurePackage): Likewise. (ker2explogs$InnerTrigonometricManipulations): Likewise. (complexNormalize$TrigonometricManipulations): Likewise.
2008-05-11 * interp/iterator.boot (compRepeatOrCollect): Don't iteratordos-reis1-0/+41
variables and variables declared in a loop are local to that loop. * interp/g-error.boot (needsToSplitMessage): New. (errorSupervisor): Use it. * interp/compiler.boot (compSymbol): Highlight erron=eous symbol. * interp/wi1.boot (stackMessage): Remove duplicate. * algebra/ffcat.spad.pamphlet (FiniteFieldCategory): Tidy. * algebra/fff.spad.pamphlet (FiniteFieldFunctions): Likewie. * algebra/groebsol.spad.pamphlet (GroebnerSolve): Likewise. * algebra/intfact.spad.pamphlet (IntegerRoots): Likewise. * algebra/mkfunc.spad.pamphlet (InputForm): Likewise. * algebra/numtheor.spad.pamphlet (IntegerNumberTheoryFunctions): Likewise. * algebra/permgrps.spad.pamphlet (PermutationGroup): Likewise. * algebra/random.spad.pamphlet (RandomFloatDistributions): Likewise. * algebra/sgcf.spad.pamphlet (SymmetricGroupCombinatoricFunctions): Likewise. * algebra/triset.spad.pamphlet (PolynomialSetUtilitiesPackage): Likewise. * algebra/twofact.spad.pamphlet (TwoFactorize): Likewise.