From ca207c84f9c3fb49a1fed906d5de6b2db547ad1d Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 2 Feb 2014 08:34:07 +0000 Subject: Annual ChangeLog rotation --- ChangeLog | 41 -- ChangeLog.2013 | 41 ++ Makefile.in | 5 +- aclocal.m4 | 6 +- configure | 20 +- configure.ac | 4 +- src/ChangeLog | 1076 ----------------------------------------------- src/ChangeLog.2013 | 1076 +++++++++++++++++++++++++++++++++++++++++++++++ src/Makefile.in | 2 +- src/algebra/Makefile.in | 2 +- src/io/Makefile.in | 2 +- src/rt/Makefile.in | 2 +- src/syntax/Makefile.in | 2 +- 13 files changed, 1140 insertions(+), 1139 deletions(-) create mode 100644 ChangeLog.2013 create mode 100644 src/ChangeLog.2013 diff --git a/ChangeLog b/ChangeLog index ee53416d..e69de29b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,41 +0,0 @@ -2013-11-26 Gabriel Dos Reis - - * config/open-axiom.m4 (OPENAXIOM_ALIGNMENT_OPERATOR): Define stub - with standard syntax. - (OPENAXIOM_ALIGNAS_SPECIFIER): Likewise. - * config/openaxiom-c-macros.h.in: Update. - -2013-11-24 Gabriel Dos Reis - - * configure.ac: Check for PowerShell on Windows platforms. - -2013-06-30 Gabriel Dos Reis - - * config/open-axiom.m4 (OPENAXIOM_REJECT_ROTTED_LISP): Just warn - for unsupported GCL version; do not reset arguments. - (OPENAXIOM_FFI_TYPE_TABLE): Be GCL-2.6.9 ready. - -2013-06-01 Gabriel Dos Reis - - * config/open-axiom.m4 (OPENAXIOM_CHECK_IO): Check for tempnam. - -2013-05-30 Gabriel Dos Reis - - * config/open-axiom.m4 (OPENAXIOM_HOST_LISP_CPU_PRECISION): Update. - ECL since 11.1.1 puts relevant information on *FEATURES* list. - -2013-04-05 Gabriel Dos Reis - - * configure.ac: Output src/syntax/Makefile. - * Makefile.am (OA_SRC_TARGETS): Add all-syntax. - -2013-04-03 Gabriel Dos Reis - - * Makefile.am (OA_SRC_TARGETS): Include all-io. - * config/depcomp: New. - -2013-04-02 Gabriel Dos Reis - - * config/open-axiom.m4 (OPENAXIOM_REQUIRE_CXX11): New. - * configure.ac: Use it. - diff --git a/ChangeLog.2013 b/ChangeLog.2013 new file mode 100644 index 00000000..ee53416d --- /dev/null +++ b/ChangeLog.2013 @@ -0,0 +1,41 @@ +2013-11-26 Gabriel Dos Reis + + * config/open-axiom.m4 (OPENAXIOM_ALIGNMENT_OPERATOR): Define stub + with standard syntax. + (OPENAXIOM_ALIGNAS_SPECIFIER): Likewise. + * config/openaxiom-c-macros.h.in: Update. + +2013-11-24 Gabriel Dos Reis + + * configure.ac: Check for PowerShell on Windows platforms. + +2013-06-30 Gabriel Dos Reis + + * config/open-axiom.m4 (OPENAXIOM_REJECT_ROTTED_LISP): Just warn + for unsupported GCL version; do not reset arguments. + (OPENAXIOM_FFI_TYPE_TABLE): Be GCL-2.6.9 ready. + +2013-06-01 Gabriel Dos Reis + + * config/open-axiom.m4 (OPENAXIOM_CHECK_IO): Check for tempnam. + +2013-05-30 Gabriel Dos Reis + + * config/open-axiom.m4 (OPENAXIOM_HOST_LISP_CPU_PRECISION): Update. + ECL since 11.1.1 puts relevant information on *FEATURES* list. + +2013-04-05 Gabriel Dos Reis + + * configure.ac: Output src/syntax/Makefile. + * Makefile.am (OA_SRC_TARGETS): Add all-syntax. + +2013-04-03 Gabriel Dos Reis + + * Makefile.am (OA_SRC_TARGETS): Include all-io. + * config/depcomp: New. + +2013-04-02 Gabriel Dos Reis + + * config/open-axiom.m4 (OPENAXIOM_REQUIRE_CXX11): New. + * configure.ac: Use it. + diff --git a/Makefile.in b/Makefile.in index 55ff07f6..970cb9c5 100644 --- a/Makefile.in +++ b/Makefile.in @@ -1,4 +1,4 @@ -# Makefile.in generated by automake 1.14 from Makefile.am. +# Makefile.in generated by automake 1.14.1 from Makefile.am. # @configure_input@ # Copyright (C) 1994-2013 Free Software Foundation, Inc. @@ -820,9 +820,10 @@ distcheck: dist && dc_destdir="$${TMPDIR-/tmp}/am-dc-$$$$/" \ && am__cwd=`pwd` \ && $(am__cd) $(distdir)/_build \ - && ../configure --srcdir=.. --prefix="$$dc_install_base" \ + && ../configure \ $(AM_DISTCHECK_CONFIGURE_FLAGS) \ $(DISTCHECK_CONFIGURE_FLAGS) \ + --srcdir=.. --prefix="$$dc_install_base" \ && $(MAKE) $(AM_MAKEFLAGS) \ && $(MAKE) $(AM_MAKEFLAGS) dvi \ && $(MAKE) $(AM_MAKEFLAGS) check \ diff --git a/aclocal.m4 b/aclocal.m4 index 2b54a688..cdb19b8f 100644 --- a/aclocal.m4 +++ b/aclocal.m4 @@ -1,4 +1,4 @@ -# generated automatically by aclocal 1.14 -*- Autoconf -*- +# generated automatically by aclocal 1.14.1 -*- Autoconf -*- # Copyright (C) 1996-2013 Free Software Foundation, Inc. @@ -35,7 +35,7 @@ AC_DEFUN([AM_AUTOMAKE_VERSION], [am__api_version='1.14' dnl Some users find AM_AUTOMAKE_VERSION and mistake it for a way to dnl require some minimum version. Point them to the right macro. -m4_if([$1], [1.14], [], +m4_if([$1], [1.14.1], [], [AC_FATAL([Do not call $0, use AM_INIT_AUTOMAKE([$1]).])])dnl ]) @@ -51,7 +51,7 @@ m4_define([_AM_AUTOCONF_VERSION], []) # Call AM_AUTOMAKE_VERSION and AM_AUTOMAKE_VERSION so they can be traced. # This function is AC_REQUIREd by AM_INIT_AUTOMAKE. AC_DEFUN([AM_SET_CURRENT_AUTOMAKE_VERSION], -[AM_AUTOMAKE_VERSION([1.14])dnl +[AM_AUTOMAKE_VERSION([1.14.1])dnl m4_ifndef([AC_AUTOCONF_VERSION], [m4_copy([m4_PACKAGE_VERSION], [AC_AUTOCONF_VERSION])])dnl _AM_AUTOCONF_VERSION(m4_defn([AC_AUTOCONF_VERSION]))]) diff --git a/configure b/configure index 56499977..879658f5 100755 --- a/configure +++ b/configure @@ -1,6 +1,6 @@ #! /bin/sh # Guess values for system-dependent variables and create Makefiles. -# Generated by GNU Autoconf 2.69 for OpenAxiom 1.5.0-2013-11-24. +# Generated by GNU Autoconf 2.69 for OpenAxiom 1.5.0-2014-02-02. # # Report bugs to . # @@ -590,8 +590,8 @@ MAKEFLAGS= # Identity of this package. PACKAGE_NAME='OpenAxiom' PACKAGE_TARNAME='openaxiom' -PACKAGE_VERSION='1.5.0-2013-11-24' -PACKAGE_STRING='OpenAxiom 1.5.0-2013-11-24' +PACKAGE_VERSION='1.5.0-2014-02-02' +PACKAGE_STRING='OpenAxiom 1.5.0-2014-02-02' PACKAGE_BUGREPORT='open-axiom-bugs@lists.sf.net' PACKAGE_URL='' @@ -1394,7 +1394,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.5.0-2013-11-24 to adapt to many kinds of systems. +\`configure' configures OpenAxiom 1.5.0-2014-02-02 to adapt to many kinds of systems. Usage: $0 [OPTION]... [VAR=VALUE]... @@ -1469,7 +1469,7 @@ fi if test -n "$ac_init_help"; then case $ac_init_help in - short | recursive ) echo "Configuration of OpenAxiom 1.5.0-2013-11-24:";; + short | recursive ) echo "Configuration of OpenAxiom 1.5.0-2014-02-02:";; esac cat <<\_ACEOF @@ -1586,7 +1586,7 @@ fi test -n "$ac_init_help" && exit $ac_status if $ac_init_version; then cat <<\_ACEOF -OpenAxiom configure 1.5.0-2013-11-24 +OpenAxiom configure 1.5.0-2014-02-02 generated by GNU Autoconf 2.69 Copyright (C) 2012 Free Software Foundation, Inc. @@ -2587,7 +2587,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.5.0-2013-11-24, which was +It was created by OpenAxiom $as_me 1.5.0-2014-02-02, which was generated by GNU Autoconf 2.69. Invocation command line was $ $0 $@ @@ -3568,7 +3568,7 @@ fi # Define the identity of the package. PACKAGE='openaxiom' - VERSION='1.5.0-2013-11-24' + VERSION='1.5.0-2014-02-02' cat >>confdefs.h <<_ACEOF @@ -20595,7 +20595,7 @@ cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=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.5.0-2013-11-24, which was +This file was extended by OpenAxiom $as_me 1.5.0-2014-02-02, which was generated by GNU Autoconf 2.69. Invocation command line was CONFIG_FILES = $CONFIG_FILES @@ -20661,7 +20661,7 @@ _ACEOF cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1 ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`" ac_cs_version="\\ -OpenAxiom config.status 1.5.0-2013-11-24 +OpenAxiom config.status 1.5.0-2014-02-02 configured by $0, generated by GNU Autoconf 2.69, with options \\"\$ac_cs_config\\" diff --git a/configure.ac b/configure.ac index 7f26a382..cb812f8d 100644 --- a/configure.ac +++ b/configure.ac @@ -1,4 +1,4 @@ -dnl Copyright (C) 2006-2013, Gabriel Dos Reis. +dnl Copyright (C) 2006-2014, Gabriel Dos Reis. dnl All rights reserved. dnl dnl Redistribution and use in source and binary forms, with or without @@ -33,7 +33,7 @@ dnl Makefiles for building OpenAxiom interpreter, compiler, libraries, and dnl auxiliary tools where appropriate. dnl -AC_INIT([OpenAxiom], [1.5.0-2013-11-24], +AC_INIT([OpenAxiom], [1.5.0-2014-02-02], [open-axiom-bugs@lists.sf.net]) dnl Most of the macros used in this configure.ac are defined in files diff --git a/src/ChangeLog b/src/ChangeLog index 5a07ed50..e69de29b 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,1076 +0,0 @@ -2013-12-15 Gabriel Dos Reis - - Fix SF/95. - * include/vm.H (internal_type): Adjust. - (internal_data): Likewise. - -2013-11-26 Gabriel Dos Reis - - * include/storage.H (Arena::allocate): Adjust spelling of - alignment query operator. - (Arena::Arena): Likewise. - (HashTableEntry): Adjust spelling of alignment specifier. - -2013-11-03 Gabriel Dos Reis - - * include/Charset.H (OpenAxiom): New. - -2013-07-04 Gabriel Dos Reis - - * interp/sys-driver.boot (initializeGlobalState): Tell GCL not to - use buggy fast links. - -2013-07-01 Gabriel Dos Reis - - * interp/sys-utility.boot (makeFilename): Tidy. - -2013-07-01 Gabriel Dos Reis - - * interp/g-util.boot (relativeDirname): New. Abstract differences - between Common Lisp semantics and traditional semantics (GCL). - * interp/c-util.boot (moveLibdirByCopy): Use it. - -2013-06-30 Gabriel Dos Reis - - * lisp/core.lisp.in (maxIndex): Provide function definition for - the benefit of rotted GCL systems. - -2013-06-29 Gabriel Dos Reis - - * include/sockio.h (accept_connection): Take no argument. - (server): Adjust type. - * lib/sockio-c.c: Implement changes. - * hyper/spadint.c (accept_menu_server_connection): Adjust use of - server. - * sman/session.c (manage_sessions): Likewise. - * sman/sman.c (manage_spad_io): Likewise. - -2013-06-28 Gabriel Dos Reis - - * gui/conversation.cc (accumulate_paragraphs): Remove. - (read_output): Remove. - (OutputTextArea::add_paragraph): Rewrite. - (Conversation::read_reply): Likewise. - -2013-06-27 Gabriel Dos Reis - - * src/rt: New directory. Move vm.cc and Lisp.cc here. - * rt/Database.cc: New. - * include/Database.H: Likewise. - * include/Constructor.H: Likewise. - * gui/server.h (Server): Cache database input souece. - * gui/gui.pro.in (LIBS): Add core runtime library. - * Makefile.am (oa_src_include_headers): Add Constructor.H and - Database.H. - -2013-06-27 Gabriel Dos Reis - - * include/Lisp.H: New. - * utils/Lisp.cc: Likewise. - * gui/server.h (Server::lisp): Give access to embedded Lisp evaluator. - * gui/main-window.cc (MainWind::read_databases): Use embedded Lisp - evaluator. - * include/vm.H: Move from src/utils/. - * Makefile.am (oa_src_include_headers): Include vm.H. - -2013-06-27 Gabriel Dos Reis - - * interp/lisplib.boot (compDefineLisplib): Close the file - contained generated code before handing over to backend. - * interp/c-util.boot (moveLibdirByCopy): The inferred destination - directory is not absolute. - -2013-06-26 Gabriel Dos Reis - - * include/sexpr.H (Lexer): Remove. - (Parser): Likewise. - (Reader): New. - * syntax/sexpr.cc: Propagate changes. - * gui/main-window.h (MainWindow::read_databases): Declare. - (MainWindow::display_error): Likewise. - * gui/main-window.cc: Implement. - * gui/gui.pro.in (LIBS): Include syntax library. - * Makefile.am (oa_src_include_headers): Add sexpr.H. Fix build - failure from previous commit. - -2013-06-24 Gabriel Dos Reis - - * include/sexpr.H: Move from utils. - (UniqueAllocator): Remove. - (SyntaxComparator): Likewise. - * syntax/sexpr.cc: Move from utils. - -2013-06-24 Gabriel Dos Reis - - * interp/cattable.boot (squeezeList): Remove. - (squeeze1): Likewise. - * interp/daase.lisp (*COMPRESSVECTOR*): Likewise. - (*COMPRESSVECTORLENGTH*): Likewise. - (*COMPRESS-STREAM*): Likewise. - (*COMPRESS-STREAM-STAMP*): Likewise. - (COMPRESSOPEN): Remove. Adjust callers. - (unsqueezeCopy): Likewise. - (WRITE-COMPRESS): Likewise. - (SQUEEZE): Likewise. - (UNSQUEEZE): Likewise. - (MAKE-DATABASES): Do not write out compress.daase. - * interp/database.boot (squeezeAll): Likewise. - -2013-06-24 Gabriel Dos Reis - - * interp/sys-constants.boot ($BuiltinAttributes): Remove - finiteAggregate and shallowlyMutable. - * interp/daase.lisp (WRITE-COMPRESS): Do not push strings. - -2013-06-22 Gabriel Dos Reis - - * include/token.H (token::base_type): Renam from class_type. - (token::value): Add unary, binary, and ternary overloads. - * utils/sexpr.H (Sexpr::Token): Use token::value. Clean up. - -2013-06-22 Gabriel Dos Reis - - * include/SourceFile.H: New. - -2013-06-21 Gabriel Dos Reis - - * include/FileMapping.H: New. - -2013-06-21 Gabriel Dos Reis - - * include/dialect.H: New. - * include/diagnostics.H: Likewise. - * include/storage.H: Move from utils/. - -2013-06-20 Gabriel Dos Reis - - * include/diagnostics.H: New. - * io/std-streams.cc: Likewise. - -2013-06-20 Gabriel Dos Reis - - * boot/scanner.boot (shoeToken): Allow inerts. - * boot/ast.boot (bfInert): New. - * boot/parser.boot (bpInert): New. - (bpConstTok): Use it. - -2013-06-18 Gabriel Dos Reis - - * interp/compiler.boot (compHasFormat): Take a DB parameter. - Adjust callers. - * interp/define.boot (ICformat): Likewise. - * interp/lisplib.boot (predicateBitIndex): Likewise. - (predicateBitRef): Likewise. - (transHasCode): Likewise. - -2013-06-17 Gabriel Dos Reis - - * algebra/catdef.spad.pamphlet (CommutativeOperatorCategory): New. - (CommutativeOperation): Likewise. - * algebra/Makefile.am (oa_algebra_layer_0): Include them. - -2013-06-17 Gabriel Dos Reis - - * algebra/aggcat.spad.pamphlet (EltableAggregate): Weaken - requirement on first parameter. - (IndexedAggregate): Likewise. - -2013-06-17 Gabriel Dos Reis - - * algebra/catdef.spad.pamphlet (PartialDifferentialSpace): Weaken - requirement on parameter. - (PartialDifferentialRing): Likewise. - (PartialDifferentialModule): Likewise. - -2013-06-17 Gabriel Dos Reis - - * algebra/parsers.spad.pamphlet: New. - * algebra/script-parser.spad: Move content to parsers.spad.pamphlet. - Remove. - * algebra/spad-parser.spad: Likewise. - -2013-06-15 Gabriel Dos Reis - - * interp/ht-util.boot (mkCurryFun): Import function name. - -2013-06-15 Gabriel Dos Reis - - * boot/tokens.boot (importSymbol): New builtin. - * interp/br-saturn.boot (htpMakeEmptyPage): Use it. - -2013-06-15 Gabriel Dos Reis - - * interp/database.boot (dbConstructorDefault): New accessor. - (getCategoryConstructorDefault): New. - * interp/define.boot (makeCategoryAlist): Use it. - (hasDefaultPackage): Remove. - (mkCategoryPackage): First parameter is now a DB. Take - environment parameter too. Adjust caller. - * interp/lisplib.boot (writeCategoryDefault): New. - (finalizeLisplib): Call it when appropriate. - -2013-06-15 Gabriel Dos Reis - - * interp/define.boot (makeCategoryPredicates): Tidy. Adjust caller. - -2013-06-14 Gabriel Dos Reis - - * interp/c-util.boot (extendsCategoryForm): Take a DB parameter. - Avoid special variables for current constructor form. Adjust callers. - * interp/define.boot (compDefineCategory2): Register current - constructor in environment. - -2013-06-14 Gabriel Dos Reis - - * interp/lisplib.boot (writeSourceFile): Always write source file. - -2013-06-14 Gabriel Dos Reis - - * interp/nruncomp.boot (NRTsetVector4Part1): Add environment parameter. - Adjust caller. - (NRTsetVector4a): Likewise. Avoid special variable for environment. - * boot/utility.boot: Add and export substSource, substTarget. - * interp/define.boot: Use them. - -2013-06-14 Gabriel Dos Reis - - * interp/compiler.boot (categoryInstance?): New. - (compColon): Use it for category definitions. - * interp/c-util.boot: Add accessors for infovec parts. - * boot/utility.boot (invertSubst): New. Export. - * interp/Makefile.in ($(SAVESYS)): Remove --sysdb and --system-algebra. - -2013-06-13 Gabriel Dos Reis - - * interp/define.boot (getvalue): Rename from GetValue. - Take environment as second parameter. Adjust callers. - -2013-06-13 Gabriel Dos Reis - - * interp/nruncomp.boot (listOfBoundVars): Take environment as - second parameter. Adjust callers. - (optDeltaEntry): Likewise. - -2013-06-05 Gabriel Dos Reis - - * interp/define.boot (substSlotNumbers): Remove redundant check. - * interp/lisplib.boot (NRTgenInitialAttributeAlist): Simplify. - * interp/showimp.boot (dc): Likewise. - -2013-06-02 Gabriel Dos Reis - - Make parser non-dependent on constructor databases. - * interp/compiler.boot (instantiateNiladics!): New. - (compileParseTree): Use it to expand niladict constructors. - (instantiateNiladicsInList!): New. - * interp/c-doc.boot (instantiateNiladicsInDoc!): New. - (finalizeDocumentation): Use it. - -2013-06-01 Gabriel Dos Reis - - * interp/define.boot (addInfo): Remove. - (addinformation): Tidy. - -2013-06-01 Gabriel Dos Reis - - * interp/define.boot (NRTgetLookupFunction): Take a cache table. - Adjust caller. - (NRTextendsCategory1): Likewise. - (extendsCategory): Likewise. - (extendsCategoryBasic): Likewise. - (catExtendsCat?): Likewise. - (getCategoryObjectIfCan): New. - (getCategoryObject): Use it. - * interp/lisplib.boot (getSlot1): Remove as unused. - -2013-06-01 Gabriel Dos Reis - - * interp/category.boot (SigListUnion): Take a cache table. Adjust - callers. - (mkOr): Likewise. - (mkOr2): Likewise. - (mkAnd): Likewise. - (mkAnd2): Likewise. - (FindFundAncs): Likewise. - (CatEval): Likewise. - (ancestors?): Likewise. - (descendant?): Likewise. - (filterConditionalCategories): Likewise. - * interp/functor.boot (ICformat): Likewise. - -2013-06-01 Gabriel Dos Reis - - * interp/define.boot (getCategoryObject): New. - * interp/functor.boot (InvestigateConditions): Use it. - (getViewsConditions): Likewise. - (getPossibleViews): Likewise. - -2013-06-01 Gabriel Dos Reis - - * interp/category.boot (filterConditionalCategories): Fix thinko. - -2013-06-01 Gabriel Dos Reis - - Support --output in compiler, for bootstrapping stage. - * lisp/core.lisp.in (directoryEntries): New. - * interp/lisplib.boot (compDefineLisplib): Tidy. Honor --output. - (initializeLisplib): Rewrite. - (lisplibDoRename): Likewise. - * interp/nlib.lisp (RSHUT): Tidy. - * interp/define.boot (getOutputPath): New. - (compDefineFunctor): Use it. - (compDefineCategory): Likewise. - * interp/c-util.boot (%Libstream): Add field for output pathname. - (dbOutputPath): New accessor. - (moveLibdirByCopy): New. - * include/cfuns.h (oa_acquire_temporary_pathname): Declare. - (oa_release_temporary_pathname): Likewise. - * lib/cfuns-c.c: Implement them. - * interp/sys-os.boot: Define acquireTemporaryPathname. - * boot/ast.boot (lispKey): New. - (bfApplication): Use it. - (bfExpandKeys): Likewise. - * algebra/Makefile.am: Simplify bootstrapping rules. - -2013-05-31 Gabriel Dos Reis - - * interp/nlib.lisp (getIndexIOStreamAndTable): New. - -2013-05-30 Gabriel Dos Reis - - * interp/define.boot (knowInfo): Fix typo. - -2013-05-30 Gabriel Dos Reis - - * interp/c-doc.boot (finalizeDocumentation): Take a DB parameter. - Adjust callers. - * interp/lisplib.boot (compileDocumentation): Likewise. - (writeSourceFile): New. - (writeInteractiveModemaps): Likewise. - (writeDocumentation): Likewise. - -2013-05-29 Gabriel Dos Reis - - * interp/lisp-backend.boot (compileLispDefinition): Remove. - Adjust callers. - (printBackendDecl): Lose first parameter. Adjust callers. - * interp/slam.boot (compQuietly): Simplify. - * interp/sys-utility.boot (COMPILE-DEFUN): Remove. Adjust callers. - (EVAL-DEFUN): Likewise. - * interp/sys-macros.lisp (MACROEXPANDALL): Remove as no longer used.. - -2013-05-28 Gabriel Dos Reis - - * interp/define.boot (compDefineCategory1): Take DB parameter. - (compDefineCategory2): Likewise. - (compDefineFunctor1): Likewise. - * interp/lisplib.boot (compDefineLisplib): Likewise. - -2013-05-28 Gabriel Dos Reis - - * interp/sys-globals.boot ($domainShell): Remove. - * interp/c-util.boot (%CompilationData): Add shell field. - (dbDomainShell): New accessor. Replace $domainShell variable. - -2013-05-27 Gabriel Dos Reis - - * interp/compiler.boot(compNoStacking): Add DB parameter. - Adjust callers. - (comp2): Likewise. - (comp3): Likewise. - * interp/c-util.boot (currentDB): New. - (currentConstructor): Remove. Adjust callers. - -2013-05-27 Gabriel Dos Reis - - * interp/define.boot (compDefine): Take DB as first parameter. - Adjust callers. - -2013-05-27 Gabriel Dos Reis - - * interp/sys-utility.boot ($ERASE): Remove. - -2013-05-27 Gabriel Dos Reis - - * interp/nlib.lisp ($FINDFILE): Move to sys-utility.boot. - -2013-05-27 Gabriel Dos Reis - - * interp/nlib.lisp (MAKE-INPUT-FILENAME): Move to sys-utility.boot. - * boot/ast.boot (bfIS1): Handle Lisp keywords. - -2013-05-26 Gabriel Dos Reis - - * interp/nlib.lisp (GET-DIRECTORY-LIST): Move to sys-utility.boot. - -2013-05-26 Gabriel Dos Reis - - * interp/lisplib.boot: Replace $FILEP with makeFullFilePath. - * interp/setvars.boot: Likewise. - * interp/nlib.lisp ($FILEP): Remove. - ($OUTFILEP): Likewise. - -2013-05-26 Gabriel Dos Reis - - * interp/sys-os.boot (getWorkingDirectory): New. Define via FFI. - Replace all uses of GET-CURRENT-DIRECTORY. - * interp/daase.lisp (GET-CURRENT-DIRECTORY): Remove. - -2013-05-26 Gabriel Dos Reis - - * interp/nlib.lisp (MAKE-FULL-NAMESTRING): Move to sys-utility.boot. - Rename to makeFullFilePath. Adjust callers. - -2013-05-26 Gabriel Dos Reis - - * algebra/boolean.spad.pamphlet (IndexedBits)[<]: Define in Spad. - * interp/bits.lisp: Remove. - -2013-05-26 Gabriel Dos Reis - - * interp/sys-utility.boot (makeFilename): Move from nlib.lisp. - * interp/nlib.lisp (MAKE-FILENAME): Move to sys-utility.boot. - Adjust callers. - * boot/tokens.boot: Add new builtins: filePath, filePath?, - filePathDirectory, filePathName, filePathString, filePathType, - makeFilePath. - -2013-05-26 Gabriel Dos Reis - - * interp/nlib.lisp (ADDOPTIONS): Move to sys-utility.boot. - * interp/sys-utility.boot (addCompilerOption): Rename from ADDOPTIONS. - -2013-05-25 Gabriel Dos Reis - - * algebra/logic.spad.pamphlet: New file. - * algebra/boolean.spad.pamphlet (Logic): Move there. - (BooleanLogic): Likewise. - (PropositionalLogic): Likewise. - (PropositionalFormula): Likewise. - (PropositionalFormulaFunctions1): Likewise. - (PropositionalFormulaFunctions2): Likewise. - (KleeneTrivalentLogic): Likewise. - -2013-05-25 Gabriel Dos Reis - - * algebra/cycles.spad.pamphlet (CycleIndicators) [spol]: Rename - from nniBump. Fix thinko. - -2013-05-25 Gabriel Dos Reis - - * algebra/cycles.spad.pamphlet (alternating): Accept non-negative input. - -2013-05-25 Gabriel Dos Reis - - * utils/command.cc (print_usage): Document --verbose. - -2013-05-25 Gabriel Dos Reis - - * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject): - Define Rep, do not use base-domain form. - -2013-05-23 Gabriel Dos Reis - - * algebra/stream.spad.pamphlet (LazyStreamAggregate) [entries]: - Define unconditionally, even it it does not make much sense in general. - -2013-05-22 Gabriel Dos Reis - - * interp/sys-utility.boot (%Libstream): New. - -2013-05-21 Gabriel Dos Reis - - * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): Extend - Aggregate only. Adjust users. - (BagAggregate): Explicitly extend HomogeneousAggregate. - (AssociationListAggregate): Extend ShallowlyMutableAggregate. - -2013-05-21 Gabriel Dos Reis - - * algebra/aggcat.spad.pamphlet (UnaryRecursiveAggregate) [map!]: - Implement default. - * algebra/list.spad.pamphlet (List) [map!]: Likewise. - -2013-05-20 Gabriel Dos Reis - - * interp/database.boot (getConstructorAbbreviationFromDB): Use DB - data structure directtly. - (getConstructorKindFromDB): Likewise. - -2013-05-20 Gabriel Dos Reis - - * algebra/aggcat.spad.pamphlet (Collection) [find]: Move to - FiniteAggregate. - -2013-05-19 Gabriel Dos Reis - - * algebra/derham.spad.pamphlet: Use Functorial. - * algebra/equation2.spad.pamphlet: Likewise. - * algebra/fr.spad.pamphlet: Likewise. - * algebra/indexedp.spad.pamphlet: Likewise. - * algebra/ituple.spad.pamphlet: Likewise. - * algebra/mring.spad.pamphlet: Likewise. - * algebra/polycat.spad.pamphlet: Likewise. - * algebra/array2.spad.pamphlet: Remove redundant map export. - * algebra/exposed.lsp.pamphlet: Expose Functorial. - * algebra/matcat.spad.pamphlet: Likewise. - * algebra/xpoly.spad.pamphlet: Likewise. - -2013-05-19 Gabriel Dos Reis - - Eradicate attribute shallowlyMutable. - * algebra/aggcat.spad.pamphlet: Use ShallowlyMutableAggregate. - * algebra/defaults.spad.pamphlet: Likewise. - * algebra/smith.spad.pamphlet: Likewise. - * algebra/solvelin.spad.pamphlet: Likewise. - -2013-05-19 Gabriel Dos Reis - - * algebra/matfuns.spad.pamphlet: Use ShallowlyMutableAggregate. - -2013-05-19 Gabriel Dos Reis - - * algebra/matcat.spad.pamphlet: Use ShallowlyMutableAggregate. - -2013-05-19 Gabriel Dos Reis - - * algebra/aggcat2.spad.pamphlet: Use ShallowlyMutableAggregate. - -2013-05-19 Gabriel Dos Reis - - * algebra/newdata.spad.pamphlet (SplittingTree): Include - ShallowlyMutableAggregate S in exports. - * algebra/polset.spad.pamphlet (GeneralPolynomialSet): Inlcude - ShallowlyMutableAggregate P. - * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise. - -2013-05-19 Gabriel Dos Reis - - Eradicate attribute finiteAggregate. - * algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Remove - exports conditional aatribute finiteAggregate. - (TableAggregate): Remove spirous definitions. - * algebra/stream.spad.pamphlet (LazyStreamAggregate): Put - definitions for FiniteAgregate exports under appropriate condition. - -2013-05-19 Gabriel Dos Reis - - * algebra/aggcat.spad.pamphlet (Aggregate) [#]: Remove export. - (UnaryRecursiveAggregate): Make definiton conditional. - * algebra/stream.spad.pamphlet (LazyStreamAggregate): Likewise. - -2013-05-19 Gabriel Dos Reis - - * interp/define.boot (compDefineFunctor1): Use the current - instantiation form when adding modemaps from category. - (partialSignature?): New. - (refineDefinitionSignature): Use full completion from getSignature. - * interp/compiler.boot (compIterator): Simplify. - -2013-05-19 Gabriel Dos Reis - - * interp/define.boot (sourceMatches): New. - (getDollarName): Likewise. - (getSignature): Them. Tidy. - (setDollarName): New. - (compDefineFunctor1): Use it. - -2013-05-18 Gabriel Dos Reis - - * interp/define.boot (getSignature): Third parameter need not be fluid. - -2013-05-18 Gabriel Dos Reis - - * interp/define.boot (getSignature): Tidy. - -2013-05-18 Gabriel Dos Reis - - * algebra/cycles.spad.pamphlet (CycleIndicators) [nniBump]: New - local function. - [SFunction]: Use it. - -2013-05-18 Gabriel Dos Reis - - * algebra/cycles.spad.pamphlet (CycleIndicators) - [complete,alternating]: Change input type to NonNegativeInteger. - -2013-05-18 Gabriel Dos Reis - - * interp/define.boot (knownPred): Take a memo-table as third parameter. - -2013-05-18 Gabriel Dos Reis - - * algebra/aggcat.spad.pamphlet (FiniteAgregate): Remove attribute - finiteAggregate. - -2013-05-18 Gabriel Dos Reis - - * algebra/aggcat.spad.pamphlet (Collection) [reduce]: Remove. - Remove redundant defaults. - -2013-05-18 Gabriel Dos Reis - - * algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Move - defaults for = and coerce to FiniteAggregate. Remove the rest. - -2013-05-18 Gabriel Dos Reis - - * algebra/aggcat.spad.pamphlet (FiniteAggregate) [reduce]: Add - overloads. - -2013-05-18 Gabriel Dos Reis - - * algebra/aggcat.spad.pamphlet (HomogeneousAggregate) [parts]: Remove. - * algebra/permgrps.spad.pamphlet: Use members, not parts. - -2013-05-18 Gabriel Dos Reis - - * algebra/aggcat2.spad.pamphlet: Use members, not parts. - * algebra/algcat.spad.pamphlet: Likewise. - * algebra/cden.spad.pamphlet: Likewise. - * algebra/clifford.spad.pamphlet: Likewise. - * algebra/divisor.spad.pamphlet: Likewise. - * algebra/galfact.spad.pamphlet: Likewise. - * algebra/lodof.spad.pamphlet: Likewise. - * algebra/naalgc.spad.pamphlet: Likewise. - * algebra/oderf.spad.pamphlet: Likewise. - * algebra/rule.spad.pamphlet: Likewise. - * algebra/space.spad.pamphlet: Likewise. - * algebra/view3D.spad.pamphlet: Likewise. - * algebra/zerodim.spad.pamphlet: Likewise. - -2013-05-18 Gabriel Dos Reis - - * algebra/array1.spad.pamphlet: Define members, not parts. - * algebra/array2.spad.pamphlet: Likewise. - * algebra/bags.spad.pamphlet: Likewise. - * algebra/list.spad.pamphlet: Likewise. - * algebra/lmdict.spad.pamphlet: Likewise. - * algebra/mset.spad.pamphlet: Likewise. - * algebra/polset.spad.pamphlet: Likewise. - * algebra/regset.spad.pamphlet: Likewise. - * algebra/sets.spad.pamphlet: Likewise. - * algebra/sregset.spad.pamphlet: Likewise. - * algebra/string.spad.pamphlet: Likewise. - * algebra/tree.spad.pamphlet: Likewise. - * algebra/triset.spad.pamphlet: Likewise. - * algebra/vector.spad.pamphlet: Likewise. - -2013-05-18 Gabriel Dos Reis - - * algebra/aggcat.spad.pamphlet: Tidy. - -2013-05-17 Gabriel Dos Reis - - * algebra/mset.spad.pamphlet (Multiset) [unique]: Rename from - members to avoid semantics clash. - -2013-05-17 Gabriel Dos Reis - - * algebra/aggcat.spad.pamphlet: Replace uses of parts by members. - -2013-05-17 Gabriel Dos Reis - - * algebra/attreg.spad.pamphlet (AttributeRegistry): Remove - shallowlyMutble. - * algebra/aggcat.spad.pamphlet (BagAggregate): Extend - ShallowlyMutableAggregate. - (ExtensibleLinearAggregate): Likewise. - * algebra/mset.spad.pamphlet (Multiset): Likewise. - * algebra/tree.spad.pamphlet (Tree): Likewise. - -2013-05-17 Gabriel Dos Reis - - * algebra/tree.spad.pamphlet(BinaryTreeCategory): Extend - ShallowlyMutableAggregate S. - (BinarySearchTree): Remove redundant shallowlyMutable attribute. - (BalancedBinaryTree): Likewise. - -2013-05-17 Gabriel Dos Reis - - * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): New. - -2013-05-17 Gabriel Dos Reis - - * algebra/aggcat.spad.pamphlet (FiniteAggregate): More defaults. - (Aggregate): Remove default implementation of empty? - -2013-05-17 Gabriel Dos Reis - - * algebra/aggcat.spad.pamphlet (FiniteAggregate): Add default - implementation for empty?. - -2013-05-17 Gabriel Dos Reis - - * algebra/aggcat.spad.pamphlet (TableAggregate): Now extend - FiniteAggregate Record(key:Key,entry:Entry). - * algebra/files.spad.pamphlet (KeyedAccessFile): Remove - finiteAggregate attribute. - * algebra/table.spad.pamphlet (HashTable): Likewise. - (InnerTable): Likewise. - (Table): Likewise. - -2013-05-16 Gabriel Dos Reis - - * algebra/aggcat.spad.pamphlet (KeyedDictionary): Now extend - IndexedAggregate too. Give default implementation for elt. - (TableAggregate): Simplify. - -2013-05-16 Gabriel Dos Reis - - * algebra/ffp.spad.pamphlet (FiniteFieldExtensionByPolynomial) - [tableForDiscreteLogarithm]: Don't use pretend where checked - coercion is intended. - * algebra/pf.spad.pamphlet (InnerPrimeField) - [tableForDiscreteLogarithm]: Likewise. - -2013-05-16 Gabriel Dos Reis - - * algebra/aggcat.spad.pamphlet (AssociationListAggregate) [assoc]: - Change return type to instance of Maybe. - * algebra/list.spad.pamphle (AssociationList): Reflect change. - -2013-05-16 Gabriel Dos Reis - - * algebra/sortpak.spad.pamphlet (SortPackage): Have second - parameter satisfy FiniteAggregate A instead of requiring attribute - finiteAggregate. - * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Now - extends FiniteAggregate. Remove finiteAggregate attribute. - -2013-05-16 Gabriel Dos Reis - - * algebra/polset.spad.pamphlet (GeneralPolynomialSet): Remove - redundant FiniteAggregate. - * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise. - -2013-05-16 Gabriel Dos Reis - - * algebra/aggcat.spad.pamphlet (FiniteAggregate): Temporarily - include attribute finiteAggregate. - (StackAggregate): Extend category FiniteAggregate instead of - attribute finiteAggregate. - (QueueAggregate): Likewise. - (PriorityQueueAggregate): Likewise. - (FiniteSetAggregate): Likewise. - * algebra/lmdict.spad.pamphlet (ListMultiDictionary): Likewise. - * algebra/matcat.spad.pamphlet (MatrixCategory): Likewise. - * algebra/mset.spad.pamphlet (Multiset): Likewise. - * algebra/newdata.spad.pamphlet (SplittingTree): Likewise. - * algebra/polset.spad.pamphlet (PolynomialSetCategory): Likewise. - * algebra/tree.spad.pamphlet (Tree): Likewise. - (BinaryTreeCategory): Likewise. - * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise. - * algebra/vector.spad.pamphlet (DirectProductCategory): Likewise. - -2013-05-16 Gabriel Dos Reis - - * algebra/data.spad.pamphlet (Byte): Remove redundant - finiteAggregate attribute. - * algebra/tree.spad.pamphlet (BinaryTreeCategory): Likewise. - (BinarySearchTree): Likewise. - (BalancedBinaryTree): Likewise. - -2013-05-15 Gabriel Dos Reis - - * algebra/aggcat.spad.pamphlet (FiniteAggregate): New. - * algebra/exposed.lsp.pamphlet: Expose it. - -2013-05-15 Gabriel Dos Reis - - * interp/compiler.boot (unknownTypeError): Simplify. - * interp/define.boot (dbClearForCompilation!): Clear more fields. - -2013-05-15 Gabriel Dos Reis - - * interp/compiler.boot (comp2): Leave categories alone. - -2013-05-15 Gabriel Dos Reis - - * interp/compiler.boot (comp2): Don't test for $bootStrapMode. - -2013-05-15 Gabriel Dos Reis - - * interp/daase.lisp (dbDocumentation): New accessor. - -2013-05-15 Gabriel Dos Reis - - * interp/define.boot (dbClearForCompilation!): New. - (compDefineFunctor1): Use it. - -2013-05-15 Gabriel Dos Reis - - * interp/nruncomp.boot (NRTputInHead): Tidy. - -2013-05-14 Gabriel Dos Reis - - * interp/g-opt.boot (quoteMode): New. - (optRetract): Use it. - (optPullback): Likewise. - -2013-05-14 Gabriel Dos Reis - - * interp/define.boot (checkAndDeclare): Constructor parameter - shadowing. - * algebra/lodof.spad.pamphlet (SetOfMIntegersInOneToN): [enum]: - Lose last parameter. Adjust callers. - -2013-05-14 Gabriel Dos Reis - - * interp/c-util.boot (cleanParameterList!): New. - * interp/define.boot (spadCompileOrSetq): Use it. - -2013-05-14 Gabriel Dos Reis - - * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): - Remove redundant declaration for parts. - -2013-05-14 Gabriel Dos Reis - - * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Test - for BasicType satisfaction instead of existence of =. - -2013-05-14 Gabriel Dos Reis - - * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray) [map]: - Move implementation from TwoDimensionalArrayCategory. - -2013-05-14 Gabriel Dos Reis - - * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Move - defaults to InnerTwoDimensionalArray. - -2013-05-14 Edi Meier - - * graph/include/G.h (GCstruct::GCchar): Increase length to 12. - -2013-05-14 Gabriel Dos Reis - - * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray) - [row, column]: Fix off-by-one thinko. - -2013-05-13 Gabriel Dos Reis - - * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Move - row column implementation to InnerTwoDimensionalArray. - (InnerTwoDimensionalArray): Simplify row and column implementation. - -2013-05-13 Gabriel Dos Reis - - * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Inherit - empty? and empty from base domain. - (TwoDimensionalArray): Attribute shallowlyMutable is already - specified by TwoDimensionalArrayCategory. - * algebra/matcat.spad.pamphlet (MatricCategory): Attributes - shallowlyMutable and finiteAggregate are already specified by - TwoDimensionalArrayCategory. - -2013-05-13 Gabriel Dos Reis - - * algebra/array1.spad.pamphlet (IndexedOneDimensionalArray): Tidy. - -2013-05-13 Gabriel Dos Reis - - * interp/g-opt.boot (%array2list): New side-effect free opcode. - * interp/lisp-backend.boot: Expand it. - * algebra/array1.spad.pamphlet (PrimitiveArray): Implement - maxIndex, parts, and members. - -2013-05-12 Gabriel Dos Reis - - * algebra/vector.spad.pamphlet (IndexedVector): Remove. - (Vector): Use OneDimensionalArray as base domain for implementation. - * algebra/Makefile.am: Update. - -2013-05-12 Gabriel Dos Reis - - * algebra/carten.spad.pamphlet (CartesianTensor): Use - PrimitiveArray in lieu of 0-based IndexedVector. - -2013-05-12 Gabriel Dos Reis - - * interp/database.boot (getConstructorModemap): Revert previous change. - -2013-05-11 Gabriel Dos Reis - - * algebra/matrix.spad.pamphlet (RectangularMatrix) [ZERO]: Remove. - (SquareMatrix) [ZERO, ONE]: Likewise. - -2013-05-11 Gabriel Dos Reis - Waldek Hebisch - - * algebra/catdef.spad.pamphlet (OrderedRing): Extend - CharactericZero too. - -2013-05-11 Gabriel Dos Reis - - * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Rename - from InnerIndexedTwoDimensionalArray. Adjust users. - -2013-05-11 Gabriel Dos Reis - - * interp/database.boot (getConstructorModemap): Try to load fresh - module first before looking into cached database data. - * algebra/Makefile.am (oa_algebra_layer_11): Remove IARRAY2. - * algebra/array2.spad.pamphlet (InnerIndexedTwoDimensionalArray): - Drop starting index parameters. Tidy. Adjust users. - (IndexedTwoDimensionalArray): Remove as unused. - -2013-05-11 Gabriel Dos Reis - - * algebra/array2.spad.pamphlet: Clean up. - -2013-05-11 Gabriel Dos Reis - - * algebra/indexedp.spad.pamphlet - (IndexedDirectProductAbelianMonoid) [opposite?]: Implement. - -2013-05-10 Gabriel Dos Reis - - * algebra/matrix.spad.pamphlet (IndexedMatrix): Remove as unused. - * algebra/Makefile.am (oa_algebra_layer_12): Remove IMATRIX. - -2013-05-10 Gabriel Dos Reis - - * interp/g-opt.boot (optEmptyArray): New expander. Register. - (optSimpleArray): Likewise. - (optList2Array): Likewise. - * interp/lisp-backend.boot: Expand %elementType, %initialElement, - %initialContents, %array, %type2form opcodes. - * algebra/array1.spad.pamphlet (PrimitiveArray): Tidy. - -2013-05-10 Gabriel Dos Reis - - * algebra/indexedp.spad.pamphlet - (IndexedDirectProductOrderedAbelianMonoid) [<]: Rewrite iteratively. - -2013-05-10 Gabriel Dos Reis - - * algebra/catdef.spad.pamphlet (AbelianMonoid) [opposite?]: New. - (Rng)[annihilate?]: New. - (EntireRing) [annihilate?]: Implement. - * algebra/integer.spad.pamphlet (Integer): Implement new exports. - -2013-05-09 Gabriel Dos Reis - - * interp/lexing.boot (Keywords): Add "do". - * interp/spad-parser.boot (parseBlock): New. - (parseDo): Likewise. Register for do-statements. - * interp/compiler.boot (compDo): New. Handle do-statements. - -2013-05-09 Gabriel Dos Reis - - * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject) - [combineWithIf]: New. - -2013-05-09 Gabriel Dos Reis - - * interp/i-special.boot (evalIF): Generate OIL intermediate - instruction %otherwise, not Lisp expression T. - * interp/slam.boot (isRecurrenceRelation): Likewise. - -2013-05-08 Gabriel Dos Reis - - * algebra/list.spad.pamphlet (List) [copy]: Simplify. - * interp/g-opt.boot (%lcopy): New side-effect free builtin. - * interp/lisp-backend.boot: Translate it. - -2013-05-08 Gabriel Dos Reis - - * interp/c-util.boot (almostPure?): New. - (foldExportedFunctionReferences): Use it. - -2013-05-07 Gabriel Dos Reis - - * algebra/vector.spad.pamphlet (LinearElement) [corodinates]: Tidy. - (LineraForm) [coordinates]: Likewise. - -2013-05-07 Gabriel Dos Reis - - * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory): - Now extends ConvertibleFrom IndexedProductTerm(A,S). - (IndexedDirectProductObject): Simplify. - (IndexedDirectProductAbelianMonoid): Tidy. - (IndexedDirectProductOrderedAbelianMonoid): Likewise. - -2013-05-07 Gabriel Dos Reis - - * algebra/indexedp.spad.pamphlet (IndexedProductTerm): New domain. - -2013-04-07 Gabriel Dos Reis - - * gui/widget.h: Remove. Qt's meta object system does no play nice - with modern C++ idioms. - -2013-04-07 Gabriel Dos Reis - - * utils/command.cc (args_count): New. - (execute_core): Use it. Tidy. - (Arguments::Arguments): Tidy. - -2013-04-06 Gabriel Dos Reis - - * gui/server.h: New. - * gui/server.cc: Likewise.. - * gui/gui.pro.in (HEADERS): Update. - (SOURCES): Likewise. - -2013-04-05 Gabriel Dos Reis - - * include/token.H: New. - * syntax/token.cc: Likewise. - * syntax/Makefile.am: Likewise. - * Makefile.am (DIST_SUBDIRS): Add syntax. - (oa_src_include_headers): Add Input.H, token.H. - -2013-04-04 Gabriel Dos Reis - - * algebra/Makefile.am: New. - * algebra/Makefile.in: Generate content from Makefile.am. - -2013-04-03 Gabriel Dos Reis - - * include/Input.H: New. - * include/defaults.H: Likewise. - * include/iterator.H: Likewise. - * include/structure.H: Likewise. - * io/Input.cc: Likewise. - * Makefile.am (DIST_SUBDIRS): Include io. - (subdirs): Likewise. - (oa_src_include_headers): New. - (all-headers): New rule. - (mostlyclean-local): Remove target include directory too. - * gui/gui.pro.in: Update with new dependency. - -2013-04-02 Gabriel Dos Reis - - * gui/conversation.h (Question::leaveEvent): Remove. - (Question::focusOutEvent): Likewise. - * gui/conversation.cc: Remove corresponding definitions. - -2013-04-02 Gabriel Dos Reis - - * gui/conversation.cc (font_units): Rename from em_metrics. - Adjust callers. - (Answer::Answer): Use raised frame style. - -2013-03-31 Gabriel Dos Reis - - * lib/sockio-c.c (get_float): Remove unused local variable val. - * lib/pixmap.c (read_pixmap_file): Remove unused local variable status. - * lib/openpty.c (makeNextPtyNames): Guard declaration by CPP macro. - * lib/fnct_key.c (define_function_keys): Remove unused local - variable saved_echo. - * lib/XSpadFill.c (XInitSpadFill): Remove unused local variable - maxDither. - * graph/viewman/fun2D.c (funView2D): Remove declaration of unused - local variable code. - * graph/viewman/fun3D.c (funView3D): Likewise. - -2013-03-31 Gabriel Dos Reis - - * interp/pile.boot (insertpile): Tidy. - (pilePlusComments): Likewise. - (pileTree): Likewise. - (eqpileTree): Likewise. - diff --git a/src/ChangeLog.2013 b/src/ChangeLog.2013 new file mode 100644 index 00000000..5a07ed50 --- /dev/null +++ b/src/ChangeLog.2013 @@ -0,0 +1,1076 @@ +2013-12-15 Gabriel Dos Reis + + Fix SF/95. + * include/vm.H (internal_type): Adjust. + (internal_data): Likewise. + +2013-11-26 Gabriel Dos Reis + + * include/storage.H (Arena::allocate): Adjust spelling of + alignment query operator. + (Arena::Arena): Likewise. + (HashTableEntry): Adjust spelling of alignment specifier. + +2013-11-03 Gabriel Dos Reis + + * include/Charset.H (OpenAxiom): New. + +2013-07-04 Gabriel Dos Reis + + * interp/sys-driver.boot (initializeGlobalState): Tell GCL not to + use buggy fast links. + +2013-07-01 Gabriel Dos Reis + + * interp/sys-utility.boot (makeFilename): Tidy. + +2013-07-01 Gabriel Dos Reis + + * interp/g-util.boot (relativeDirname): New. Abstract differences + between Common Lisp semantics and traditional semantics (GCL). + * interp/c-util.boot (moveLibdirByCopy): Use it. + +2013-06-30 Gabriel Dos Reis + + * lisp/core.lisp.in (maxIndex): Provide function definition for + the benefit of rotted GCL systems. + +2013-06-29 Gabriel Dos Reis + + * include/sockio.h (accept_connection): Take no argument. + (server): Adjust type. + * lib/sockio-c.c: Implement changes. + * hyper/spadint.c (accept_menu_server_connection): Adjust use of + server. + * sman/session.c (manage_sessions): Likewise. + * sman/sman.c (manage_spad_io): Likewise. + +2013-06-28 Gabriel Dos Reis + + * gui/conversation.cc (accumulate_paragraphs): Remove. + (read_output): Remove. + (OutputTextArea::add_paragraph): Rewrite. + (Conversation::read_reply): Likewise. + +2013-06-27 Gabriel Dos Reis + + * src/rt: New directory. Move vm.cc and Lisp.cc here. + * rt/Database.cc: New. + * include/Database.H: Likewise. + * include/Constructor.H: Likewise. + * gui/server.h (Server): Cache database input souece. + * gui/gui.pro.in (LIBS): Add core runtime library. + * Makefile.am (oa_src_include_headers): Add Constructor.H and + Database.H. + +2013-06-27 Gabriel Dos Reis + + * include/Lisp.H: New. + * utils/Lisp.cc: Likewise. + * gui/server.h (Server::lisp): Give access to embedded Lisp evaluator. + * gui/main-window.cc (MainWind::read_databases): Use embedded Lisp + evaluator. + * include/vm.H: Move from src/utils/. + * Makefile.am (oa_src_include_headers): Include vm.H. + +2013-06-27 Gabriel Dos Reis + + * interp/lisplib.boot (compDefineLisplib): Close the file + contained generated code before handing over to backend. + * interp/c-util.boot (moveLibdirByCopy): The inferred destination + directory is not absolute. + +2013-06-26 Gabriel Dos Reis + + * include/sexpr.H (Lexer): Remove. + (Parser): Likewise. + (Reader): New. + * syntax/sexpr.cc: Propagate changes. + * gui/main-window.h (MainWindow::read_databases): Declare. + (MainWindow::display_error): Likewise. + * gui/main-window.cc: Implement. + * gui/gui.pro.in (LIBS): Include syntax library. + * Makefile.am (oa_src_include_headers): Add sexpr.H. Fix build + failure from previous commit. + +2013-06-24 Gabriel Dos Reis + + * include/sexpr.H: Move from utils. + (UniqueAllocator): Remove. + (SyntaxComparator): Likewise. + * syntax/sexpr.cc: Move from utils. + +2013-06-24 Gabriel Dos Reis + + * interp/cattable.boot (squeezeList): Remove. + (squeeze1): Likewise. + * interp/daase.lisp (*COMPRESSVECTOR*): Likewise. + (*COMPRESSVECTORLENGTH*): Likewise. + (*COMPRESS-STREAM*): Likewise. + (*COMPRESS-STREAM-STAMP*): Likewise. + (COMPRESSOPEN): Remove. Adjust callers. + (unsqueezeCopy): Likewise. + (WRITE-COMPRESS): Likewise. + (SQUEEZE): Likewise. + (UNSQUEEZE): Likewise. + (MAKE-DATABASES): Do not write out compress.daase. + * interp/database.boot (squeezeAll): Likewise. + +2013-06-24 Gabriel Dos Reis + + * interp/sys-constants.boot ($BuiltinAttributes): Remove + finiteAggregate and shallowlyMutable. + * interp/daase.lisp (WRITE-COMPRESS): Do not push strings. + +2013-06-22 Gabriel Dos Reis + + * include/token.H (token::base_type): Renam from class_type. + (token::value): Add unary, binary, and ternary overloads. + * utils/sexpr.H (Sexpr::Token): Use token::value. Clean up. + +2013-06-22 Gabriel Dos Reis + + * include/SourceFile.H: New. + +2013-06-21 Gabriel Dos Reis + + * include/FileMapping.H: New. + +2013-06-21 Gabriel Dos Reis + + * include/dialect.H: New. + * include/diagnostics.H: Likewise. + * include/storage.H: Move from utils/. + +2013-06-20 Gabriel Dos Reis + + * include/diagnostics.H: New. + * io/std-streams.cc: Likewise. + +2013-06-20 Gabriel Dos Reis + + * boot/scanner.boot (shoeToken): Allow inerts. + * boot/ast.boot (bfInert): New. + * boot/parser.boot (bpInert): New. + (bpConstTok): Use it. + +2013-06-18 Gabriel Dos Reis + + * interp/compiler.boot (compHasFormat): Take a DB parameter. + Adjust callers. + * interp/define.boot (ICformat): Likewise. + * interp/lisplib.boot (predicateBitIndex): Likewise. + (predicateBitRef): Likewise. + (transHasCode): Likewise. + +2013-06-17 Gabriel Dos Reis + + * algebra/catdef.spad.pamphlet (CommutativeOperatorCategory): New. + (CommutativeOperation): Likewise. + * algebra/Makefile.am (oa_algebra_layer_0): Include them. + +2013-06-17 Gabriel Dos Reis + + * algebra/aggcat.spad.pamphlet (EltableAggregate): Weaken + requirement on first parameter. + (IndexedAggregate): Likewise. + +2013-06-17 Gabriel Dos Reis + + * algebra/catdef.spad.pamphlet (PartialDifferentialSpace): Weaken + requirement on parameter. + (PartialDifferentialRing): Likewise. + (PartialDifferentialModule): Likewise. + +2013-06-17 Gabriel Dos Reis + + * algebra/parsers.spad.pamphlet: New. + * algebra/script-parser.spad: Move content to parsers.spad.pamphlet. + Remove. + * algebra/spad-parser.spad: Likewise. + +2013-06-15 Gabriel Dos Reis + + * interp/ht-util.boot (mkCurryFun): Import function name. + +2013-06-15 Gabriel Dos Reis + + * boot/tokens.boot (importSymbol): New builtin. + * interp/br-saturn.boot (htpMakeEmptyPage): Use it. + +2013-06-15 Gabriel Dos Reis + + * interp/database.boot (dbConstructorDefault): New accessor. + (getCategoryConstructorDefault): New. + * interp/define.boot (makeCategoryAlist): Use it. + (hasDefaultPackage): Remove. + (mkCategoryPackage): First parameter is now a DB. Take + environment parameter too. Adjust caller. + * interp/lisplib.boot (writeCategoryDefault): New. + (finalizeLisplib): Call it when appropriate. + +2013-06-15 Gabriel Dos Reis + + * interp/define.boot (makeCategoryPredicates): Tidy. Adjust caller. + +2013-06-14 Gabriel Dos Reis + + * interp/c-util.boot (extendsCategoryForm): Take a DB parameter. + Avoid special variables for current constructor form. Adjust callers. + * interp/define.boot (compDefineCategory2): Register current + constructor in environment. + +2013-06-14 Gabriel Dos Reis + + * interp/lisplib.boot (writeSourceFile): Always write source file. + +2013-06-14 Gabriel Dos Reis + + * interp/nruncomp.boot (NRTsetVector4Part1): Add environment parameter. + Adjust caller. + (NRTsetVector4a): Likewise. Avoid special variable for environment. + * boot/utility.boot: Add and export substSource, substTarget. + * interp/define.boot: Use them. + +2013-06-14 Gabriel Dos Reis + + * interp/compiler.boot (categoryInstance?): New. + (compColon): Use it for category definitions. + * interp/c-util.boot: Add accessors for infovec parts. + * boot/utility.boot (invertSubst): New. Export. + * interp/Makefile.in ($(SAVESYS)): Remove --sysdb and --system-algebra. + +2013-06-13 Gabriel Dos Reis + + * interp/define.boot (getvalue): Rename from GetValue. + Take environment as second parameter. Adjust callers. + +2013-06-13 Gabriel Dos Reis + + * interp/nruncomp.boot (listOfBoundVars): Take environment as + second parameter. Adjust callers. + (optDeltaEntry): Likewise. + +2013-06-05 Gabriel Dos Reis + + * interp/define.boot (substSlotNumbers): Remove redundant check. + * interp/lisplib.boot (NRTgenInitialAttributeAlist): Simplify. + * interp/showimp.boot (dc): Likewise. + +2013-06-02 Gabriel Dos Reis + + Make parser non-dependent on constructor databases. + * interp/compiler.boot (instantiateNiladics!): New. + (compileParseTree): Use it to expand niladict constructors. + (instantiateNiladicsInList!): New. + * interp/c-doc.boot (instantiateNiladicsInDoc!): New. + (finalizeDocumentation): Use it. + +2013-06-01 Gabriel Dos Reis + + * interp/define.boot (addInfo): Remove. + (addinformation): Tidy. + +2013-06-01 Gabriel Dos Reis + + * interp/define.boot (NRTgetLookupFunction): Take a cache table. + Adjust caller. + (NRTextendsCategory1): Likewise. + (extendsCategory): Likewise. + (extendsCategoryBasic): Likewise. + (catExtendsCat?): Likewise. + (getCategoryObjectIfCan): New. + (getCategoryObject): Use it. + * interp/lisplib.boot (getSlot1): Remove as unused. + +2013-06-01 Gabriel Dos Reis + + * interp/category.boot (SigListUnion): Take a cache table. Adjust + callers. + (mkOr): Likewise. + (mkOr2): Likewise. + (mkAnd): Likewise. + (mkAnd2): Likewise. + (FindFundAncs): Likewise. + (CatEval): Likewise. + (ancestors?): Likewise. + (descendant?): Likewise. + (filterConditionalCategories): Likewise. + * interp/functor.boot (ICformat): Likewise. + +2013-06-01 Gabriel Dos Reis + + * interp/define.boot (getCategoryObject): New. + * interp/functor.boot (InvestigateConditions): Use it. + (getViewsConditions): Likewise. + (getPossibleViews): Likewise. + +2013-06-01 Gabriel Dos Reis + + * interp/category.boot (filterConditionalCategories): Fix thinko. + +2013-06-01 Gabriel Dos Reis + + Support --output in compiler, for bootstrapping stage. + * lisp/core.lisp.in (directoryEntries): New. + * interp/lisplib.boot (compDefineLisplib): Tidy. Honor --output. + (initializeLisplib): Rewrite. + (lisplibDoRename): Likewise. + * interp/nlib.lisp (RSHUT): Tidy. + * interp/define.boot (getOutputPath): New. + (compDefineFunctor): Use it. + (compDefineCategory): Likewise. + * interp/c-util.boot (%Libstream): Add field for output pathname. + (dbOutputPath): New accessor. + (moveLibdirByCopy): New. + * include/cfuns.h (oa_acquire_temporary_pathname): Declare. + (oa_release_temporary_pathname): Likewise. + * lib/cfuns-c.c: Implement them. + * interp/sys-os.boot: Define acquireTemporaryPathname. + * boot/ast.boot (lispKey): New. + (bfApplication): Use it. + (bfExpandKeys): Likewise. + * algebra/Makefile.am: Simplify bootstrapping rules. + +2013-05-31 Gabriel Dos Reis + + * interp/nlib.lisp (getIndexIOStreamAndTable): New. + +2013-05-30 Gabriel Dos Reis + + * interp/define.boot (knowInfo): Fix typo. + +2013-05-30 Gabriel Dos Reis + + * interp/c-doc.boot (finalizeDocumentation): Take a DB parameter. + Adjust callers. + * interp/lisplib.boot (compileDocumentation): Likewise. + (writeSourceFile): New. + (writeInteractiveModemaps): Likewise. + (writeDocumentation): Likewise. + +2013-05-29 Gabriel Dos Reis + + * interp/lisp-backend.boot (compileLispDefinition): Remove. + Adjust callers. + (printBackendDecl): Lose first parameter. Adjust callers. + * interp/slam.boot (compQuietly): Simplify. + * interp/sys-utility.boot (COMPILE-DEFUN): Remove. Adjust callers. + (EVAL-DEFUN): Likewise. + * interp/sys-macros.lisp (MACROEXPANDALL): Remove as no longer used.. + +2013-05-28 Gabriel Dos Reis + + * interp/define.boot (compDefineCategory1): Take DB parameter. + (compDefineCategory2): Likewise. + (compDefineFunctor1): Likewise. + * interp/lisplib.boot (compDefineLisplib): Likewise. + +2013-05-28 Gabriel Dos Reis + + * interp/sys-globals.boot ($domainShell): Remove. + * interp/c-util.boot (%CompilationData): Add shell field. + (dbDomainShell): New accessor. Replace $domainShell variable. + +2013-05-27 Gabriel Dos Reis + + * interp/compiler.boot(compNoStacking): Add DB parameter. + Adjust callers. + (comp2): Likewise. + (comp3): Likewise. + * interp/c-util.boot (currentDB): New. + (currentConstructor): Remove. Adjust callers. + +2013-05-27 Gabriel Dos Reis + + * interp/define.boot (compDefine): Take DB as first parameter. + Adjust callers. + +2013-05-27 Gabriel Dos Reis + + * interp/sys-utility.boot ($ERASE): Remove. + +2013-05-27 Gabriel Dos Reis + + * interp/nlib.lisp ($FINDFILE): Move to sys-utility.boot. + +2013-05-27 Gabriel Dos Reis + + * interp/nlib.lisp (MAKE-INPUT-FILENAME): Move to sys-utility.boot. + * boot/ast.boot (bfIS1): Handle Lisp keywords. + +2013-05-26 Gabriel Dos Reis + + * interp/nlib.lisp (GET-DIRECTORY-LIST): Move to sys-utility.boot. + +2013-05-26 Gabriel Dos Reis + + * interp/lisplib.boot: Replace $FILEP with makeFullFilePath. + * interp/setvars.boot: Likewise. + * interp/nlib.lisp ($FILEP): Remove. + ($OUTFILEP): Likewise. + +2013-05-26 Gabriel Dos Reis + + * interp/sys-os.boot (getWorkingDirectory): New. Define via FFI. + Replace all uses of GET-CURRENT-DIRECTORY. + * interp/daase.lisp (GET-CURRENT-DIRECTORY): Remove. + +2013-05-26 Gabriel Dos Reis + + * interp/nlib.lisp (MAKE-FULL-NAMESTRING): Move to sys-utility.boot. + Rename to makeFullFilePath. Adjust callers. + +2013-05-26 Gabriel Dos Reis + + * algebra/boolean.spad.pamphlet (IndexedBits)[<]: Define in Spad. + * interp/bits.lisp: Remove. + +2013-05-26 Gabriel Dos Reis + + * interp/sys-utility.boot (makeFilename): Move from nlib.lisp. + * interp/nlib.lisp (MAKE-FILENAME): Move to sys-utility.boot. + Adjust callers. + * boot/tokens.boot: Add new builtins: filePath, filePath?, + filePathDirectory, filePathName, filePathString, filePathType, + makeFilePath. + +2013-05-26 Gabriel Dos Reis + + * interp/nlib.lisp (ADDOPTIONS): Move to sys-utility.boot. + * interp/sys-utility.boot (addCompilerOption): Rename from ADDOPTIONS. + +2013-05-25 Gabriel Dos Reis + + * algebra/logic.spad.pamphlet: New file. + * algebra/boolean.spad.pamphlet (Logic): Move there. + (BooleanLogic): Likewise. + (PropositionalLogic): Likewise. + (PropositionalFormula): Likewise. + (PropositionalFormulaFunctions1): Likewise. + (PropositionalFormulaFunctions2): Likewise. + (KleeneTrivalentLogic): Likewise. + +2013-05-25 Gabriel Dos Reis + + * algebra/cycles.spad.pamphlet (CycleIndicators) [spol]: Rename + from nniBump. Fix thinko. + +2013-05-25 Gabriel Dos Reis + + * algebra/cycles.spad.pamphlet (alternating): Accept non-negative input. + +2013-05-25 Gabriel Dos Reis + + * utils/command.cc (print_usage): Document --verbose. + +2013-05-25 Gabriel Dos Reis + + * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject): + Define Rep, do not use base-domain form. + +2013-05-23 Gabriel Dos Reis + + * algebra/stream.spad.pamphlet (LazyStreamAggregate) [entries]: + Define unconditionally, even it it does not make much sense in general. + +2013-05-22 Gabriel Dos Reis + + * interp/sys-utility.boot (%Libstream): New. + +2013-05-21 Gabriel Dos Reis + + * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): Extend + Aggregate only. Adjust users. + (BagAggregate): Explicitly extend HomogeneousAggregate. + (AssociationListAggregate): Extend ShallowlyMutableAggregate. + +2013-05-21 Gabriel Dos Reis + + * algebra/aggcat.spad.pamphlet (UnaryRecursiveAggregate) [map!]: + Implement default. + * algebra/list.spad.pamphlet (List) [map!]: Likewise. + +2013-05-20 Gabriel Dos Reis + + * interp/database.boot (getConstructorAbbreviationFromDB): Use DB + data structure directtly. + (getConstructorKindFromDB): Likewise. + +2013-05-20 Gabriel Dos Reis + + * algebra/aggcat.spad.pamphlet (Collection) [find]: Move to + FiniteAggregate. + +2013-05-19 Gabriel Dos Reis + + * algebra/derham.spad.pamphlet: Use Functorial. + * algebra/equation2.spad.pamphlet: Likewise. + * algebra/fr.spad.pamphlet: Likewise. + * algebra/indexedp.spad.pamphlet: Likewise. + * algebra/ituple.spad.pamphlet: Likewise. + * algebra/mring.spad.pamphlet: Likewise. + * algebra/polycat.spad.pamphlet: Likewise. + * algebra/array2.spad.pamphlet: Remove redundant map export. + * algebra/exposed.lsp.pamphlet: Expose Functorial. + * algebra/matcat.spad.pamphlet: Likewise. + * algebra/xpoly.spad.pamphlet: Likewise. + +2013-05-19 Gabriel Dos Reis + + Eradicate attribute shallowlyMutable. + * algebra/aggcat.spad.pamphlet: Use ShallowlyMutableAggregate. + * algebra/defaults.spad.pamphlet: Likewise. + * algebra/smith.spad.pamphlet: Likewise. + * algebra/solvelin.spad.pamphlet: Likewise. + +2013-05-19 Gabriel Dos Reis + + * algebra/matfuns.spad.pamphlet: Use ShallowlyMutableAggregate. + +2013-05-19 Gabriel Dos Reis + + * algebra/matcat.spad.pamphlet: Use ShallowlyMutableAggregate. + +2013-05-19 Gabriel Dos Reis + + * algebra/aggcat2.spad.pamphlet: Use ShallowlyMutableAggregate. + +2013-05-19 Gabriel Dos Reis + + * algebra/newdata.spad.pamphlet (SplittingTree): Include + ShallowlyMutableAggregate S in exports. + * algebra/polset.spad.pamphlet (GeneralPolynomialSet): Inlcude + ShallowlyMutableAggregate P. + * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise. + +2013-05-19 Gabriel Dos Reis + + Eradicate attribute finiteAggregate. + * algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Remove + exports conditional aatribute finiteAggregate. + (TableAggregate): Remove spirous definitions. + * algebra/stream.spad.pamphlet (LazyStreamAggregate): Put + definitions for FiniteAgregate exports under appropriate condition. + +2013-05-19 Gabriel Dos Reis + + * algebra/aggcat.spad.pamphlet (Aggregate) [#]: Remove export. + (UnaryRecursiveAggregate): Make definiton conditional. + * algebra/stream.spad.pamphlet (LazyStreamAggregate): Likewise. + +2013-05-19 Gabriel Dos Reis + + * interp/define.boot (compDefineFunctor1): Use the current + instantiation form when adding modemaps from category. + (partialSignature?): New. + (refineDefinitionSignature): Use full completion from getSignature. + * interp/compiler.boot (compIterator): Simplify. + +2013-05-19 Gabriel Dos Reis + + * interp/define.boot (sourceMatches): New. + (getDollarName): Likewise. + (getSignature): Them. Tidy. + (setDollarName): New. + (compDefineFunctor1): Use it. + +2013-05-18 Gabriel Dos Reis + + * interp/define.boot (getSignature): Third parameter need not be fluid. + +2013-05-18 Gabriel Dos Reis + + * interp/define.boot (getSignature): Tidy. + +2013-05-18 Gabriel Dos Reis + + * algebra/cycles.spad.pamphlet (CycleIndicators) [nniBump]: New + local function. + [SFunction]: Use it. + +2013-05-18 Gabriel Dos Reis + + * algebra/cycles.spad.pamphlet (CycleIndicators) + [complete,alternating]: Change input type to NonNegativeInteger. + +2013-05-18 Gabriel Dos Reis + + * interp/define.boot (knownPred): Take a memo-table as third parameter. + +2013-05-18 Gabriel Dos Reis + + * algebra/aggcat.spad.pamphlet (FiniteAgregate): Remove attribute + finiteAggregate. + +2013-05-18 Gabriel Dos Reis + + * algebra/aggcat.spad.pamphlet (Collection) [reduce]: Remove. + Remove redundant defaults. + +2013-05-18 Gabriel Dos Reis + + * algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Move + defaults for = and coerce to FiniteAggregate. Remove the rest. + +2013-05-18 Gabriel Dos Reis + + * algebra/aggcat.spad.pamphlet (FiniteAggregate) [reduce]: Add + overloads. + +2013-05-18 Gabriel Dos Reis + + * algebra/aggcat.spad.pamphlet (HomogeneousAggregate) [parts]: Remove. + * algebra/permgrps.spad.pamphlet: Use members, not parts. + +2013-05-18 Gabriel Dos Reis + + * algebra/aggcat2.spad.pamphlet: Use members, not parts. + * algebra/algcat.spad.pamphlet: Likewise. + * algebra/cden.spad.pamphlet: Likewise. + * algebra/clifford.spad.pamphlet: Likewise. + * algebra/divisor.spad.pamphlet: Likewise. + * algebra/galfact.spad.pamphlet: Likewise. + * algebra/lodof.spad.pamphlet: Likewise. + * algebra/naalgc.spad.pamphlet: Likewise. + * algebra/oderf.spad.pamphlet: Likewise. + * algebra/rule.spad.pamphlet: Likewise. + * algebra/space.spad.pamphlet: Likewise. + * algebra/view3D.spad.pamphlet: Likewise. + * algebra/zerodim.spad.pamphlet: Likewise. + +2013-05-18 Gabriel Dos Reis + + * algebra/array1.spad.pamphlet: Define members, not parts. + * algebra/array2.spad.pamphlet: Likewise. + * algebra/bags.spad.pamphlet: Likewise. + * algebra/list.spad.pamphlet: Likewise. + * algebra/lmdict.spad.pamphlet: Likewise. + * algebra/mset.spad.pamphlet: Likewise. + * algebra/polset.spad.pamphlet: Likewise. + * algebra/regset.spad.pamphlet: Likewise. + * algebra/sets.spad.pamphlet: Likewise. + * algebra/sregset.spad.pamphlet: Likewise. + * algebra/string.spad.pamphlet: Likewise. + * algebra/tree.spad.pamphlet: Likewise. + * algebra/triset.spad.pamphlet: Likewise. + * algebra/vector.spad.pamphlet: Likewise. + +2013-05-18 Gabriel Dos Reis + + * algebra/aggcat.spad.pamphlet: Tidy. + +2013-05-17 Gabriel Dos Reis + + * algebra/mset.spad.pamphlet (Multiset) [unique]: Rename from + members to avoid semantics clash. + +2013-05-17 Gabriel Dos Reis + + * algebra/aggcat.spad.pamphlet: Replace uses of parts by members. + +2013-05-17 Gabriel Dos Reis + + * algebra/attreg.spad.pamphlet (AttributeRegistry): Remove + shallowlyMutble. + * algebra/aggcat.spad.pamphlet (BagAggregate): Extend + ShallowlyMutableAggregate. + (ExtensibleLinearAggregate): Likewise. + * algebra/mset.spad.pamphlet (Multiset): Likewise. + * algebra/tree.spad.pamphlet (Tree): Likewise. + +2013-05-17 Gabriel Dos Reis + + * algebra/tree.spad.pamphlet(BinaryTreeCategory): Extend + ShallowlyMutableAggregate S. + (BinarySearchTree): Remove redundant shallowlyMutable attribute. + (BalancedBinaryTree): Likewise. + +2013-05-17 Gabriel Dos Reis + + * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): New. + +2013-05-17 Gabriel Dos Reis + + * algebra/aggcat.spad.pamphlet (FiniteAggregate): More defaults. + (Aggregate): Remove default implementation of empty? + +2013-05-17 Gabriel Dos Reis + + * algebra/aggcat.spad.pamphlet (FiniteAggregate): Add default + implementation for empty?. + +2013-05-17 Gabriel Dos Reis + + * algebra/aggcat.spad.pamphlet (TableAggregate): Now extend + FiniteAggregate Record(key:Key,entry:Entry). + * algebra/files.spad.pamphlet (KeyedAccessFile): Remove + finiteAggregate attribute. + * algebra/table.spad.pamphlet (HashTable): Likewise. + (InnerTable): Likewise. + (Table): Likewise. + +2013-05-16 Gabriel Dos Reis + + * algebra/aggcat.spad.pamphlet (KeyedDictionary): Now extend + IndexedAggregate too. Give default implementation for elt. + (TableAggregate): Simplify. + +2013-05-16 Gabriel Dos Reis + + * algebra/ffp.spad.pamphlet (FiniteFieldExtensionByPolynomial) + [tableForDiscreteLogarithm]: Don't use pretend where checked + coercion is intended. + * algebra/pf.spad.pamphlet (InnerPrimeField) + [tableForDiscreteLogarithm]: Likewise. + +2013-05-16 Gabriel Dos Reis + + * algebra/aggcat.spad.pamphlet (AssociationListAggregate) [assoc]: + Change return type to instance of Maybe. + * algebra/list.spad.pamphle (AssociationList): Reflect change. + +2013-05-16 Gabriel Dos Reis + + * algebra/sortpak.spad.pamphlet (SortPackage): Have second + parameter satisfy FiniteAggregate A instead of requiring attribute + finiteAggregate. + * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Now + extends FiniteAggregate. Remove finiteAggregate attribute. + +2013-05-16 Gabriel Dos Reis + + * algebra/polset.spad.pamphlet (GeneralPolynomialSet): Remove + redundant FiniteAggregate. + * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise. + +2013-05-16 Gabriel Dos Reis + + * algebra/aggcat.spad.pamphlet (FiniteAggregate): Temporarily + include attribute finiteAggregate. + (StackAggregate): Extend category FiniteAggregate instead of + attribute finiteAggregate. + (QueueAggregate): Likewise. + (PriorityQueueAggregate): Likewise. + (FiniteSetAggregate): Likewise. + * algebra/lmdict.spad.pamphlet (ListMultiDictionary): Likewise. + * algebra/matcat.spad.pamphlet (MatrixCategory): Likewise. + * algebra/mset.spad.pamphlet (Multiset): Likewise. + * algebra/newdata.spad.pamphlet (SplittingTree): Likewise. + * algebra/polset.spad.pamphlet (PolynomialSetCategory): Likewise. + * algebra/tree.spad.pamphlet (Tree): Likewise. + (BinaryTreeCategory): Likewise. + * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise. + * algebra/vector.spad.pamphlet (DirectProductCategory): Likewise. + +2013-05-16 Gabriel Dos Reis + + * algebra/data.spad.pamphlet (Byte): Remove redundant + finiteAggregate attribute. + * algebra/tree.spad.pamphlet (BinaryTreeCategory): Likewise. + (BinarySearchTree): Likewise. + (BalancedBinaryTree): Likewise. + +2013-05-15 Gabriel Dos Reis + + * algebra/aggcat.spad.pamphlet (FiniteAggregate): New. + * algebra/exposed.lsp.pamphlet: Expose it. + +2013-05-15 Gabriel Dos Reis + + * interp/compiler.boot (unknownTypeError): Simplify. + * interp/define.boot (dbClearForCompilation!): Clear more fields. + +2013-05-15 Gabriel Dos Reis + + * interp/compiler.boot (comp2): Leave categories alone. + +2013-05-15 Gabriel Dos Reis + + * interp/compiler.boot (comp2): Don't test for $bootStrapMode. + +2013-05-15 Gabriel Dos Reis + + * interp/daase.lisp (dbDocumentation): New accessor. + +2013-05-15 Gabriel Dos Reis + + * interp/define.boot (dbClearForCompilation!): New. + (compDefineFunctor1): Use it. + +2013-05-15 Gabriel Dos Reis + + * interp/nruncomp.boot (NRTputInHead): Tidy. + +2013-05-14 Gabriel Dos Reis + + * interp/g-opt.boot (quoteMode): New. + (optRetract): Use it. + (optPullback): Likewise. + +2013-05-14 Gabriel Dos Reis + + * interp/define.boot (checkAndDeclare): Constructor parameter + shadowing. + * algebra/lodof.spad.pamphlet (SetOfMIntegersInOneToN): [enum]: + Lose last parameter. Adjust callers. + +2013-05-14 Gabriel Dos Reis + + * interp/c-util.boot (cleanParameterList!): New. + * interp/define.boot (spadCompileOrSetq): Use it. + +2013-05-14 Gabriel Dos Reis + + * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): + Remove redundant declaration for parts. + +2013-05-14 Gabriel Dos Reis + + * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Test + for BasicType satisfaction instead of existence of =. + +2013-05-14 Gabriel Dos Reis + + * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray) [map]: + Move implementation from TwoDimensionalArrayCategory. + +2013-05-14 Gabriel Dos Reis + + * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Move + defaults to InnerTwoDimensionalArray. + +2013-05-14 Edi Meier + + * graph/include/G.h (GCstruct::GCchar): Increase length to 12. + +2013-05-14 Gabriel Dos Reis + + * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray) + [row, column]: Fix off-by-one thinko. + +2013-05-13 Gabriel Dos Reis + + * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Move + row column implementation to InnerTwoDimensionalArray. + (InnerTwoDimensionalArray): Simplify row and column implementation. + +2013-05-13 Gabriel Dos Reis + + * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Inherit + empty? and empty from base domain. + (TwoDimensionalArray): Attribute shallowlyMutable is already + specified by TwoDimensionalArrayCategory. + * algebra/matcat.spad.pamphlet (MatricCategory): Attributes + shallowlyMutable and finiteAggregate are already specified by + TwoDimensionalArrayCategory. + +2013-05-13 Gabriel Dos Reis + + * algebra/array1.spad.pamphlet (IndexedOneDimensionalArray): Tidy. + +2013-05-13 Gabriel Dos Reis + + * interp/g-opt.boot (%array2list): New side-effect free opcode. + * interp/lisp-backend.boot: Expand it. + * algebra/array1.spad.pamphlet (PrimitiveArray): Implement + maxIndex, parts, and members. + +2013-05-12 Gabriel Dos Reis + + * algebra/vector.spad.pamphlet (IndexedVector): Remove. + (Vector): Use OneDimensionalArray as base domain for implementation. + * algebra/Makefile.am: Update. + +2013-05-12 Gabriel Dos Reis + + * algebra/carten.spad.pamphlet (CartesianTensor): Use + PrimitiveArray in lieu of 0-based IndexedVector. + +2013-05-12 Gabriel Dos Reis + + * interp/database.boot (getConstructorModemap): Revert previous change. + +2013-05-11 Gabriel Dos Reis + + * algebra/matrix.spad.pamphlet (RectangularMatrix) [ZERO]: Remove. + (SquareMatrix) [ZERO, ONE]: Likewise. + +2013-05-11 Gabriel Dos Reis + Waldek Hebisch + + * algebra/catdef.spad.pamphlet (OrderedRing): Extend + CharactericZero too. + +2013-05-11 Gabriel Dos Reis + + * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Rename + from InnerIndexedTwoDimensionalArray. Adjust users. + +2013-05-11 Gabriel Dos Reis + + * interp/database.boot (getConstructorModemap): Try to load fresh + module first before looking into cached database data. + * algebra/Makefile.am (oa_algebra_layer_11): Remove IARRAY2. + * algebra/array2.spad.pamphlet (InnerIndexedTwoDimensionalArray): + Drop starting index parameters. Tidy. Adjust users. + (IndexedTwoDimensionalArray): Remove as unused. + +2013-05-11 Gabriel Dos Reis + + * algebra/array2.spad.pamphlet: Clean up. + +2013-05-11 Gabriel Dos Reis + + * algebra/indexedp.spad.pamphlet + (IndexedDirectProductAbelianMonoid) [opposite?]: Implement. + +2013-05-10 Gabriel Dos Reis + + * algebra/matrix.spad.pamphlet (IndexedMatrix): Remove as unused. + * algebra/Makefile.am (oa_algebra_layer_12): Remove IMATRIX. + +2013-05-10 Gabriel Dos Reis + + * interp/g-opt.boot (optEmptyArray): New expander. Register. + (optSimpleArray): Likewise. + (optList2Array): Likewise. + * interp/lisp-backend.boot: Expand %elementType, %initialElement, + %initialContents, %array, %type2form opcodes. + * algebra/array1.spad.pamphlet (PrimitiveArray): Tidy. + +2013-05-10 Gabriel Dos Reis + + * algebra/indexedp.spad.pamphlet + (IndexedDirectProductOrderedAbelianMonoid) [<]: Rewrite iteratively. + +2013-05-10 Gabriel Dos Reis + + * algebra/catdef.spad.pamphlet (AbelianMonoid) [opposite?]: New. + (Rng)[annihilate?]: New. + (EntireRing) [annihilate?]: Implement. + * algebra/integer.spad.pamphlet (Integer): Implement new exports. + +2013-05-09 Gabriel Dos Reis + + * interp/lexing.boot (Keywords): Add "do". + * interp/spad-parser.boot (parseBlock): New. + (parseDo): Likewise. Register for do-statements. + * interp/compiler.boot (compDo): New. Handle do-statements. + +2013-05-09 Gabriel Dos Reis + + * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject) + [combineWithIf]: New. + +2013-05-09 Gabriel Dos Reis + + * interp/i-special.boot (evalIF): Generate OIL intermediate + instruction %otherwise, not Lisp expression T. + * interp/slam.boot (isRecurrenceRelation): Likewise. + +2013-05-08 Gabriel Dos Reis + + * algebra/list.spad.pamphlet (List) [copy]: Simplify. + * interp/g-opt.boot (%lcopy): New side-effect free builtin. + * interp/lisp-backend.boot: Translate it. + +2013-05-08 Gabriel Dos Reis + + * interp/c-util.boot (almostPure?): New. + (foldExportedFunctionReferences): Use it. + +2013-05-07 Gabriel Dos Reis + + * algebra/vector.spad.pamphlet (LinearElement) [corodinates]: Tidy. + (LineraForm) [coordinates]: Likewise. + +2013-05-07 Gabriel Dos Reis + + * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory): + Now extends ConvertibleFrom IndexedProductTerm(A,S). + (IndexedDirectProductObject): Simplify. + (IndexedDirectProductAbelianMonoid): Tidy. + (IndexedDirectProductOrderedAbelianMonoid): Likewise. + +2013-05-07 Gabriel Dos Reis + + * algebra/indexedp.spad.pamphlet (IndexedProductTerm): New domain. + +2013-04-07 Gabriel Dos Reis + + * gui/widget.h: Remove. Qt's meta object system does no play nice + with modern C++ idioms. + +2013-04-07 Gabriel Dos Reis + + * utils/command.cc (args_count): New. + (execute_core): Use it. Tidy. + (Arguments::Arguments): Tidy. + +2013-04-06 Gabriel Dos Reis + + * gui/server.h: New. + * gui/server.cc: Likewise.. + * gui/gui.pro.in (HEADERS): Update. + (SOURCES): Likewise. + +2013-04-05 Gabriel Dos Reis + + * include/token.H: New. + * syntax/token.cc: Likewise. + * syntax/Makefile.am: Likewise. + * Makefile.am (DIST_SUBDIRS): Add syntax. + (oa_src_include_headers): Add Input.H, token.H. + +2013-04-04 Gabriel Dos Reis + + * algebra/Makefile.am: New. + * algebra/Makefile.in: Generate content from Makefile.am. + +2013-04-03 Gabriel Dos Reis + + * include/Input.H: New. + * include/defaults.H: Likewise. + * include/iterator.H: Likewise. + * include/structure.H: Likewise. + * io/Input.cc: Likewise. + * Makefile.am (DIST_SUBDIRS): Include io. + (subdirs): Likewise. + (oa_src_include_headers): New. + (all-headers): New rule. + (mostlyclean-local): Remove target include directory too. + * gui/gui.pro.in: Update with new dependency. + +2013-04-02 Gabriel Dos Reis + + * gui/conversation.h (Question::leaveEvent): Remove. + (Question::focusOutEvent): Likewise. + * gui/conversation.cc: Remove corresponding definitions. + +2013-04-02 Gabriel Dos Reis + + * gui/conversation.cc (font_units): Rename from em_metrics. + Adjust callers. + (Answer::Answer): Use raised frame style. + +2013-03-31 Gabriel Dos Reis + + * lib/sockio-c.c (get_float): Remove unused local variable val. + * lib/pixmap.c (read_pixmap_file): Remove unused local variable status. + * lib/openpty.c (makeNextPtyNames): Guard declaration by CPP macro. + * lib/fnct_key.c (define_function_keys): Remove unused local + variable saved_echo. + * lib/XSpadFill.c (XInitSpadFill): Remove unused local variable + maxDither. + * graph/viewman/fun2D.c (funView2D): Remove declaration of unused + local variable code. + * graph/viewman/fun3D.c (funView3D): Likewise. + +2013-03-31 Gabriel Dos Reis + + * interp/pile.boot (insertpile): Tidy. + (pilePlusComments): Likewise. + (pileTree): Likewise. + (eqpileTree): Likewise. + diff --git a/src/Makefile.in b/src/Makefile.in index 40a412a6..72b95864 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -1,4 +1,4 @@ -# Makefile.in generated by automake 1.14 from Makefile.am. +# Makefile.in generated by automake 1.14.1 from Makefile.am. # @configure_input@ # Copyright (C) 1994-2013 Free Software Foundation, Inc. diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index fc3594a4..ea649ae8 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -1,4 +1,4 @@ -# Makefile.in generated by automake 1.14 from Makefile.am. +# Makefile.in generated by automake 1.14.1 from Makefile.am. # @configure_input@ # Copyright (C) 1994-2013 Free Software Foundation, Inc. diff --git a/src/io/Makefile.in b/src/io/Makefile.in index dd2f3fab..2d530552 100644 --- a/src/io/Makefile.in +++ b/src/io/Makefile.in @@ -1,4 +1,4 @@ -# Makefile.in generated by automake 1.14 from Makefile.am. +# Makefile.in generated by automake 1.14.1 from Makefile.am. # @configure_input@ # Copyright (C) 1994-2013 Free Software Foundation, Inc. diff --git a/src/rt/Makefile.in b/src/rt/Makefile.in index b69af346..3444a079 100644 --- a/src/rt/Makefile.in +++ b/src/rt/Makefile.in @@ -1,4 +1,4 @@ -# Makefile.in generated by automake 1.14 from Makefile.am. +# Makefile.in generated by automake 1.14.1 from Makefile.am. # @configure_input@ # Copyright (C) 1994-2013 Free Software Foundation, Inc. diff --git a/src/syntax/Makefile.in b/src/syntax/Makefile.in index fd378d43..4476a92d 100644 --- a/src/syntax/Makefile.in +++ b/src/syntax/Makefile.in @@ -1,4 +1,4 @@ -# Makefile.in generated by automake 1.14 from Makefile.am. +# Makefile.in generated by automake 1.14.1 from Makefile.am. # @configure_input@ # Copyright (C) 1994-2013 Free Software Foundation, Inc. -- cgit v1.2.3