diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-01-03 21:10:08 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-01-03 21:10:08 +0000 |
| commit | b65aaf7804179f9b9c0fbae3b76e211a1692744d (patch) | |
| tree | c7271d482f35b2bff59f992cf1608d164291a566 /src/ChangeLog | |
| parent | 00c21d32515eb3da394b8f8b8bd10dd8a4a81a5c (diff) | |
| download | open-axiom-b65aaf7804179f9b9c0fbae3b76e211a1692744d.tar.gz | |
Annual ChangeLog rotation
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 2269 |
1 files changed, 0 insertions, 2269 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 7c6c5e51..e69de29b 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,2269 +0,0 @@ -2009-11-17 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/syntax.spad.pamphlet (SpadAstExports): Add case for JoinAst. - -2009-11-17 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/syntax.spad.pamphlet (StepAst): New. - (SpadAstExports): Add case for StepAst. - (SpadAst): Implement. - -2009-11-09 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/i-syscmd.boot (reportOpsFromUnitDirectly): Fix thinko. - -2009-11-08 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2893009 - * algebra/syntax.spad.pamphlet (ParameterAst): New. - (HeadAst): Use it. - * testsuite/interpreter/sf-2893009.input: Likewise. - * testsuite/interpreter/sf-2893009.spad: New. - -2009-10-31 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/br-op2.boot (pairlis): Remove. - (modemap2Sig): Use pairList. - * interp/compiler.boot (applyMapping): Likewise. - * interp/database.boot (augLisplibModemapsFromCategory): Likewise. - (getOplistForConstructorForm): Likewise. - * interp/define.boot (compDefineCategory2): Likewise. - (compDefineFunctor1): Likewise. - (mkOpVec): Likewise. - * interp/lisplib.boot (finalizeLisplib): Likewise. - * interp/nruncomp.boot (mkSlot1sublis): Likewise. - * interp/wi1.boot (compDefineCategory2): Likewise. - * interp/wi2.boot (compDefineFunctor1): Likewise. - -2009-10-28 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/seg.spad.pamphlet (RangeBinding): New. - (SegmentBinding): Tidy. - * algebra/exposed.lsp.pamphlet (RangeBinding): Expose. - * algebra/Makefile.pamphlet (axiom_algebra_layer_19): Include - RNGBIND. - -2009-10-27 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/nruncomp.boot (buildFunctor): Remove $MissingFunctionInfo. - * interp/functor.boot (SetFunctionSlots): Simplify. - (SigSlotsMatch): Likewise. - (CheckVector): Remove. - (makeMissingFunctionEntry): Refer to $SetFunctions. - -2009-10-27 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/taylor.spad.pamphlet (InnerTaylorSeries): Now satisfies - BiModule(Coef,Coef). Remove duplicate exports. Use rep and per - operators. - -2009-10-25 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * share/tex/open-axiom.sty: New. - * share/Makefile.in (FILES): Update. - ($(axiom_target_texdir)/open-axiom.sty): New rule. - * lib/cfuns-c.c (oa_spawn)[__WIN32__]: Return exit status if in - overlay mode. - * include/open-axiom.h (OPENAXIOM_TEXINPUTS_PATH): Tidy. - (OPENAXIOM_BIBINPUTS_PATH): Likewise. - * driver/utils.c (print_usage): Document --execute option. - -2009-10-25 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * lib/cfuns-c.c (oa_concatenate_string): Define. - * include/open-axiom.h (openaxiom_ifs): New. - (OPENAXIOM_TEXINPUTS_PATH): Likewise. - (OPENAXIOM_BIBINPUTS_PATH): Likewise. - * driver/main.c (augment_variable): New. - (upgrade_environment): Likewise. Call publish_systemdir. - (main): Call it instead of publish_systemdir. Handle 'spawn' driver. - * driver/utils.h (openaxiom_execute_driver): New kind of driver. - * driver/utils.c (openaxiom_preprocess_arguments): Tidy. - (openaxiom_execute_core): Likewise. - * sman/sman.c (process_arguments): Likewise. - (process_options): Likewise. - -2009-10-24 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * lib/cfuns-c.c (oa_spawn): New. - (oa_allocate_process_argv): Likewise. - -2009-10-15 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/buildom.boot: Tidy. - -2009-10-15 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy. - -2009-10-14 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/string.spad.pamphlet (hash$IndexedString): Simplify. - -2009-10-14 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/i-funsel.boot (findFunctionInDomain): Fix thinko. - -2009-10-12 Kostas Oikonomou <ko@research.att.com> - - * algebra/tex.spad.pamphlet: Update special function list. - -2009-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/void.spad.pamphlet (Void): Remove Rep definition. - -2009-10-09 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2875134 - * interp/ptrees.boot: New. - (pfIdSymbol): Use it. - (pfSymbolSymbol): Likewise. - (pfInfApplication): Likewise. - * testsuite/interpreter/sf-2875134.input: New. - -2009-10-01 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * driver/Makefile.in (open_axiom_LDADD): Prefer libraries from build - lib/ directory. - -2009-09-30 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * sman/sman.c (should_I_clef): Remove. - -2009-09-29 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * sman/sman.c (fix_env): Simplify. - (exec_command_env): Lose second parameter. - (fork_Axiom): Take a new parameter. - (start_the_Axiom): Adjust. - (main): Likewise. - * interp/int-top.boot (printFirstPrompt?): New. - (SpadInterpretStream): Use it. - * driver/utils.h (openaxiom_allocate_command_argv): Declare. - * driver/utils.c (openaxiom_allocate_command_argv): Define. - * driver/Makefile.in (open-axiom$(EXEEXT)): Link statically. - -2009-09-29 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * driver/Makefile.in (open-axiom): Link against core runtime. - * driver/main.c (publish_systemdir): Rework. - * include/cfuns.h (oa_setenv): Declare. - * lib/cfuns-c.c (oa_setenv): Define. - -2009-09-29 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/xpoly.spad.pamphlet (OrderedFreeMonoid): Really make an - OrderedMonoid. - -2009-09-29 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/br-util.boot (htPred2English): Espace "has". - * interp/format.boot (pred2English): Likewise. - * interp/i-spec1.boot ($specialOps): Likewise. - -2009-09-29 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/i-funsel.boot (matchMmSig): Fix thinko from revision 1297. - -2009-09-26 Gabriel Dos Reis <gdr@cse.tamu.edu> - - Fix SF/2854105 - * graph/PS/*.ps: New. - -2009-09-26 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/free.spad.pamphlet (FreeMonoidCategory): New. - (FreeModule): Use it. - * algebra/xpoly.spad.pamphlet (OrderedFreeMonoid): Likewise. - -2009-09-26 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/: More cleanup. - -2009-09-25 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/as.boot: Clean up. - * interp/ax.boot: Likewise. - * interp/br-con.boot: Likewise. - * interp/br-data.boot: Likewise. - * interp/br-op1.boot: Likewise. - * interp/br-op2.boot: Likewise. - * interp/br-saturn.boot: Likewise. - * interp/br-search.boot: Likewise. - * interp/c-util.boot: Likewise. - * interp/category.boot: Likewise. - * interp/cattable.boot: Likewise. - * interp/clam.boot: Likewise. - * interp/compiler.boot: Likewise. - * interp/cstream.boot: Likewise. - * interp/define.boot: Likewise. - * interp/format.boot: Likewise. - * interp/fortcall.boot: Likewise. - * interp/functor.boot: Likewise. - * interp/g-boot.boot: Likewise. - * interp/g-opt.boot: Likewise. - * interp/g-timer.boot: Likewise. - * interp/guess.boot: Likewise. - * interp/i-analy.boot: Likewise. - * interp/i-coerce.boot: Likewise. - * interp/i-coerfn.boot: Likewise. - * interp/i-eval.boot: Likewise. - * interp/i-funsel.boot: Likewise. - * interp/i-intern.boot: Likewise. - * interp/i-map.boot: Likewise. - * interp/i-object.boot: Likewise. - * interp/i-output.boot: Likewise. - * interp/i-resolv.boot: Likewise. - * interp/i-spec1.boot: Likewise. - * interp/i-spec2.boot: Likewise. - * interp/i-syscmd.boot: Likewise. - * interp/int-top.boot: Likewise. - * interp/interop.boot: Likewise. - * interp/lisplib.boot: Likewise. - * interp/mark.boot: Likewise. - * interp/modemap.boot: Likewise. - * interp/msg.boot: Likewise. - * interp/msgdb.boot: Likewise. - * interp/newfort.boot: Likewise. - * interp/nrunfast.boot: Likewise. - * interp/nrungo.boot: Likewise. - * interp/nrunopt.boot: Likewise. - * interp/pf2atree.boot: Likewise. - * interp/pile.boot: Likewise. - * interp/pspad1.boot: Likewise. - * interp/ptrees.boot: Likewise. - * interp/scan.boot: Likewise. - * interp/sfsfun.boot: Likewise. - * interp/showimp.boot: Likewise. - * interp/slam.boot: Likewise. - * interp/trace.boot: Likewise. - * interp/wi1.boot: Likewise. - * interp/word.boot: Likewise. - -2009-09-25 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/ast.boot (bfMember): Improve a bit. - * boot/tokens.boot: Don't rename 'is' and 'inst'. - * boot/parser.boot: Use 'in' instead of 'MEMQ' where approrpriate. - * interp/: Likewise. - -2009-09-24 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/ast.boot (bfMember): New. - (bfInfApplication): Use it. - * boot/tokens.boot: Don't rename IN. - * interp/ax.boot (makeAxFile): Fix thinko. - (makeAxExportForm): Likewise. - -2009-09-21 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/data.spad.pamphlet (SystemInteger): Tidy. - * algebra/integer.spad.pamphlet (Integer): Likewise. - * algebra/si.spad.pamphlet (IntegerNumberSystem): Likewise. - -2009-09-21 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/i-spec2.boot (findConstantInDomain): Substitute into the - result domain. - -2009-09-21 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * lib/openpty.c (ptyopen): Fix thinko. - -2009-09-20 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/data.spad.pamphlet (size$Byte): Implement. - (index$Byte): Likewise. - (lookup$Byte): Likewise. - (random$Byte): Likewise. - -2009-09-20 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * lib/XDither.c: Tidy. - * lib/XShade.c: Likewise. - * lib/XSpadFill.c: Likewise. - * lib/bsdsignal.c: Likewise. - * lib/edin.c: Likewise. - * lib/fnct_key.c: Likewise. - * lib/util.c: Likewise. - * lib/wct.c: Likewise. - -2009-09-19 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/tokens.boot: "has" is not a keyword. - * boot/ast.boot (bfHas): New. - (bfReduce): Use "has" instead "has". - (bfReduceCollect): Likewise. - (bfReName): Likewise. - (bfElt): Likewise. - (bfSetelt): Likewise. - * boot/parser.boot (bpSexpKey): Likewise. - (bpPrefixOperator): Likewise. - (bpInfixOperator): Likewise. - (bpThetaName): Likewise. - (bpIs): Parse "has" expressions. - * boot/pile.boot (shoePileCoagulate): Likewise. - * interp/: Fix unquoted use of "has". - * interp/interop.boot (has): Remove. - -2009-09-16 Kosta Oikonomou <ko@research.att.com> - Gabriel Dos Reis <gdr@cs.tamu.edu> - - * graph/viewAlone/Makefile.in (viewAlone_LDADD): Include - $(AXIOM_X11_LDFLAGS) and $(oa_c_libs). - * graph/viewman/Makefile.in (viewman_LDADD): Likewise. - * hyper/Makefile.in (htadd_LDADD): Likewise. - * sman/Makefile.in (session_LDADD): Include $(oa_c_libs). - (spadclient_LDADD): Likewise. - (sman_LDADD): Likewise. - -2009-09-08 Anatoly Raportirenko <ram@sunct1.jinr.ru> - - * interp/boot-pkg.lisp (DFLOAT-FORMAT-GENERAL): New. - -2009-09-08 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/ast.boot: Support "pointer" as simple datatype. - * interp/compiler.boot (getBasicFFIType): SystemPointer is an FFI type. - * algebra/data.spad.pamphlet (SystemPointer): New. - * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include SYSPTR. - -2009-09-05 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/data.spad.pamphlet: Cleanup. - * interp/compiler.boot (getBasicFFIType): Handle 64-bit integer types. - -2009-09-03 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/ast.boot (bfAlternative): New. Move single assignment in - pattern matching to the body of the branch. - (bfSequence): Use it. - -2009-09-03 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/ast.boot: More cleanup. - -2009-09-02 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/cstream.boot: Cleanup. - * interp/g-boot.boot: Likewise. - * interp/i-funsel.boot: Likewise. - * interp/i-map.boot: Likewise. - * interp/i-resolv.boot: Likewise. - * interp/i-spec2.boot: Likewise. - * interp/mark.boot: Likewise. - * interp/nrungo.boot: Likewise. - * interp/posit.boot: Likewise. - * interp/sys-constants.boot: Define more constants. - -2009-09-02 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/ast.boot: More cleanup. - * boot/includer.boot: Likewise. - * boot/parser.boot: Likewise. - * boot/scanner.boot: Likewise. - -2009-08-30 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/ast.boot (bfSequence): Simplify COND branch bodies. - -2009-08-29 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/parser.boot ($sawParenthesizedHead): Remove. - (bpReturnType): Likewise. - (bpBeginParameterList): Likewise. - (bpEndParameterList): Likewise. - (bpBeginDefinition): Likewise. - (bpDefinition): Adjust. - (bpVariable): Likewise. - -2009-08-29 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/ast.boot (bfCase): Don't hold scrutinee's remaining - structure in a temporary. - (bfCI): Adjust generation of selectors. - -2009-08-29 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/ast.boot (%Definition): Lose one argument. - (bfDefinition): Remove. - (bfSimpleDefinition): Likewise. - (bfCompDef): Likewise. - (bfDefSequence): Likewise. - (defSheepAndGoats): Tidy. - * boot/parser.boot (bpSimpleDefinitionTail): Likewise. - (bpCompoundDefinitionTail): Likewise. - (bpDefinitionPileItems): Likewise. - (bpSemiColonDefinition): Likewise. - * boot/translator.boot (translateToplevel): Likewise. - -2009-08-29 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/ast.boot: More cleanup. - * boot/parser.boot: Likewise. - * boot/translator.boot: Likewise. - -2009-08-29 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/ast.boot: Cleanup. - -2009-08-29 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/translator.boot (bpOutItem): Move to parser.boot. - * boot/parser.boot (bpExceptionTail): Fix typo. - (bpOutItem): Move from translator.boot. - -2009-08-28 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/ast.boot (bfCase): Don't introduce temporary for scrutinee - when it is already reduced. - -2009-08-27 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/tokens.boot: "namespace" is now a keyword. - * boot/ast.boot (%Ast): Add %Namespace branch. - * boot/parser.boot (bpNamespace): New. - (bpComma): Adjust. - -2009-08-20 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Discontinue computation of difference between "old" and "new" Boot. - * boot/ast.boot (bfGetOldBootName): Remove. - (bfSameMeaning): Likewise. - (bfReName): Don't compute the diff between old and new Boot. - * boot/translator.boot ($translatingOldBoot): Remove. - (AxiomCore::%sysInit): Don't set it. - -2009-08-19 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/ast.boot: Consistently prefix AST names by "%". - * boot/translator.boot: Adjust. - * boot/parser.boot: Likewise. - -2009-08-17 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/tokens.boot: Retire "^" as negation operator. - * interp/br-search.boot: Use "not" instead of "^". - * interp/br-util.boot: Likewise. - * interp/database.boot: Likewise. - * interp/define.boot: Likewise. - * interp/format.boot: Likewise. - * interp/g-error.boot: Likewise. - * interp/i-analy.boot: Likewise. - * interp/i-coerce.boot: Likewise. - * interp/i-coerfn.boot: Likewise. - * interp/i-funsel.boot: Likewise. - * interp/i-map.boot: Likewise. - * interp/i-output.boot: Likewise. - * interp/i-resolv.boot: Likewise. - * interp/i-spec1.boot: Likewise. - * interp/i-spec2.boot: Likewise. - * interp/i-syscmd.boot: Likewise. - * interp/mark.boot: Likewise. - * interp/modemap.boot: Likewise. - * interp/pspad1.boot: Likewise. - * interp/pspad2.boot: Likewise. - * interp/spad-parser.boot: Likewise. - * interp/trace.boot: Likewise. - * interp/wi1.boot: Likewise. - * interp/wi2.boot: Likewise. - -2009-08-17 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/c-util.boot (deltaContour): Fix thinko. - -2009-08-16 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/compiler.boot (compAtom): Don't single out "nil". - -2009-08-16 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/i-map.boot (addMap): Fix typo from last commit. - * interp/compiler.boot (compElt): Fix thinko, one more time. - * interp/nruncomp.boot (optDeltaEntry): Don't overquote VM forms - for constants. - * algebra/algext.spad.pamphlet: Call niladic functions with empty - argument lists. - * algebra/ddfact.spad.pamphlet: Likewise. - * algebra/gpgcd.spad.pamphlet: Likewise. - * algebra/modmon.spad.pamphlet: Likewise. - * algebra/pf.spad.pamphlet: Likewise. - * algebra/polycat.spad.pamphlet: Likewise. - * algebra/twofact.spad.pamphlet: Likewise. - * algebra/list.spad.pamphlet: "nil" is now a ocnstant. - * algebra/string.spad.pamphlet: "space", "quote", "escape" are now - constants. - -2009-08-14 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/tokens.boot: Retire "^=". Introduce "~=". - * boot/ast.boot: Use "~=" instead of "^=". - * boot/includer.boot: Likewise. - * boot/translator.boot: Likewise. - * interp/as.boot: Likewise. - * interp/bc-misc.boot: Likewise. - * interp/bc-solve.boot: Likewise. - * interp/bc-util.boot: Likewise. - * interp/br-con.boot: Likewise. - * interp/br-data.boot: Likewise. - * interp/br-op1.boot: Likewise. - * interp/br-op2.boot: Likewise. - * interp/br-prof.boot: Likewise. - * interp/br-saturn.boot: Likewise. - * interp/br-search.boot: Likewise. - * interp/br-util.boot: Likewise. - * interp/c-doc.boot: Likewise. - * interp/c-util.boot: Likewise. - * interp/category.boot: Likewise. - * interp/cattable.boot: Likewise. - * interp/clam.boot: Likewise. - * interp/clammed.boot: Likewise. - * interp/compiler.boot: Likewise. - * interp/database.boot: Likewise. - * interp/define.boot: Likewise. - * interp/format.boot: Likewise. - * interp/fortcall.boot: Likewise. - * interp/functor.boot: Likewise. - * interp/g-cndata.boot: Likewise. - * interp/g-opt.boot: Likewise. - * interp/g-timer.boot: Likewise. - * interp/g-util.boot: Likewise. - * interp/guess.boot: Likewise. - * interp/ht-root.boot: Likewise. - * interp/ht-util.boot: Likewise. - * interp/htsetvar.boot: Likewise. - * interp/i-analy.boot: Likewise. - * interp/i-code.boot: Likewise. - * interp/i-coerce.boot: Likewise. - * interp/i-coerfn.boot: Likewise. - * interp/i-eval.boot: Likewise. - * interp/i-funsel.boot: Likewise. - * interp/i-intern.boot: Likewise. - * interp/i-map.boot: Likewise. - * interp/i-output.boot: Likewise. - * interp/i-resolv.boot: Likewise. - * interp/i-spec1.boot: Likewise. - * interp/i-spec2.boot: Likewise. - * interp/i-syscmd.boot: Likewise. - * interp/i-toplev.boot: Likewise. - * interp/i-util.boot: Likewise. - * interp/int-top.boot: Likewise. - * interp/interop.boot: Likewise. - * interp/intfile.boot: Likewise. - * interp/lisplib.boot: Likewise. - * interp/macex.boot: Likewise. - * interp/mark.boot: Likewise. - * interp/match.boot: Likewise. - * interp/modemap.boot: Likewise. - * interp/msg.boot: Likewise. - * interp/msgdb.boot: Likewise. - * interp/newfort.boot: Likewise. - * interp/nruncomp.boot: Likewise. - * interp/nrunfast.boot: Likewise. - * interp/nrungo.boot: Likewise. - * interp/nrunopt.boot: Likewise. - * interp/parse.boot: Likewise. - * interp/pathname.boot: Likewise. - * interp/pf2atree.boot: Likewise. - * interp/pf2sex.boot: Likewise. - * interp/postpar.boot: Likewise. - * interp/profile.boot: Likewise. - * interp/pspad1.boot: Likewise. - * interp/pspad2.boot: Likewise. - * interp/record.boot: Likewise. - * interp/scan.boot: Likewise. - * interp/setvars.boot: Likewise. - * interp/simpbool.boot: Likewise. - * interp/slam.boot: Likewise. - * interp/topics.boot: Likewise. - * interp/trace.boot: Likewise. - * interp/wi1.boot: Likewise. - * interp/wi2.boot: Likewise. - * interp/word.boot: Likewise. - -2009-08-05 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * OpenAxiom-1.3.0 Released. - -2009-08-05 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * graph/view3D/stuff3d.c (norm_dist): Set third coordinate to zero. - -2009-07-26 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/c-doc.boot (checkDecorate): Tidy. - * interp/format.boot (form2Fence1): Likewise. - (form2FenceQuote): Likewise. - -2009-07-24 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2798962 - * interp/c-doc.boot (checkDecorate): Don't insert formatting - braces in Spad mode. - -2009-07-16 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/odeef.spad.pamphlet (ElementaryFunctionODESolver): Tidy. - -2009-07-13 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/g-opt.boot (optCatch): Lift nested functions. - -2009-07-13 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/metalex.lisp: "break" is now a keyword. - * interp/fnewmeta.lisp (PARSE-Jump): New. - * interp/compiler.boot (compAtom): Dipatch compilation of "break" - and "iterate" to... - (compBreak): ... here - (compIterate): and here. - (jumpFromLoop): New. - (compRepeatOrCollect): Initialize $lookKind, $iterateCount, and - $breakCount. Set exit point for loop bodies with 'iterate' - expressions. - * interp/parse.boot (parseAtom): Remove. - (parseTran): Adjust. - * algebra/outform.spad.pamphlet: Tidy. - * interp/c-util.boot ($loopKind): Declare. - ($repeatBodyLabel): Likewise. - ($iterateCount): Likewise. - ($breakCount): Likewise. - -2009-07-12 Gabriel Dos Reis <gdr@cse.tamu.edu> - - * algebra/mkfunc.spad.pamphlet - (mkDefun$MakeFloatCompiledFunction): Tidy. - * interp/c-util.boot (declareUnusedParameters): New. - * interp/i-map.boot: Use it. - * interp/i-spec1.boot: Likewise. - * interp/slam.boot: Likewise. - * lib/cfuns-c.c (writeablep): Document MinGW/MSYS bug work around. - -2009-07-10 Alfredo Portes <doyenatccny@gmail.com> - - * lib/cfuns-c.c (writeablep): Use function LocalFree() - in Windows instead of free(). - -2009-07-06 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2815437 - * algebra/mkfunc.spad.pamphlet: - -2009-07-06 Gabriel Dos Reis <gdr@cse.tamu.edu> - - * interp/compiler.boot (localReferenceIfThere): Tidy. - * interp/g-util.boot (homogeneousListToVector): New. - * interp/g-opt.boot (optCollectVector): Use it. - -2009-07-05 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * src/algebra/poly.spad.pamphlet (PolynomialRing): Remove unused - bogus times! function. - -2009-07-05 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/compiler.boot (coerceEasy): Don't pretend we can make - matter our of void. - * algebra/indexedp.spad.pamphlet - (IndexedDirectProductAbelianMonoid): Tidy. - (IndexedDirectProductAbelianGroup): Likewise. - * src/algebra/poly.spad.pamphlet (PolynomialRing): Fix thinko. - -2009-07-05 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/matstor.spad.pamphlet (copyCol!): Return Void. - -2009-07-05 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/sys-driver.boot (AxiomCore::%sysInit): Have CLISP not be - overreading on floating point contagion warning. - -2009-07-04 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/c-util.boot ($middleEndMacroList): Remove COLLECTV. - * interp/compiler.boot: Don't register compiler for COLLECTV forms. - (compReduce1): Don't test for COLLECTV. - (localReferenceIfThere): New. - (compRepeatOrCollect): Use it. Tidy. - (compCollectV): Remove. - (compIteratorV): Likewise. - (computeMaxIndex): Likewise. - (exprDifference): Likewise. - * interp/g-opt.boot (optCollectVector): New. Register as - back end tranformer. - * interp/sys-macros.lisp (COLLECTV): Remove. - -2009-07-04 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/c-util.boot (simplifySEQ): New. - (transformToBackendCode): Use it. - -2009-07-03 Gabriel Dos Reis <gdr@cse.tamu.edu> - - * interp/sys-macros.lisp (PRIMVEC2ARR): Remove. - (COLLECTVEC): Likewise. - * interp/compiler.boot (compRepeatOrCollect): Tidy. - -2009-07-02 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Support ECL-based build profiling. - * lisp/Makefile.in (edit): Substitute for oa_enable_profiling. - * lisp/core.lisp.in ($EnableLispProfiling): New. - (compileLispFile): Use it. - -2009-07-02 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/sys-macros.lisp (COLLECTV): Use setSimpleArrayEntry, not - SETELT. - -2009-06-27 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/i-spec1.boot (checkForFreeVariables): Emit - getSimpleArrayEntry instead of ELT. - -2009-06-23 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/bootlex.lisp (spad): Don't bind $noSubsumption. - * interp/i-spec1.boot (evalCOLLECT): Fix thinko. - -2009-06-20 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/category.boot (SigOpsubsume): Remove as unused. - (SourceLevelSubsume): Remove. - (SourceLevelSubset): Likewise. - * interp/sys-globals.boot: Likewise. - * interp/define.boot: Tidy. - * interp/functor.boot: Likewise. - * interp/info.boot: Likewise. - * algebra/si.spad.pamphlet: Don't set $noSubsets. - * algebra/fortpak.spad.pamphlet: Don't set $noSubsumption. - * algebra/fortran.spad.pamphlet: Likewise. - * algebra/gdirprod.spad.pamphlet: Likewise. - * algebra/mkfunc.spad.pamphlet: Likewise. - * algebra/oct.spad.pamphlet: Likewise. - * algebra/vector.spad.pamphlet: Likewise. - -2009-06-17 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/domain.spad.pamphlet: ConstructorCall is now - parameterized by the constructor category. - -2009-06-16 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/define.boot (doItConditionally): New. - (doIt): Use it for capsule-level conditional expressions. - -2009-06-15 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2396945 - * interp/scan.boot: '@@' is no longer a keyword. - * interp/cparse.boot (npColonQuery): Remove. - * interp/parse.boot (parseAtAt): Likewise. - * interp/postpar.boot (postAtAt): Likewise. - -2009-06-15 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2806053 - * lisp/Makefile.in: Remove generated files when cleaning. - * interp/Makefile.pamphlet: Add executable extensions if appropriate. - -2009-06-15 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/define.boot (spadCompileOrSetq): Tidy. - * interp/fnewmeta.lisp (PARSE-Sexpr1): Disable negative integers - in data. A facility not actually used in Spad code. - -2009-06-14 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/fnewmeta.lisp (PARSE-Scheme): Tidy. - * interp/format.boot (dollarPercentTran): Translate T$ too. - (application2String): Handle quasiquotations. - * interp/postpar.boot (killColons): Don't remove quantified variables. - -2009-06-14 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/any.spad.pamphlet (Any): Remove domainOf, objectOf, and - showTypeInOutput. Tidy. - * algebra/fortran.spad.pamphlet: Coerce Any objects to Output; - don't use objectOf. - -2009-06-14 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Add support for existential type recovery. - * interp/compiler.boot (compRecoverDomain): New. Split from - compRecoverGuard. - (compRecoverGuard): Split. Handle existential type recovery. - (compScheme): New. Register as compiler. - * interp/g-opt.boot (optLET*): New. Turn into LET-form if - appropriate. Register as backend transformer. - * interp/fnewmeta.lisp (|PARSE-Scheme|): New. - (|PARSE-Quantifier|): Likewise. - (|PARSE-QuantifiedVariableList|): Likewise. - (|PARSE-QuantifiedVariable|): Likewise. - * interp/metalex.lisp (KEYWORDS): Add 'forall' and 'exist' as new - keywords. - * interp/newaux.lisp: Register parser for expression schemes. - * algebra/any.spad.pamphlet (=$Any): If the underlying domain has - BasicType, use that equality operator. - (coerce$Any): If the underlying domain has CoercibleTo OutputForm - then use it. - -2009-06-13 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/any.spad.pamphlet (AnyFunctions1): Remove `pretend' - shenanigans. Use is-case pattern matching. - * interp/g-opt.boot (varIsAssigned): New. - (canInlineVarDefinition): New. - (optLET): Use it to inline functionally used local variables. - Register as backend optimizer. - -2009-06-13 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/sys-constants.boot ($defaultOptimizationLevel): New. - * interp/sys-driver.boot (initializeGlobalState): Use it for - default initialization level. - -2009-06-13 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Support multiple scrutinee in is-case pattern matching. - * interp/compiler.boot (compRetractGruard): Rename from - compRetractAlternative. Split. - (compRecoverGuard): Rename from compRecoverAlternative. Split. - (compAlternativeGuardItem): New. Use them. - (compAlternativeGuard): New. - (compMatchAlternative): New. Split from compMatch. - (compMatchScrutinee): Likewise. - (defineMatchScrutinee): Likewise. - (compMatch): Rework. - -2009-06-13 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * driver/utils.c (openaxiom_execute_core): Workaround GCL oddity. - -2009-06-12 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/i-coerce.boot: Revert previous patch. - * interp/i-funsel.boot: Likewise. - -2009-06-12 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Support retract of domains. - * interp/i-funsel.boot (findFunctionInDomain): Don't look into - categories. - * interp/i-coerce.boot (retract): Retract domain objects too. - (retract1): Do it. - (coerceInteractive): Likewise. - * interp/nrunfast.boot (getDomainCategoriesVector): New. - (getDomainCompleteCategories): Likewise. - -2009-06-11 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/: Don't quote '!' at end of names. - -2009-06-11 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/: Remove quotes from operator namaes in signatures. - -2009-06-11 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/newaux.lisp: Remove digraphs '(<' and '>) as alternate - spelling for '{' and '}'. - * interp/fnewmeta.lisp (|PARSE-Primary1|): Use PARSE-Data for - quoted forms. - (|PARSE-Sexpr1|): Tidy. - * interp/parse.boot (washOperatorName): New. Issue deprecation - diagnostics for string syntax for operator names in signatures. - (parseHas): Use it. - (transCategoryItem): Likewise. - * interp/metalex.lisp (advance-token): Likewise. - * algebra/boolean.spad.pamphlet: Tidy. - -2009-06-11 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/info.boot (actOnInfo): Don't remember new domain names if - at capsule function scope. - -2009-06-10 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/parse.boot (parseDropAssertions): Remove. - (parseCategory): Don't call it. - * interp/nrungo.boot (lookupPred): Don't check for "asserted". - -2009-06-10 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/parse.boot (parseHas): Preserve unnamed category forms. - * interp/i-funsel.boot (hasCaty): Recursively look into Joins. - * interp/interop.boot (newHasCategory): Likewise. - * interp/compiler.boot (compHasFormat): Handle unnamed categories. - * interp/info.boot (knownInfo): Likewise. - -2009-06-09 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/i-coerfn.boot (Expr2Up): Fix regression introduced by - name$Kernel removal. - -2009-06-09 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/compiler.boot (compLogicalNot): Tidy. - * interp/define.boot (doIt): Tidy conditional case. - * boot/tokens.boot: 'fourth' is a now a builtin function. - -2009-06-07 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/kl.spad.pamphlet (Kernel): Tidy. - -2009-06-07 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2799773 - * interp/c-util.boot (diagnoseUnknownType): Diagnose duplicate - fields in Record or Union, or duplicate constants in Enumeration. - * interp/i-eval.boot (checkRecordOrUnionFields): New. - (evaluateType): Use it. - * testsuite/interpreter/sf-2799773.input: New. - -2009-06-07 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/kl.spad.pamphlet (name$Kernel): Remove. - * algebra/d01weights.spad.pamphlet: Adjust. - * algebra/fs2expxp.spad.pamphlet: Likewise. - * algebra/fs2ups.spad.pamphlet: Likewise. - * algebra/fspace.spad.pamphlet: Likewise. - * algebra/limitps.spad.pamphlet: Likewise. - * algebra/transsolve.spad.pamphlet: Likewise. - -2009-06-06 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/domain.spad.pamphlet (DomainTemplate): New. - (FunctorData): Likewise. - (functorData$DomainConstructor): Likewise. - -2009-06-01 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Simplify compiler ast for `return' expressions. - * interp/parse.boot (parseReturn): Remove. - * interp/compiler.boot (compReturn): Tidy. - -2009-06-01 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2799238 - * algebra/syntax.spad.pamphlet (SpadAst): Fix typo. - -2009-06-01 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/compiler.boot (compGreaterThan): Remove. - * interp/parse.boot (parseGreaterEqual): Likewise. - -2009-06-01 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/compiler.boot (compGreaterThan): New. Compile - greater-than expressions. - * interp/parse.boot (parseGreaterThan): Remove. - * algebra/data.spad.pamphlet (Byte): Implement all comparison - functions. - * algebra/integer.spad.pamphlet (Integer): Likewise. - * algebra/sf.spad.pamphlet (DoubleFloat): Likewise. - * algebra/si.spad.pamphlet (SingleInteger): Likewise. - * algebra/string.spad.pamphlet (Character): Likewise. - -2009-05-31 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/term.spad.pamphlet (is?$OperatorCategory): New. - * algebra/op.spad.pamphlet (BasicOperator): Don't export is? here. - Inherit it from OperatorCategory Symbol. - * algebra/catdef.spad.pamphlet (LeftLinearSet): New category. - (RightLinearSet): Likewise. - (LinearSet): Likewise. - (AbelianGroup): Extend LeftLinearSet Integer. - (LeftModule): Extend LeftLinearSet R. - (Module): Extend LinearSet R. - (RightModule): Extend RightLinearSet R. - * algebra/exposed.lsp.pamphlet: Expose LeftLinearSet, - RightLinearSet, and LinearSet. - * algebra/Makefile.pamphlet: Tidy. - -2009-05-29 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/catdef.spad.pamphlet (SetCategory): Provide default - definition for before?. - -2009-05-29 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/complet.spad.pamphlet (OnePointCompletion): Define before?. - -2009-05-29 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/algext.spad.pamphlet: Qualify `characteristic'. - * algebra/clifford.spad.pamphlet: Likewise. - * algebra/complet.spad.pamphlet: Likewise. - * algebra/contfrac.spad.pamphlet: Likewise. - * algebra/curve.spad.pamphlet: Likewise. - * algebra/ddfact.spad.pamphlet: Likewise. - * algebra/derham.spad.pamphlet: Likewise. - * algebra/equation2.spad.pamphlet: Likewise. - * algebra/ffcat.spad.pamphlet: Likewise. - * algebra/ffcg.spad.pamphlet: Likewise. - * algebra/fff.spad.pamphlet: Likewise. - * algebra/ffnb.spad.pamphlet: Likewise. - * algebra/ffp.spad.pamphlet: Likewise. - * algebra/ffpoly.spad.pamphlet: Likewise. - * algebra/ffx.spad.pamphlet: Likewise. - * algebra/fmod.spad.pamphlet: Likewise. - * algebra/fortmac.spad.pamphlet: Likewise. - * algebra/fr.spad.pamphlet: Likewise. - * algebra/fraction.spad.pamphlet: Likewise. - * algebra/fspace.spad.pamphlet: Likewise. - * algebra/gaussian.spad.pamphlet: Likewise. - * algebra/gpol.spad.pamphlet: Likewise. - * algebra/intclos.spad.pamphlet: Likewise. - * algebra/interval.spad.pamphlet: Likewise. - * algebra/laurent.spad.pamphlet: Likewise. - * algebra/matrix.spad.pamphlet: Likewise. - * algebra/modring.spad.pamphlet: Likewise. - * algebra/oct.spad.pamphlet: Likewise. - * algebra/opalg.spad.pamphlet: Likewise. - * algebra/padic.spad.pamphlet: Likewise. - * algebra/perman.spad.pamphlet: Likewise. - * algebra/pf.spad.pamphlet: Likewise. - * algebra/pfr.spad.pamphlet: Likewise. - * algebra/poly.spad.pamphlet: Likewise. - * algebra/polycat.spad.pamphlet: Likewise. - * algebra/puiseux.spad.pamphlet: Likewise. - * algebra/quat.spad.pamphlet: Likewise. - * algebra/radix.spad.pamphlet: Likewise. - * algebra/reclos.spad.pamphlet: Likewise. - * algebra/resring.spad.pamphlet: Likewise. - * algebra/sf.spad.pamphlet: Likewise. - * algebra/si.spad.pamphlet: Likewise. - * algebra/solvefor.spad.pamphlet: Likewise. - * algebra/sups.spad.pamphlet: Likewise. - * algebra/taylor.spad.pamphlet: Likewise. - * algebra/vector.spad.pamphlet: Likewise. - * algebra/xpoly.spad.pamphlet: Likewise. - -2009-05-29 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2798220 - * algebra/fmod.spad.pamphlet (IntegerMod): Define before? - * algebra/ffp.spad.pamphlet (FiniteFieldExtensionByPolynomial): - Likewise. - * algebra/pf.spad.pamphlet (InnerPrimeField): Likewise. - * testsuite/interpreter/sf-2798220.input: New. - -2009-05-28 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/compiler.boot (getSuccessEnvironment): Tidy. - (getInverseEnvironment): Likewise. - (compLogicalNot): Don't normalize to if-statement. - -2009-05-28 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/compiler.boot (compVector): Tidy code generation. - (checkExternalEntity): Handle Builtin external entities. - (compSignatureImport): Likewise. - * algebra/boolean.spad.pamphlet (Boolean): Import Lisp function - from Foreign Builtin. - (KleeneTrivalentLogic): The constant `true' and `false' are now - inherited. - -2009-05-28 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/boolean.spad.pamphlet (PropositionalLogic): Now export - `true' and `false'. - (Boolean): Inherit them. - -2009-05-27 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/newaux.lisp: Bot / and /\ are gliphs. - * interp/sys-constants.boot ($OperatorFunctionNames): Include /\ - and \/. - * interp/fnewmeta.lisp (|PARSE-ReductionOp|): Tidy. - * interp/metalex.lisp (|PARSE-OperatorFunctionName|): Likewise. - * algebra/boolean.spad.pamphlet (PropositionalLogic): Use plain - syntax for operators. - (Logic): Likewise. - (Boolean): Likewise. - (KleeneTrivalentLogic): Likewise. - -2009-05-25 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/sys-constants.boot ($OperatorFunctionNames): New. - * interp/metalex.lisp (|PARSE-OperatorFunctionName|): New. Use it. - * interp/fnewmeta.lisp (|PARSE-Category|): Handle operator - function names. - -2009-05-25 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/kl.spad.pamphlet (KernelFunctions2): Remove OrderedSet - requirements. - * algebra/op.spad.pamphlet (BasicOperatorFunctions1): Likewise. - -2009-05-25 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Partial fix for AW/193 and AW/334. - * algebra/algfunc.spad.pamphlet: Remove OrderedSet requirements. - * algebra/combfunc.spad.pamphlet: Likewise. - * algebra/defintef.spad.pamphlet: Likewise. - * algebra/defintrf.spad.pamphlet: Likewise. - * algebra/degred.spad.pamphlet: Likewise. - * algebra/efstruc.spad.pamphlet: Likewise. - * algebra/elemntry.spad.pamphlet: Likewise. - * algebra/expexpan.spad.pamphlet: Likewise. - * algebra/expr.spad.pamphlet: Likewise. - * algebra/expr2ups.spad.pamphlet: Likewise. - * algebra/exprode.spad.pamphlet: Likewise. - * algebra/fortran.spad.pamphlet: Likewise. - * algebra/fr.spad.pamphlet: Likewise. - * algebra/fraction.spad.pamphlet: Likewise. - * algebra/fs2expxp.spad.pamphlet: Likewise. - * algebra/fspace.spad.pamphlet: Likewise. - * algebra/funcpkgs.spad.pamphlet: Likewise. - * algebra/gaussian.spad.pamphlet: Likewise. - * algebra/genups.spad.pamphlet: Likewise. - * algebra/intalg.spad.pamphlet: Likewise. - * algebra/intef.spad.pamphlet: Likewise. - * algebra/integrat.spad.pamphlet: Likewise. - * algebra/intpm.spad.pamphlet: Likewise. - * algebra/irexpand.spad.pamphlet: Likewise. - * algebra/kl.spad.pamphlet: Likewise. - * algebra/laplace.spad.pamphlet: Likewise. - * algebra/limitps.spad.pamphlet: Likewise. - * algebra/liouv.spad.pamphlet: Likewise. - * algebra/manip.spad.pamphlet: Likewise. - * algebra/nlode.spad.pamphlet: Likewise. - * algebra/odeef.spad.pamphlet: Likewise. - * algebra/oderf.spad.pamphlet: Likewise. - * algebra/openmath.spad.pamphlet: Likewise. - * algebra/patmatch1.spad.pamphlet: Likewise. - * algebra/patmatch2.spad.pamphlet: Likewise. - * algebra/pfo.spad.pamphlet: Likewise. - * algebra/polycat.spad.pamphlet: Likewise. - * algebra/primelt.spad.pamphlet: Likewise. - * algebra/rdeef.spad.pamphlet: Likewise. - * algebra/rdesys.spad.pamphlet: Likewise. - * algebra/rule.spad.pamphlet: Likewise. - * algebra/solverad.spad.pamphlet: Likewise. - * algebra/sum.spad.pamphlet: Likewise. - * algebra/transsolve.spad.pamphlet: Likewise. - * testsuite/interpreter/aw-193.input: New. - * testsuite/interpreter/aw-334.input: Likewise. - -2009-05-21 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/catdef.spad.pamphlet (before?$SetCategory): New. - -2009-05-21 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/cparse.boot (npQuantified): New. - (npType): Use it. - (npDefinitionOrStatement): Likewise. Accept quantified expressions. - (npMatch): Remove. - (npDef): Adjust. - (npMonoType): Likewise. - (npDiscrim): Recognize 'is' and 'isnt' patterns. - -2009-05-18 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/vmlisp.lisp (LIST2VEC): Tidy. - -2009-05-18 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/i-analy.boot (bottomUpDefaultEval): A declared variable - with no definition may be a symbolic variable with a specified type. - -2009-05-18 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/curve.spad.pamphlet: Use literal symbols. - * algebra/defintef.spad.pamphlet: Likewise. - * algebra/defintrf.spad.pamphlet: Likewise. - * algebra/divisor.spad.pamphlet: Likewise. - * algebra/efstruc.spad.pamphlet: Likewise. - * algebra/exprode.spad.pamphlet: Likewise. - * algebra/fspace.spad.pamphlet: Likewise. - * algebra/intaf.spad.pamphlet: Likewise. - * algebra/intef.spad.pamphlet: Likewise. - * algebra/integrat.spad.pamphlet: Likewise. - * algebra/intpm.spad.pamphlet: Likewise. - * algebra/laplace.spad.pamphlet: Likewise. - * algebra/limitps.spad.pamphlet: Likewise. - * algebra/liouv.spad.pamphlet: Likewise. - * algebra/odeef.spad.pamphlet: Likewise. - * algebra/oderf.spad.pamphlet: Likewise. - * algebra/rdeef.spad.pamphlet: Likewise. - * algebra/symbol.spad.pamphlet: Likewise. - * algebra/transsolve.spad.pamphlet: Likewise. - -2009-05-17 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/op.spad.pamphlet: Use symbol literals for property names. - -2009-05-17 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/cparse.boot (npTyping): Remove. - (npDefaultItemlist): Likewise. - (npSDefaultItem): Likewise. - (npDefaultItem): Likewise. - (npDefaultDecl): Likewise. - (npStatement): Don't call npTyping. - (npDefinitionItem): Likewise. - -2009-05-16 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/op.spad.pamphlet (assert$BasicOperator): Remove overload - with String parameter, - -2009-05-15 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/any.spad.pamphlet: Tidy. Redeuce Lisp usage. - -2009-05-15 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/algfunc.spad.pamphlet (AlgebraicFunction): User - Identifiers for property names. - * algebra/combfunc.spad.pamphlet: Likewise. - * algebra/constant.spad.pamphlet: Likewise. - * algebra/efstruc.spad.pamphlet: Likewise. - * algebra/elemntry.spad.pamphlet: Likewise. - * algebra/expr.spad.pamphlet: Likewise. - * algebra/fspace.spad.pamphlet: Likewise. - * algebra/intef.spad.pamphlet: Likewise. - * algebra/integrat.spad.pamphlet: Likewise. - * algebra/kl.spad.pamphlet: Likewise. - * algebra/laplace.spad.pamphlet: Likewise. - * algebra/limitps.spad.pamphlet: Likewise. - * algebra/liouv.spad.pamphlet: Likewise. - * algebra/rdeef.spad.pamphlet: Likewise. - * algebra/pfo.spad.pamphlet: Likewise. - * algebra/op.spad.pamphlet: Likewise. - * algebra/odeef.spad.pamphlet: Likewise. - * algebra/manip.spad.pamphlet: Likewise. - -2009-05-15 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/expr.spad.pamphlet (FunctionSpaceAttachPredicates): Tidy. - (FunctionSpaceAssertions): Likewise. - * algebra/op.spad.pamphlet (BasicOperator): Tidy. - (CommonOperators): Likewise. - -2009-05-15 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/op.spad.pamphlet (assert$BasicOperator): Overload for - Identifier. - -2009-05-14 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/any.spad.pamphlet (RuntimeValue): New domain. - * algebra/Makefile.pamphlet ($(OUT)/RTVALUE.$(FASLEXT)): New rule. - -2009-05-14 Michael Becker <Michael.Becker@coconet.de> - - Fix SF/2790725 (take 2) - * driver/main.c (main): Set LC_ALL to C. - * hyper/ex2ht.c (main): Likewise. - * hyper/htadd.c (main): Likewise. - * hyper/hthits.c (main): Likewise. - * hyper/hyper.c (main): Likewise. - * hyper/spadbuf.c (main): Likewise. - * clef/edible.c (main): Likewise. - * sman/session.c (main): Likewise. - * sman/sman.c (main): Likewise. - * sman/spadclient.c (main): Likewise. - -2009-05-14 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/kl.spad.pamphlet (SortedCache): Use Reference List S. - -2009-05-13 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2790725 - * driver/main.c (main): Set locale to nothing. - * hyper/ex2ht.c (main): Likewise. - * hyper/htadd.c (main): Likewise. - * hyper/hthits.c (main): Likewise. - * hyper/hyper.c (main): Likewise. - * hyper/spadbuf.c (main): Likewise. - * clef/edible.c (main): Likewise. - * sman/session.c (main): Likewise. - * sman/sman.c (main): Likewise. - * sman/spadclient.c (main): Likewise. - -2009-05-13 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/kl.spad.pamphlet (MakeCachableSet): Remove. - * algebra/Makefile.pamphlet (axiom_algebra_layer_6): Don't build it. - -2009-05-11 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/property.lisp: "not" is prefix operator with "not " for - rendering. - * interp/i-output.boot ($allClassicOps): Include not. - * algebra/boolean.spad.pamphlet (PropositionalFormula): Rework. - -2009-05-10 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/translator.boot: Don't load imported modules when - bootstrapping. - -2009-05-10 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Cope with SBCL-1.0.28 improvements. - * boot/translator.boot (translateToplevel): Load imported modules. - * boot/ast.boot ($constantIdentifiers): New. - ($activeNamespace): Likewise. - (bfSimpleDefinition): Likewise. - (isDynamicVariable): Likewise. - (shoeCompTran1): Tidy. Use it. - * boot/parser.boot (bpSimpleDefinitionTail): Use bfSimpleDefinition. - * boot/Makefile.in (stage1/%.clisp): Specify load directory. - (stage2/%.clisp): Likewise. - * lisp/core.lisp.in (startCompileDuration): Export. - (endCompileDuration): Likewise. - -2009-05-10 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/nrunopt.boot (makeGoGetSlot): Adjust call to - makeCompactSigCode. - (makeCompactDirect1): Likewise. - (makeCompactSigCode): Drop second parameter. - -2009-05-10 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/g-opt.boot (emitIndirectCall): New. - (optCall): Use it. - (optSpecialCall): Likewise. - (optSPADCALL): Tidy. - -2009-05-09 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/term.spad.pamphlet (zero?$Arity): New. - (one?$Arity): Likewise. - * algebra/op.spad.pamphlet (BasicOperator): Now belongs to - OperatorCategory(Symbol). - (operator$BasicOperator): One more overload. - * algebra/expr.spad.pamphlet (operator$Expression): Tidy. - * algebra/fspace.spad.pamphlet (elt$ExpressionSpace): Likewise. - * algebra/kl.spad.pamphlet (kernel$Kernel): Likewise. - -2009-05-09 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/compiler.boot (compApplication): Tidy. - -2009-05-05 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/op.spad.pamphlet (property$BasicOperator): Overload with - a version that takes an identifier. - (deleteProperty$BasicOpetrator): Likewise. - (setProperty$BasicOperator): Likewise. - -2009-05-05 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2785271 - * interp/sys-constants.boot ($Primitives): Remove. - * interp/br-con.boot (conOpPage1): Replace $Primitives by - $DomainNames. - (dbShowConsDoc1): Likewise. - * interp/buildom.boot ($nonLisplibDomains): Likewise. - * interp/br-op2.boot (kFormatSlotDomain): isConstructorName. - * interp/br-saturn.boot (bfConform1): Handle string literals as - constructor arguments. - -2009-04-28 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/define.boot (canCacheLocalDomain): Remove dead code. - -2009-04-28 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/compiler.boot (compComma): Supply element type for tuple - construction. - * interp/i-coerfn.boot (L2Tuple): Likewise. - * interp/i-object.boot (asTupleNew): Likewise. - (asTupleNew0): Likewise. - (asTupleNewCode): Likewise. - (asTupleNewCode0): Likewise. - * interp/i-spec1.boot (evalCOLLECT): Likewise. - (interpCOLLECT): Likewise. - * interp/i-spec2.boot (evalTuple): Likewise. - (upNullTuple): Likewise. - -2009-04-26 Gabriel Dos Reis <gdr@cs.tamu.edu>> - - Fix SF/2781848 - * interp/daase.lisp (make-databases): Build glossary files too. - * interp/br-data.boot (buildGloss): gloss.text now lives in doc/. - * interp/br-search.boot (grepSource): Likewise. - * interp/ht-root.boot (htGlossPage): Likewise. - * etc/Makefile.in (openaxiom_glossfiles): New. - (mostlyclean-local): Remove them too. - (stamp-databases): Now copy glossary files too. - * doc/Makefile.in ($(OUT)/gloss.text): New rule. - (stamp): Make it a prerequisite. - * Makefile.pamphlet (all-databases): Make all-doc a prerequisite. - (all-hyper-post): Likewise. - * doc/gloss.text: Resurect. - -2009-04-26 Gabriel Dos Reis <gdr@cs.tamu.edu>> - - * interp/sys-macros.lisp (makeSimpleArrayFromList): New. - * algebra/array1.spad.pamphlet (construct$PrimitiveArray): Implement. - (copy$PrimitiveArray): Likewise. - (IndexedOneDimensionalArray): Rework. Explicitly use - PrimitiveArray(S) as representation domain. - -2009-04-26 Gabriel Dos Reis <gdr@cs.tamu.edu>> - - * algebra/domain.spad.pamphlet (Constructor): Use Identifier. - -2009-04-26 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/newpoint.spad.pamphlet (point$Point): Call vector$Vector. - * algebra/array1.spad.pamphlet (fill!$PrimitiveArray): Use builtin - operation. - -2009-04-25 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/strap/PRIMARR.lsp: Remove. - -2009-04-24 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/syntax.spad.pamphlet (new$Identifier): New. - -2009-04-24 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/strap/ULSCAT.lsp: Remove. - -2009-04-24 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/strap/UPOLYC.lsp: Remove. - * algebra/strap/UPOLYC-.lsp: Likewise. - -2009-04-23 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/strap/PSETCAT-.lsp: Remove. - * algebra/strap/PSETCAT.lsp: Likewise. - -2009-04-23 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/strap/TSETCAT.lsp: Remove. - * algebra/strap/TSETCAT-.lsp: Likewise. - -2009-04-23 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/c-util.boot (extendsCategoryForm): Use current category - body instead of previous previous version of it. - * algebra/Makefile.pamphlet: Remove ES from bootstrap layer. - Build it (and dependencies) at layer 1. - * algebra/strap/ES.lsp: Remove. - * algebra/strap/ES-.lsp: Likewise. - * algebra/boolean.spad.pamphlet (Boolean): Don't use outputForm. - -2009-04-23 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/compiler.boot ($IOFormDomains): New. - (compAtom): Allow implicit coercion to IO forms for values of - fundamental types. - (compSymbol): Likewise. - (compQuote): Likewise. - * algebra/aggcat.spad.pamphlet (coerce$BinaryRecursiveAggregate): - Don't hard code empty bracket. - -2009-04-22 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/sys-constants.boot ($SystemInlinableConstructorNames): - Include Identifier. - * interp/compiler.boot (compElt): Fix up 0 and 1 shenannigan. - * algebra/boolean.spad.pamphlet (Reference): Use Identifier. - * algebra/Makefile.pamphlet (axiom_algebra_bootstrap): Remove REF. - (axiom_algebra_bootstrap_last_layer): Likewise. - * algebra/strap/REF.lsp: Remove. - -2009-04-21 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/Makefile.pamphlet: Move aggregates to layer 0. - -2009-04-20 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/Makefile.pamphlet: Move Fortran domains to user layer. - -2009-04-20 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/sys-constants.boot ($Identifier): New. - * interp/compiler.boot (compQuote): Use the target mode if appropriate. - * interp/i-spec2.boot (upQUOTE): Likewise. - * algebra/syntax.spad.pamphlet: Use Identifier in lieu of Symbol. - -2009-04-20 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/br-con.boot: Use textEditor() to get editor program. - * interp/br-saturn.boot: Likewise. - * interp/compat.boot: Likewise. - * interp/i-util.boot (textEditor): Define here. - * interp/g-util.boot: Likewise. - -2009-04-20 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/msgdb.boot (substituteSegmentedMsg): Handle %x specifier. - -2009-04-19 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/ast.boot (genECLnativeTranslation): Tidy. - (genSBCLnativeTranslation): Likewise. - * interp/compiler.boot (emitLocalCallInsn): Likewise. - (compForm1): Allow package call to external function. - (compElt): Likewise. - (getExternalSymbolMode): New. - (compForeignPackageCall): Likewise. - -2009-04-19 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/any.spad.pamphlet (Binding): Define Rep. Tidy. - (Contour): Likewise. - (findBinding$Contour): Now return Maybe Binding. - (findBinding$Scope): Likewise. - (getProperties$Environment): Just return List Binding. - (interactiveEnv$Environment): New. - -2009-04-19 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/mkfunc.spad.pamphlet (tuplify$InputForm): Tidy. - * interp/i-output.boot (parms2String): New. - (inputForm2String): Handle anonymous functions. - -2009-04-18 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/mkfunc.spad.pamphlet (InputForm): Remove assignment to Rep. - (convert): Use per and rep operators. - * algebra/stap: Updated cached Lisp translation. - -2009-04-18 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2757715 - * Makefile.pamphlet (all-input): Make all-doc a requirement. - (all-doc): Tidy. - * doc/Makefile.in: Likewise. Install help files. - * doc/help: New. Home for help files. - -2009-04-16 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2763053 - * interp/sys-os.boot ($NaNvalue): Remove. - (quietDoubleNaN): Import. - * include/cfuns.h (quiet_double_NaN): Rename from NANQ. - * lib/cfuns-c.c (quiet_double_NaN): Likewise. - * algebra/draw.spad.pamphlet: Replace $NaNvalue with quietDoubleNaN. - * algebra/plot.spad.pamphlet: Likewise. - * algebra/plot3d.spad.pamphlet: Likewise. - -2009-04-15 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2760823 - * interp/sys-driver.boot (systemMain): Explicitly call toplevel - REPL for SBCL- and ECL-based builds. - * interp/i-toplev.boot (start): Don't special case SBCL here. - * interp/int-top.boot (spad): Likewise. - (intloop): Tidy call to SpadInterpretStream. - (SpadInterpretStream): Don't store to $fn. - * interp/msg.boot (toFile?): Don't check for $fn. - -2009-04-14 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2760553 - * lisp/core.lisp.in (associateRequestWithFileType): Remember - FILE-TYPE as default value for REQUEST. - (|processCommandLine|): Standard options have length at least 2. - (|handleCommandLine|): Use default file type if non is present. - -2009-04-13 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2760823 - * interp/int-top.boot (spad): Return 0 for when SBCL is base Lisp - runtime. - * interp/i-toplev.boot (start): Likewise. - -2009-04-13 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2760560 - * driver/utils.h (openaxiom_driver): Add openaxiom_null_driver. - Document all of them. - * driver/utils.c (print_line): New. - (print_version): Print version information. - (print_usage): Print option documentation. - (openaxiom_preprocess_arguments): Handle --help and --version. - * driver/main.c (main): Do nothing for the null driver. - * sman/sman.c (process_arguments): Accept long form of options. - -2009-04-13 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2757748 - * hyper/Makefile.in (${OUTLIB}/htsearch): Insist on execution bit. - (${OUTLIB}/presea): Likewise. - -2009-04-11 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2754400 - * interp/setvars.boot (setOutputFortran): Transform pathname from - symbol to string. - * testsuite/interpreter/sf-2754400.input: New. - -2009-04-11 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2749682 - * interp/sys-os.boot ($NaNvalue): Fix typo. - * testsuite/interpreter/sf-2749682.input: New. - -2009-04-08 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2564917 - * lisp/core.lisp.in: Default the read to DOUBLE-FLOAT for floating - point literals. - * boot/translator.boot (BOOTTOCLLINES): Don't set it here. - -2009-04-08 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/scan.boot (scanCheckRadix): Take the radix in string form. - Croak on missing digit after radix. - (scanNumber): Don't ask for implicit 0 completion for explicit - radix integers. - * interp/int-top.boot (phInterpret): Don't bother evaluating - expressions if earlier phases saw errors. - * interp/msg.boot (getStFromMsg): Fix typo. - -2009-04-06 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/ast.boot: Support more ISO C sized integer type in FFI. - -2009-03-26 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * boot/ast.boot (nativeType): Accept int16 and int32. - (getFFIDatatype): Accept ReadWrite modifier. - * algebra/data.spad.pamphlet (Int32): New. - (UInt64): Likewise. - * algebra/Makefile.pamphlet (axiom_algebra_layer_7): Include INT64 - and UINT64. - -2009-03-25 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * clef/edible.c (main): Properly null-terminate varargs call. - -2009-03-08 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/fnewmeta.lisp (PARSE-Import): Parse extern entity - signature import. - * interp/functor.boot (encodeLocalFunctionName): New. - * interp/define.boot (compDefine1): Avoid getAbbreviation. - (doIt): Handle %SignatureImport nodes. - * interp/compiler.boot (emitLocalCallInsn): New. - (applyMapping): Use it. - (compApplication): Likewise. - (bootDenotation): New. - (getBasicFFIType): Likewise. - (getFFIDatatype): Likewise. - (getBootType): Likewise. - (checkExternalEntityType): Likewise. - (checkExternalEntity): Likewise. - (removeModifiers): Likewise. - (compSignatureImport): Likewise. - * interp/vmlisp.lisp (|compileLispDefinition|): New. - * interp/boot-pkg.lisp: Import genImportDeclaration. - * boot/initial-env.lisp: Export genImportDeclaration. - * boot/ast.boot: Tidy. Accept `readwrite' modifier. - -2009-03-02 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/compiler.boot (modeIsAggregateOf): Use RepIfRepHack. - * interp/g-opt.boot (optimizeFunctionDef): Tidy. - * interp/i-syscmd.boot (compileSpad2Cmd): Support ')report' option. - * interp/sys-driver.boot (initializeGlobalState): Likewise. - -2009-03-01 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/g-opt.boot (optimize): Remove non-qualified - interpretation of 'false' and 'true'. - (optCond): Emit 'NOT', not 'NULL'. - (optIF2COND): Likewise. - (EqualBarGensym): Tidy. - -2009-03-01 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/compiler.boot (compTopLevel): Initialize list of - optimizable domain constructors. - (processInlineRequest): New. - * interp/define.boot (spadCompileOrSetq): Tidy. - (mutateToNothing): New. - (doIt): Use it. Add support for inline directives. - * interp/fnewmeta.lisp (PARSE-Inline): New. - * interp/metalex.lisp (KEYWORDS): Include 'inline'. - -2009-02-28 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/nruncomp.boot (genDeltaEntry): Return optimized - implementation after slot allocation. - * share/algebra: Update databases. - * algebra/strap: Update cached Lisp translation. - -2009-02-28 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/define.boot (NRTPARSE): Remove. - (mkCategoryPackage): Remove dead code. - (compDefineFunctor1): Tidy. - (compDefineCapsuleFunction): Likewise. - (compileCases): Likewise. - -2009-02-27 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * lisp/core.lisp.in ($ECLVersionNumber): New. - * boot/ast.boot (genECLnativeTranslation): Use it. - -2009-02-22 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/compiler.boot (compAtom): Don't interpret 'nil' as empty - vector. - (compSymbol): Don't interpret 'true' and 'false' as Boolean - constants if domain Boolean is not in scope. - * algebra/any.spad.pamphlet (Property): Tidy. - * algebra/asp.spad.pamphlet (Asp34): Likewise. - * algebra/functions.spad.pamphlet (BasicFunctions): Likewise. - * algebra/lodop.spad.pamphlet (OppositeMonogenicLinearOperator): - Likewise. - * algebra/groebsol.spad.pamphlet: Import Boolean. - -2009-02-22 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/util.lisp (MAKESPAD): Remove. - (MAKELIB): Likewise. - (tr): Likewise. - (MAKE-TAGS-FILE): Likewise. - (SPADTAGS-FROM-DIRECTORY): Likewise. - (SPADTAGS-FROM-FILE): Likewise. - (WRITE-TAG-LINE): Likewise. - (FINDTAG): Likewise. - (MATCH-LISP-TAG): Likewise. - (BLANKCHARP): Likewise. - -2009-02-22 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/msgdb.boot: Avoid SETANDFILEQ. - -2009-02-21 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/compiler.boot (compRetractAlternative): Don't store - pointers to the environment. - (compRecoverAlternative): Likewise. - (compMatch): Likewise. - (compIterator): Likewise. - (compIteratorV): Likewise. - * interp/define.boot (checkRepresentation): Likewise. - * interp/info.boot (actOnInfo): Likewise. - -2009-02-19 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/sys-utility.boot (%hostByteOrder): Make a function. - * algebra/system.spad.pamphlet (hostByteOrder$System): Adjust call. - -2009-02-19 Aleksej Saushev <asau@inbox.ru> - - * lib/openpty.c: Include <sys/types.h> when testing for openpty. - -2009-02-19 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/catdef.spad.pamphlet (characteristic$Ring): Make a - constant. - * algebra/naalgc.spad.pamphlet - (characteristic$NonAssociativeRing): Likewise. - -2009-02-18 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/parse.boot (parseHas): Constants are not attributes. - * interp/compiler.boot (compHasFormat): Handle signature for - constants too. - * interp/info.boot (actOnInfo): Likewise. - * algebra/data.spad.pamphlet (sample$Byte): Make a constant. - (SystemInteger): Export constant 'sample'. - (SystemNonNegativeInteger): Likewise. - * algebra/aggcat2.spad.pamphlet (FiniteLinearAggregateFunctions2): - Use 'sample' or 'random' elements when allocating new aggregates. - -2009-02-15 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/data.spad.pamphlet (ByteBuffer): Tidy. Manage size - explicitly. - * algebra/net.spad.pamphlet (writeBytes!$InetClientStreamSocket): - Convert buffer to array before calling VM function. - (readBytes!$InetClientStreamSocket): Likewise. - * interp/sys-utility.boot (makeByteBuffer): Don't ask for fill - pointers. - -2009-02-09 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * lib/openpty.c: #include <sys/ioctl.h>, <termios.h>, and - <libutil.h> where available. - -2009-02-09 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/i-spec2.boot (upDollar): Fix thinko. - * interp/compat.boot (editFile): Tidy. - * interp/br-op2.boot (modemap2Sig): Don't update $badStack.xo - -2009-02-08 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/i-spec2.boot (constantInDomain?): Move from i-coerce.boot. - (findConstructor$Constructor): Take constant type as argument. - (upDollar): Tidy. - -2009-02-07 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix AW/103 - * algebra/catdef.spad.pamphlet (exquo$EuclideanDomain): Return 0 - if first argument is 0. - * algebra/integer.spad.pamphlet (exquo$Integer): Remove. - * testsuite/interpreter/aw-103.input: New. - -2009-02-07 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix AW/66 - * algebra/zerodim.spad.pamphlet: Restore use of one? - * algebra/updivp.spad.pamphlet: Likewise. - * algebra/unifact.spad.pamphlet: Likewise. - * algebra/triset.spad.pamphlet: Likewise. - * algebra/tools.spad.pamphlet: Likewise. - * algebra/suts.spad.pamphlet: Likewise. - * algebra/sttaylor.spad.pamphlet: Likewise. - * algebra/string.spad.pamphlet: Likewise. - * algebra/sregset.spad.pamphlet: Likewise. - * algebra/si.spad.pamphlet: Likewise. - * algebra/sf.spad.pamphlet: Likewise. - * algebra/riccati.spad.pamphlet: Likewise. - * algebra/rf.spad.pamphlet: Likewise. - * algebra/regset.spad.pamphlet: Likewise. - * algebra/rderf.spad.pamphlet: Likewise. - * algebra/rdeef.spad.pamphlet: Likewise. - * algebra/quat.spad.pamphlet: Likewise. - * algebra/puiseux.spad.pamphlet: Likewise. - * algebra/pscat.spad.pamphlet: Likewise. - * algebra/prtition.spad.pamphlet: Likewise. - * algebra/prs.spad.pamphlet: Likewise. - * algebra/primelt.spad.pamphlet: Likewise. - * algebra/polycat.spad.pamphlet: Likewise. - * algebra/poly.spad.pamphlet: Likewise. - * algebra/polset.spad.pamphlet: Likewise. - * algebra/pfo.spad.pamphlet: Likewise. - * algebra/perm.spad.pamphlet: Likewise. - * algebra/pattern.spad.pamphlet: Likewise. - * algebra/padiclib.spad.pamphlet:Likewise. - * algebra/openmath.spad.pamphlet: Likewise. - * algebra/opalg.spad.pamphlet: Likewise. - * algebra/op.spad.pamphlet: Likewise. - * algebra/omerror.spad.pamphlet: Likewise. - * algebra/oderf.spad.pamphlet: Likewise. - * algebra/odeef.spad.pamphlet: Likewise. - * algebra/oct.spad.pamphlet: Likewise. - * algebra/nlinsol.spad.pamphlet: Likewise. - * algebra/newpoly.spad.pamphlet: Likewise. - * algebra/naalgc.spad.pamphlet: Likewise. - * algebra/naalg.spad.pamphlet: Likewise. - * algebra/multpoly.spad.pamphlet: Likewise. - * algebra/mring.spad.pamphlet: Likewise. - * algebra/modring.spad.pamphlet: Likewise. - * algebra/moddfact.spad.pamphlet: Likewise. - * algebra/mkfunc.spad.pamphlet: Likewise. - * algebra/matstor.spad.pamphlet: Likewise. - * algebra/matrix.spad.pamphlet: Likewise. - * algebra/matcat.spad.pamphlet: Likewise. - * algebra/manip.spad.pamphlet: Likewise. - * algebra/lodof.spad.pamphlet: Likewise. - * algebra/liouv.spad.pamphlet: Likewise. - * algebra/laplace.spad.pamphlet: Likewise. - * algebra/irexpand.spad.pamphlet: Likewise. - * algebra/intrf.spad.pamphlet: Likewise. - * algebra/intpm.spad.pamphlet: Likewise. - * algebra/intfact.spad.pamphlet: Likewise. - * algebra/integer.spad.pamphlet: Likewise. - * algebra/intclos.spad.pamphlet: Likewise. - * algebra/intaux.spad.pamphlet: Likewise. - * algebra/intalg.spad.pamphlet: Likewise. - * algebra/intaf.spad.pamphlet: Likewise. - * algebra/gpol.spad.pamphlet: Likewise. - * algebra/gpgcd.spad.pamphlet: Likewise. - * algebra/gb.spad.pamphlet: Likewise. - * algebra/gaussian.spad.pamphlet: Likewise. - * algebra/galutil.spad.pamphlet: Likewise. - * algebra/galpolyu.spad.pamphlet: Likewise. - * algebra/galfact.spad.pamphlet: Likewise. - * algebra/fspace.spad.pamphlet: Likewise. - * algebra/fs2ups.spad.pamphlet: Likewise. - * algebra/fs2expxp.spad.pamphlet: Likewise. - * algebra/free.spad.pamphlet: Likewise. - * algebra/fraction.spad.pamphlet: Likewise. - * algebra/fr.spad.pamphlet: Likewise. - * algebra/fparfrac.spad.pamphlet: Likewise. - * algebra/fortran.spad.pamphlet: Likewise. - * algebra/fmod.spad.pamphlet: Likewise. - * algebra/float.spad.pamphlet: Likewise. - * algebra/ffx.spad.pamphlet: Likewise. - * algebra/ffnb.spad.pamphlet: Likewise. - * algebra/ffcg.spad.pamphlet: Likewise. - * algebra/ffcat.spad.pamphlet: Likewise. - * algebra/exprode.spad.pamphlet: Likewise. - * algebra/expr.spad.pamphlet: Likewise. - * algebra/expexpan.spad.pamphlet: Likewise. - * algebra/elemntry.spad.pamphlet: Likewise. - * algebra/efupxs.spad.pamphlet: Likewise. - * algebra/efuls.spad.pamphlet: Likewise. - * algebra/e04routine.spad.pamphlet: Likewise. - * algebra/e04agents.spad.pamphlet: Likewise. - * algebra/divisor.spad.pamphlet: Likewise. - * algebra/derham.spad.pamphlet: Likewise. - * algebra/defintrf.spad.pamphlet: Likewise. - * algebra/defintef.spad.pamphlet: Likewise. - * algebra/defaults.spad.pamphlet: Likewise. - * algebra/d03agents.spad.pamphlet: Likewise. - * algebra/d01weights.spad.pamphlet: Likewise. - * algebra/d01routine.spad.pamphlet: Likewise. - * algebra/d01agents.spad.pamphlet: Likewise. - * algebra/curve.spad.pamphlet: Likewise. - * algebra/crfp.spad.pamphlet: Likewise. - * algebra/cont.spad.pamphlet: Likewise. - * algebra/constant.spad.pamphlet: Likewise. - * algebra/complet.spad.pamphlet: Likewise. - * algebra/combfunc.spad.pamphlet: Likewise. - * algebra/catdef.spad.pamphlet: Likewise. - * algebra/brill.spad.pamphlet: Likewise. - * algebra/array1.spad.pamphlet: Likewise. - * algebra/algfunc.spad.pamphlet: Likewise. - * algebra/algfact.spad.pamphlet: Likewise. - -2009-02-07 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/system.spad.pamphlet (hostByteOrder$System): New. - * algebra/data.spad.pamphlet (ByteOrder): New. - * algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include BYTEORD. - -2009-02-06 Alfredo Portes <doyenatccny@gmail.com> - - * hyper/presea.in: Fix thinko. - -2009-02-06 Gabriel Dos Reis <gdr@cs.tamu.edu> - Alfredo Portes <doyenatccny@gmail.com> - - Fix AW/236, AW/282 - * interp/sys-utility.boot (probeReadableFile): New. - * interp/nlib.lisp (probe-name): Remove. - (make-input-filename): Tidy. - * interp/lisplib.boot (readLib1): Return nil if path inexistent. - (getFileProperty): Likewise. - -2009-02-04 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/domain.lisp: Remove. - -2009-02-04 Gabriel Dos Reis <gdr@cs.tamu.edu> - Waldek Hebisch <hebisch@math.uni.wroc.pl> - - Fix AW/440 - * algebra/integrat.spad.pamphlet - (integrate$FunctionSpaceComplexIntegration): Use complexIntegrate - for complex expressions. - * testsuite/aw-440.input: New. - -2009-02-04 Waldek Hebisch <hebisch@math.uni.wroc.pl> - Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix AW/441 - * algebra/defintrf.spad.pamphlet - (findRealZero$DefiniteIntegrationTools): Deal with simple zeros. - * testsuite/interpreter/aw-441.input: New. - -2009-02-04 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/gaussian.spad.pamphlet (ComplexCategory): Reinstate - attribute 'complex'. - * algebra/Makefile.pamphlet: Tidy. - -2009-02-04 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/algfunc.spad.pamphlet: Quote symbols. - * algebra/combfunc.spad.pamphlet: Likewise. - * algebra/drawopt.spad.pamphlet: Likewise. - * algebra/efstruc.spad.pamphlet: Likewise. - * algebra/elemntry.spad.pamphlet: Likewise. - * algebra/expr.spad.pamphlet: Likewise. - * algebra/exprode.spad.pamphlet: Likewise. - * algebra/float.spad.pamphlet: Likewise. - * algebra/gaussian.spad.pamphlet: Likewise. - * algebra/intaux.spad.pamphlet: Likewise. - * algebra/irexpand.spad.pamphlet: Likewise. - * algebra/laplace.spad.pamphlet: Likewise. - * algebra/limitps.spad.pamphlet: Likewise. - * algebra/liouv.spad.pamphlet: Likewise. - * algebra/list.spad.pamphlet: Likewise. - * algebra/lmdict.spad.pamphlet: Likewise. - * algebra/manip.spad.pamphlet: Likewise. - * algebra/matcat.spad.pamphlet: Likewise. - * algebra/matrix.spad.pamphlet: Likewise. - * algebra/mkfunc.spad.pamphlet: Likewise. - * algebra/mset.spad.pamphlet: Likewise. - * algebra/oct.spad.pamphlet: Likewise. - * algebra/op.spad.pamphlet: Likewise. - * algebra/patmatch1.spad.pamphlet: Likewise. - * algebra/pattern.spad.pamphlet: Likewise. - * algebra/quat.spad.pamphlet: Likewise. - * algebra/sets.spad.pamphlet: Likewise. - * algebra/transsolve.spad.pamphlet: Likewise. - * algebra/vector.spad.pamphlet: Likewise. - -2009-02-03 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/boolean.spad.pamphlet (Boolean): Tidy. - -2009-02-02 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/domain.spad.pamphlet (FunctionDescriptor): New. - (OverloadSet): Likewise. - (operations$ConstructorCategory): Likewise. - * share/algebra: Update databases. - -2009-01-31 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/Makefile.pamphlet: Tidy layer 0 dependency. - SETCAT and SETCAT- are no longer required for bootstrap. - * algebra/SETCAT.lsp: Remove. - * algebra/SETCAT-.lsp: Likewise. - -2009-01-30 Waldek Hebisch <hebisch@math.uni.wroc.pl> - Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix AW/83 - * interp/i-coerfn.boot (Dmp2P): Scalar tag is 0 for Polynomial T. - * testsuite/interpreter/aw-83.input (a): New. - -2009-01-29 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * OpenAxiom 1.2.1 Released. - -2009-01-29 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/g-error.boot (systemErrorHandler): Tidy. - -2009-01-28 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/domain.spad.pamphlet (findConstructor$Constructor): New. - -2009-01-17 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/br-saturn.boot (htpMakeEmptyPage): Use deprecated GENTEMP - instead of GENSYM. - * interp/ht-util.boot (htpName): Likewise. - (mkCurryFun): Likewise. - (htRadioButtons): Likewise. - (htBcRadioButtons): Likewise - * interp/br-con.boot (kisValidType): Use $LangSupportTypes. - -2009-01-14 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/riccati.spad.pamphlet (innerlb$PrimitiveRatRicDE): Fix - thinko. - * interp/bootlex.lisp (get-decimal-number-token): New. - (get-integer-in-radix): Likewise. - (is-radix-char): Likewise. - (get-spad-integer-token): Likewise. Use them. - (get-BOOT-token): Use it. - * interp/metalex.lisp: Tidy. - -2009-01-13 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/net.spad.pamphlet (InputByteConduit): Add readInt8!, - readInt16!, readInt32!, readUInt8!, readUInt16!, readUInt32!. - -2009-01-12 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/category.boot: Miscellaneous cleanup. - * interp/compiler.boot: Likewise. - * interp/define.boot: Likewise. - * interp/functor.boot: Likewise. - * interp/info.boot: Likewise. - * interp/nruncomp.boot: Likewise. - * interp/wi1.boot: Likewise. - * interp/wi2.boot: Likewise. - -2009-01-10 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/compiler.boot (getSuccessEnvironment): Don't specialize - on `has'. - (getInverseEnvironment): Likewise. - * algebra/equation2.spad.pamphlet (factorAndSplit$Equation): Fix - misuses of `has'. - * interp/functor.boot (mkTypeForm): Rename from mkDomainConstructor. - -2009-01-10 Gabriel Dos Reis <gdr@cs.tamu.edu> - - Fix SF/2491986 - * interp/i-syscmd.boot (displayValue): Fix thinko. - * testsuite/interpreter/sf-2491986.input (a): New. - -2009-01-10 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/parse.boot ($parsingType): New. - (parseType): New. Parse types forms. - (parseTypeList): New. Parse list of type forms. - -2009-01-09 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/compiler.boot (compPredicate): Rename from compBoolean. - Lose second argument. Document. - -2009-01-09 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/data.spad.pamphlet (Byte): Satisfy OrderedFinite. - (SystemInteger, SystemNonNegativeInteger, Int8, Int16, Int32, - UInt8, UInt 16, UInt32): New. - * algebra/Makefile.pamphlet (axiom_algebra_layer_7): Include INT8, - INT16, INT32, UINT8, UINT16, UINT32. - -2009-01-07 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/sys-utility.boot (readByteFromFile): Tidy. - (makeByteBuffer): Set fill pointer. - (connectToHostAndPort): Define here. - (readByteFromStreamSocket): Likewise. - (writeByteToStreamSocket): Likewise. - * interp/sys-os.boot (doConnectToHostAndPort): Rename from - connectot$NetworkClientSocket. - (doReadByteFromStreamSocket): Rename from readByteFromStreamSocket. - (doWriteByteToStreamSocket): Rename from writeByteToStreamSocket. - * algebra/net.spad.pamphlet: Use Maybe Byte. - * algebra/data.spad.pamphlet (ByteBuffer): Fix fill pointer thinko. - -2009-01-06 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/net.spad.pamphlet (resolve$Hostname): Return a Maybe %. - (connectot$NetworkClientSocket): Likewise. - (connectot$InetClientStreamSocket): Likewise. - -2009-01-06 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * algebra/any.spad.pamphlet (Maybe): Rework. - -2009-01-06 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/sys-utility.boot (getVMType): IndexList are lists. - * interp/g-util.boot (isSubDomain): Tidy. - * interp/g-opt.boot (isVMConstantForm): New. - (findVMFreeVars): Likewise. - * interp/define.boot (insertViewMorphisms): Remove. - (emitSubdomainInfo): New. - (checkVariableName): Likewise. - (checkParameterNames): Likewise. - (checkRepresentation): Set $subdomain where appropriate. - (compDefines): Check parameter names. - (compDefineFunctor1): Propagate subdomain info. - (doIt): Don't call insertViewMorphisms. - * interp/compiler.boot (setqSingle): Check variable name. - (compIterator): Likewise. - (commonSuperType): New. - (satisfies): Likewise. - (coerceSubset): Use them to implemen cross-subdomain coercion. - (coerceSuperset): New. - (comCoerce1): Use it. - (compPer): New. - (compRep): Likewise. - * interp/c-util.boot (getRepresentation): New. - (proclaimCapsuleFunction): Improve for specialized subdomains. - * algebra/stream.spad.pamphlet: Don't use `per' as variable name. - * algebra/si.spad.pamphlet (size$SingleInteger): Tidy. - (coerce$SingleInteger): Likewise. - * algebra/reclos.spad.pamphlet (nonNull$RealClosure): Don't use - `rep' as parameter name. - * algebra/data.spad.pamphlet (Byte): Now a subdomain of - NonNegativeInteger. Tidy. - -2009-01-04 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/daase.lisp (setdatabase): Set superdomain slot too. - * interp/g-util.boot (superType): Handle current domain form. - (maximalSuperType): Tidy. - (noteSubDomainInfo): Call SETDATABASE. - -2009-01-04 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/buildom.boot (createEnum): Fix quoting. - * interp/compat.boot (system): Likewise. - * interp/astr.boot (ncEltQ): Fix declaration. - * interp/compiler.boot (compMapCond'): Likewise. - (compMapCond): Likewise. - (compMapCondFun): Remove declaration. - -2009-01-03 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * lisp/core.lisp.in (|%algebraSystemIsComplete|): New. - (|%basicSystemIsComplete|): Use it. - * interp/wi1.boot (setqSingle): Use maximalSuperType. - (coerceSubset): Simplify. - (compCoerce1): Tidy. - * interp/i-resolv.boot (resolveTCat): Use superType. - * interp/lisplib.boot (findConstructorSlotNumber): Use isSubset. - (sigsMatch): Likewise. - (findDomainSlotNumber): Likewise. - * interp/define.boot (compSubDomain1): Reject for complex subdomain - predicate. Support paramterized subdomains. - * interp/daase.lisp (interpOpen): Read superdomain slot. - (getdatabase): Remove adhoc hardcoded superdomain info. - Return superdomain info stored in database. - (localnrlib): Read superdomain info. - (write-interpdb): Write superdomain info. - (database): Add superdomain slot. - * interp/g-util.boot (superType): New. - (maximalSuperType): Rework. Support parameterized subdomains. - (noteSubDomainInfo): New. - (isSubDomain): Rework. - * interp/c-util.boot (isSubset): Rework. - * interp/g-opt.boot (optEQ): Remove. - * interp/g-cndata.boot (getImmediateSuperDomain): Remove. - (maximalSuperType): Move to g-util.boot. - * interp/types.boot (%Constructor): New type specifier. - (%Instantiation): Likewise. - * interp/compiler.boot (primitiveType): Don't return $NegativeInteger. - (maxSuperType): Remove. - (hasType): Use maximalSuperType. - (satisfies): New. - (coerceSubset): Use it. Simplify. - * interp/wi2.boot (smallIntegerStep): Use maximalSuperType. - * interp/sys-constants.boot ($AtVariables): New. - ($NegativeInteger): Remove. - ($NonPositiveInteger): Likewise. - ($CategoryNames): Category is not a category. - * interp/property.lisp: Remove Subsets property settings. - * interp/i-coerce.boot (coerceSubDomain): Simplify. - (coerceImmediateSubDomain): Remove. - (getSubDomainPredicate): Simplify. - * interp/category.boot (SourceLevelSubset): Use isSubDomain. - (MachineLevelSubset): Likewise. - * interp/modemap.boot (mergeModemap): Likewise. - (isSuperDomain): Remove. - (augModemapsFromDomain): Support parameterized subdomains. - * interp/i-util.boot (isSubDomain): Move to g-util.boot. - * Makefile.pamphlet (all-databases): New target. - * interp/Makefile.pamphlet ($(AXIOMSYS)): Push - :open-axiom-algebra-system onto *FEATURES*. - * etc/Makefile.in (all-databases): New target. - -2009-01-02 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/buildom.boot (UnionEqual): Don't call orderUnionEntries. - (coerceUn2E): Likewise. - (mkUnionFunList): Likewise. - * interp/i-coerce.boot (coerceUnion2Branch): Likewise. - (coerceBranch2Union): Likewise. - ($newCompilerUnionFlag): Remove. - (orderUnionEntries): Likewise. - (mkPredList): Remove dead code. - -2009-01-02 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/c-util.boot (updateCapsuleDirectory): Record constant - makers too. - (replaceSimpleFunctions): Fold simple constant form makers. - -2009-01-01 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * interp/pf2sex.boot (pfLiteral2Sex): Fix evaluation of intergers - with non-decimal radix. - * interp/scan.boot (rdigti?): Allow non-capital letters. - |