From 33949ff2e6e5b5abe8d22c5604f42a6c9371079a Mon Sep 17 00:00:00 2001 From: dos-reis Date: Wed, 5 Mar 2008 20:29:37 +0000 Subject: * interp/compiler.boot (compColon): Literal flag types are valid types. --- INSTALL | 12 ++++++------ configure | 18 +++++++++--------- configure.ac | 2 +- configure.ac.pamphlet | 2 +- src/ChangeLog | 5 +++++ src/interp/compiler.boot | 1 + 6 files changed, 23 insertions(+), 17 deletions(-) diff --git a/INSTALL b/INSTALL index 550badfc..eaf9cff4 100644 --- a/INSTALL +++ b/INSTALL @@ -28,7 +28,7 @@ If any of GCL or noweb is missing from the environment environment where you're building, then you need to either separately install them, or download the dependency tarball - open-axiom-1.0.x-dep.tar.bz2 + open-axiom-1.1.x-dep.tar.bz2 Please, notice that GCL and noweb are needed only to *build* OpenAxiom. If you plan to build OpenAxiom often, then it probably is @@ -37,17 +37,17 @@ a good idea to separately build and install those tools once for all. If you already have GCL and noweb installed, please go to step 2. -1.a. Download the dependency tarball open-axiom-1.0.x-dep.tar.bz2 +1.a. Download the dependency tarball open-axiom-1.1.x-dep.tar.bz2 1.b. Decompress the dependency tarball - tar jxfv open-axiom-1.0.x-dep.tar.bz2 + tar jxfv open-axiom-1.1.x-dep.tar.bz2 That should decompress the dependency tarball in a directory -named open-axiom-1.0.x. Rename it to open-axiom-1.2.0, e.g.: +named open-axiom-1.1.x. Rename it to open-axiom-1.2.0, e.g.: - mv open-axiom-1.0.x open-axiom-1.2.0 + mv open-axiom-1.1.x open-axiom-1.2.0 2. Building OpenAxiom ------------------ @@ -67,7 +67,7 @@ or have separately installed them before proceeding. It is highly recommended that you build OpenAxiom in a directory different from the one that contains the sources. For example, you -may create a directory sibling to open-axiom-1.1.0 and build the +may create a directory sibling to open-axiom-1.2.0 and build the system from there: mkdir build-oa diff --git a/configure b/configure index c61016e6..201412d4 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.60 for OpenAxiom 1.2.0-2008-03-03. +# Generated by GNU Autoconf 2.60 for OpenAxiom 1.2.0-2008-03-05. # # Report bugs to . # @@ -713,8 +713,8 @@ SHELL=${CONFIG_SHELL-/bin/sh} # Identity of this package. PACKAGE_NAME='OpenAxiom' PACKAGE_TARNAME='openaxiom' -PACKAGE_VERSION='1.2.0-2008-03-03' -PACKAGE_STRING='OpenAxiom 1.2.0-2008-03-03' +PACKAGE_VERSION='1.2.0-2008-03-05' +PACKAGE_STRING='OpenAxiom 1.2.0-2008-03-05' PACKAGE_BUGREPORT='open-axiom-bugs@lists.sf.net' ac_unique_file="src/Makefile.pamphlet" @@ -1387,7 +1387,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.2.0-2008-03-03 to adapt to many kinds of systems. +\`configure' configures OpenAxiom 1.2.0-2008-03-05 to adapt to many kinds of systems. Usage: $0 [OPTION]... [VAR=VALUE]... @@ -1457,7 +1457,7 @@ fi if test -n "$ac_init_help"; then case $ac_init_help in - short | recursive ) echo "Configuration of OpenAxiom 1.2.0-2008-03-03:";; + short | recursive ) echo "Configuration of OpenAxiom 1.2.0-2008-03-05:";; esac cat <<\_ACEOF @@ -1561,7 +1561,7 @@ fi test -n "$ac_init_help" && exit $ac_status if $ac_init_version; then cat <<\_ACEOF -OpenAxiom configure 1.2.0-2008-03-03 +OpenAxiom configure 1.2.0-2008-03-05 generated by GNU Autoconf 2.60 Copyright (C) 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001, @@ -1575,7 +1575,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.2.0-2008-03-03, which was +It was created by OpenAxiom $as_me 1.2.0-2008-03-05, which was generated by GNU Autoconf 2.60. Invocation command line was $ $0 $@ @@ -25230,7 +25230,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.2.0-2008-03-03, which was +This file was extended by OpenAxiom $as_me 1.2.0-2008-03-05, which was generated by GNU Autoconf 2.60. Invocation command line was CONFIG_FILES = $CONFIG_FILES @@ -25279,7 +25279,7 @@ Report bugs to ." _ACEOF cat >>$CONFIG_STATUS <<_ACEOF ac_cs_version="\\ -OpenAxiom config.status 1.2.0-2008-03-03 +OpenAxiom config.status 1.2.0-2008-03-05 configured by $0, generated by GNU Autoconf 2.60, with options \\"`echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`\\" diff --git a/configure.ac b/configure.ac index c56b9e6d..c8e9c466 100644 --- a/configure.ac +++ b/configure.ac @@ -1,6 +1,6 @@ sinclude(config/open-axiom.m4) sinclude(config/aclocal.m4) -AC_INIT([OpenAxiom], [1.2.0-2008-03-03], +AC_INIT([OpenAxiom], [1.2.0-2008-03-05], [open-axiom-bugs@lists.sf.net]) AC_CONFIG_AUX_DIR(config) diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet index 58119a71..f89a52ff 100644 --- a/configure.ac.pamphlet +++ b/configure.ac.pamphlet @@ -1022,7 +1022,7 @@ information: <>= sinclude(config/open-axiom.m4) sinclude(config/aclocal.m4) -AC_INIT([OpenAxiom], [1.2.0-2008-03-03], +AC_INIT([OpenAxiom], [1.2.0-2008-03-05], [open-axiom-bugs@lists.sf.net]) @ diff --git a/src/ChangeLog b/src/ChangeLog index 469148c0..6daa63eb 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2008-03-05 Gabriel Dos Reis + + * interp/compiler.boot (compColon): Literal flag types are valid + types. + 2008-03-04 Gabriel Dos Reis * algebra/Makefile.pamphlet (axiom_algebra_layer_strap): Derive diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index a215cbf9..06f332da 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -1185,6 +1185,7 @@ compColon([":",f,t],m,e) == (if not member(t,getDomainsInScope e) then e:= addDomain(t,e); t) isDomainForm(t,e) or isCategoryForm(t,e) => t t is ["Mapping",m',:r] => t + STRINGP t => t -- literal flag types are OK unknownTypeError t t f is ["LISTOF",:l] => -- cgit v1.2.3