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 | |
| parent | 00c21d32515eb3da394b8f8b8bd10dd8a4a81a5c (diff) | |
| download | open-axiom-b65aaf7804179f9b9c0fbae3b76e211a1692744d.tar.gz | |
Annual ChangeLog rotation
| -rw-r--r-- | ChangeLog | 105 | ||||
| -rw-r--r-- | ChangeLog.2009 | 105 | ||||
| -rwxr-xr-x | configure | 18 | ||||
| -rw-r--r-- | configure.ac | 2 | ||||
| -rw-r--r-- | configure.ac.pamphlet | 2 | ||||
| -rw-r--r-- | src/ChangeLog | 2269 | ||||
| -rw-r--r-- | src/ChangeLog.2009 | 2269 |
7 files changed, 2385 insertions, 2385 deletions
@@ -1,105 +0,0 @@ -2009-10-25 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * config/var-def.mk (axiom_src_texdir): New. - -2009-10-13 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * configure.ac.pamphlet: Look for SBCL before GCL; look for ECL too. - -2009-09-21 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * configure.ac.pamphlet: Don't unconditionally initialize CCF. - * config/var-def.mk (PLF): Remove. - (LDF): Likewise. - (LISP): Likewise. - -2009-09-20 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * configure.ac.pamphlet: Don't define CPP LINUXplaform, - MACOSXplaform, and MSYSplatoform macros. - -2009-09-16 Kosta Oikonomou <ko@research.att.com> - Gabriel Dos Reis <gdr@cs.tamu.edu> - - * configure.ac.pamphlet: Don't insist on GNU C compiler if we - don't use GCL. Check for nsl on Solaris boxes. - * config/var-def.mk (oa_c_libs): New. - -2009-08-05 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * OpenAxiom-1.3.0 Released. - -2009-07-24 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * configure.ac.pamphlet: Reject SBCL-1.0.29 as too buggy to build - OpenAxiom. - -2009-07-04 Alfredo Portes <doyenatccny@gmail.com> - - * contrib/texmacs: New. - -2009-07-02 Gabriel Dos Reis <gdr@cse.tamu.edu> - - * configure.ac.pamphlet: Support --enable-profiling. - * config/var-def.mk (oa_yesno_to_lisp_boolean): New. - (oa_enable_profiling): Likewise. - (oa_enable_lisp_profiling): Likewise. - -2009-05-17 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * configure.ac.pamphlet: Tidy Lisp systems invocation options. - -2009-05-13 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * configure.ac.pamphlet: Tidy. - -2009-05-13 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * configure.ac.pamphlet: Disable use of libtool to build shared - libraries. - * config: Update autotools to newer versions. - -2009-04-10 Aleksej Saushev <asau@inbox.ru> - - * configure.ac.pamphlet: Recognize dragonfly triplet as BSD-flavour. - -2009-04-01 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * configure.ac.pamphlet: ECL-9.3.0 and higher no longer needs - debug-build to work around ECL compiler bug. - -2009-02-22 Aleksej Saushev <asau@inbox.ru> - - * configure.ac.pamphlet: Check awk and nawk before gawk. - -2009-02-19 Aleksej Saushev <asau@inbox.ru> - - * configure.ac.pamphlet: Fix indention of CPP directives. Include - <sys/types.h> when testing for openpty. - -2009-02-09 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * configure.ac.pamphlet: Check for <sys/ioctl.h>, <termios.h>, and - <libutil.h>. - * config/openaxiom-c-macros.h.in: Regenerate. - -2009-02-09 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * configure.ac.pamphlet: Check path for `vi'. - -2009-02-07 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * configure.ac.pamphlet: Check endianness. - -2009-01-29 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * OpenAxiom 1.2.1 Released. - -2009-01-07 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * contrib/examples/time-client.input: New. - -2009-01-03 Gabriel Dos Reis <gdr@cs.tamu.edu> - - * Makefile.pamphlet (AXIOM_SRC_TARGETS): Add all-databases. - diff --git a/ChangeLog.2009 b/ChangeLog.2009 new file mode 100644 index 00000000..7389e197 --- /dev/null +++ b/ChangeLog.2009 @@ -0,0 +1,105 @@ +2009-10-25 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * config/var-def.mk (axiom_src_texdir): New. + +2009-10-13 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * configure.ac.pamphlet: Look for SBCL before GCL; look for ECL too. + +2009-09-21 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * configure.ac.pamphlet: Don't unconditionally initialize CCF. + * config/var-def.mk (PLF): Remove. + (LDF): Likewise. + (LISP): Likewise. + +2009-09-20 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * configure.ac.pamphlet: Don't define CPP LINUXplaform, + MACOSXplaform, and MSYSplatoform macros. + +2009-09-16 Kosta Oikonomou <ko@research.att.com> + Gabriel Dos Reis <gdr@cs.tamu.edu> + + * configure.ac.pamphlet: Don't insist on GNU C compiler if we + don't use GCL. Check for nsl on Solaris boxes. + * config/var-def.mk (oa_c_libs): New. + +2009-08-05 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * OpenAxiom-1.3.0 Released. + +2009-07-24 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * configure.ac.pamphlet: Reject SBCL-1.0.29 as too buggy to build + OpenAxiom. + +2009-07-04 Alfredo Portes <doyenatccny@gmail.com> + + * contrib/texmacs: New. + +2009-07-02 Gabriel Dos Reis <gdr@cse.tamu.edu> + + * configure.ac.pamphlet: Support --enable-profiling. + * config/var-def.mk (oa_yesno_to_lisp_boolean): New. + (oa_enable_profiling): Likewise. + (oa_enable_lisp_profiling): Likewise. + +2009-05-17 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * configure.ac.pamphlet: Tidy Lisp systems invocation options. + +2009-05-13 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * configure.ac.pamphlet: Tidy. + +2009-05-13 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * configure.ac.pamphlet: Disable use of libtool to build shared + libraries. + * config: Update autotools to newer versions. + +2009-04-10 Aleksej Saushev <asau@inbox.ru> + + * configure.ac.pamphlet: Recognize dragonfly triplet as BSD-flavour. + +2009-04-01 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * configure.ac.pamphlet: ECL-9.3.0 and higher no longer needs + debug-build to work around ECL compiler bug. + +2009-02-22 Aleksej Saushev <asau@inbox.ru> + + * configure.ac.pamphlet: Check awk and nawk before gawk. + +2009-02-19 Aleksej Saushev <asau@inbox.ru> + + * configure.ac.pamphlet: Fix indention of CPP directives. Include + <sys/types.h> when testing for openpty. + +2009-02-09 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * configure.ac.pamphlet: Check for <sys/ioctl.h>, <termios.h>, and + <libutil.h>. + * config/openaxiom-c-macros.h.in: Regenerate. + +2009-02-09 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * configure.ac.pamphlet: Check path for `vi'. + +2009-02-07 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * configure.ac.pamphlet: Check endianness. + +2009-01-29 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * OpenAxiom 1.2.1 Released. + +2009-01-07 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * contrib/examples/time-client.input: New. + +2009-01-03 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * Makefile.pamphlet (AXIOM_SRC_TARGETS): Add all-databases. + @@ -1,6 +1,6 @@ #! /bin/sh # Guess values for system-dependent variables and create Makefiles. -# Generated by GNU Autoconf 2.63 for OpenAxiom 1.4.0-2009-11-17. +# Generated by GNU Autoconf 2.63 for OpenAxiom 1.4.0-2010-01-03. # # Report bugs to <open-axiom-bugs@lists.sf.net>. # @@ -745,8 +745,8 @@ SHELL=${CONFIG_SHELL-/bin/sh} # Identity of this package. PACKAGE_NAME='OpenAxiom' PACKAGE_TARNAME='openaxiom' -PACKAGE_VERSION='1.4.0-2009-11-17' -PACKAGE_STRING='OpenAxiom 1.4.0-2009-11-17' +PACKAGE_VERSION='1.4.0-2010-01-03' +PACKAGE_STRING='OpenAxiom 1.4.0-2010-01-03' PACKAGE_BUGREPORT='open-axiom-bugs@lists.sf.net' ac_unique_file="src/Makefile.pamphlet" @@ -1509,7 +1509,7 @@ if test "$ac_init_help" = "long"; then # Omit some internal or obsolete options to make the list less imposing. # This message is too long to be a string in the A/UX 3.1 sh. cat <<_ACEOF -\`configure' configures OpenAxiom 1.4.0-2009-11-17 to adapt to many kinds of systems. +\`configure' configures OpenAxiom 1.4.0-2010-01-03 to adapt to many kinds of systems. Usage: $0 [OPTION]... [VAR=VALUE]... @@ -1579,7 +1579,7 @@ fi if test -n "$ac_init_help"; then case $ac_init_help in - short | recursive ) echo "Configuration of OpenAxiom 1.4.0-2009-11-17:";; + short | recursive ) echo "Configuration of OpenAxiom 1.4.0-2010-01-03:";; esac cat <<\_ACEOF @@ -1685,7 +1685,7 @@ fi test -n "$ac_init_help" && exit $ac_status if $ac_init_version; then cat <<\_ACEOF -OpenAxiom configure 1.4.0-2009-11-17 +OpenAxiom configure 1.4.0-2010-01-03 generated by GNU Autoconf 2.63 Copyright (C) 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001, @@ -1699,7 +1699,7 @@ cat >config.log <<_ACEOF This file contains any messages produced by compilers while running configure, to aid debugging if configure makes a mistake. -It was created by OpenAxiom $as_me 1.4.0-2009-11-17, which was +It was created by OpenAxiom $as_me 1.4.0-2010-01-03, which was generated by GNU Autoconf 2.63. Invocation command line was $ $0 $@ @@ -21124,7 +21124,7 @@ exec 6>&1 # report actual input values of CONFIG_FILES etc. instead of their # values after options handling. ac_log=" -This file was extended by OpenAxiom $as_me 1.4.0-2009-11-17, which was +This file was extended by OpenAxiom $as_me 1.4.0-2010-01-03, which was generated by GNU Autoconf 2.63. Invocation command line was CONFIG_FILES = $CONFIG_FILES @@ -21187,7 +21187,7 @@ Report bugs to <bug-autoconf@gnu.org>." _ACEOF cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1 ac_cs_version="\\ -OpenAxiom config.status 1.4.0-2009-11-17 +OpenAxiom config.status 1.4.0-2010-01-03 configured by $0, generated by GNU Autoconf 2.63, with options \\"`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`\\" diff --git a/configure.ac b/configure.ac index 472964ee..998ecdc4 100644 --- a/configure.ac +++ b/configure.ac @@ -1,6 +1,6 @@ sinclude(config/open-axiom.m4) sinclude(config/aclocal.m4) -AC_INIT([OpenAxiom], [1.4.0-2009-11-17], +AC_INIT([OpenAxiom], [1.4.0-2010-01-03], [open-axiom-bugs@lists.sf.net]) AC_CONFIG_AUX_DIR(config) diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet index 8290d599..fe68728c 100644 --- a/configure.ac.pamphlet +++ b/configure.ac.pamphlet @@ -1167,7 +1167,7 @@ information: <<Autoconf init>>= sinclude(config/open-axiom.m4) sinclude(config/aclocal.m4) -AC_INIT([OpenAxiom], [1.4.0-2009-11-17], +AC_INIT([OpenAxiom], [1.4.0-2010-01-03], [open-axiom-bugs@lists.sf.net]) @ 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. - diff --git a/src/ChangeLog.2009 b/src/ChangeLog.2009 new file mode 100644 index 00000000..7c6c5e51 --- /dev/null +++ b/src/ChangeLog.2009 @@ -0,0 +1,2269 @@ +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. + |