From 30e90e4c85eb1fb101ed06b22802d36dbc0df2d2 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Wed, 7 May 2008 15:17:39 +0000 Subject: * interp/types.boot (%Integer): Alias for Lisp INTEGER class. * interp/sys-utility.boot (getVMType): Integer is represented by %Integer. * interp/postpar.boot (postSignature): Don't ignore constants. --- configure | 18 +++++++++--------- configure.ac | 2 +- configure.ac.pamphlet | 2 +- src/ChangeLog | 7 +++++++ src/interp/postpar.boot | 1 + src/interp/sys-utility.boot | 3 +-- src/interp/types.boot | 5 ++++- 7 files changed, 24 insertions(+), 14 deletions(-) diff --git a/configure b/configure index 7077178a..60693cdd 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-05-01. +# Generated by GNU Autoconf 2.60 for OpenAxiom 1.2.0-2008-05-07. # # 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-05-01' -PACKAGE_STRING='OpenAxiom 1.2.0-2008-05-01' +PACKAGE_VERSION='1.2.0-2008-05-07' +PACKAGE_STRING='OpenAxiom 1.2.0-2008-05-07' PACKAGE_BUGREPORT='open-axiom-bugs@lists.sf.net' ac_unique_file="src/Makefile.pamphlet" @@ -1402,7 +1402,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-05-01 to adapt to many kinds of systems. +\`configure' configures OpenAxiom 1.2.0-2008-05-07 to adapt to many kinds of systems. Usage: $0 [OPTION]... [VAR=VALUE]... @@ -1472,7 +1472,7 @@ fi if test -n "$ac_init_help"; then case $ac_init_help in - short | recursive ) echo "Configuration of OpenAxiom 1.2.0-2008-05-01:";; + short | recursive ) echo "Configuration of OpenAxiom 1.2.0-2008-05-07:";; esac cat <<\_ACEOF @@ -1576,7 +1576,7 @@ fi test -n "$ac_init_help" && exit $ac_status if $ac_init_version; then cat <<\_ACEOF -OpenAxiom configure 1.2.0-2008-05-01 +OpenAxiom configure 1.2.0-2008-05-07 generated by GNU Autoconf 2.60 Copyright (C) 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001, @@ -1590,7 +1590,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-05-01, which was +It was created by OpenAxiom $as_me 1.2.0-2008-05-07, which was generated by GNU Autoconf 2.60. Invocation command line was $ $0 $@ @@ -26078,7 +26078,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-05-01, which was +This file was extended by OpenAxiom $as_me 1.2.0-2008-05-07, which was generated by GNU Autoconf 2.60. Invocation command line was CONFIG_FILES = $CONFIG_FILES @@ -26127,7 +26127,7 @@ Report bugs to ." _ACEOF cat >>$CONFIG_STATUS <<_ACEOF ac_cs_version="\\ -OpenAxiom config.status 1.2.0-2008-05-01 +OpenAxiom config.status 1.2.0-2008-05-07 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 b6850ee5..43e91495 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-05-01], +AC_INIT([OpenAxiom], [1.2.0-2008-05-07], [open-axiom-bugs@lists.sf.net]) AC_CONFIG_AUX_DIR(config) diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet index 4db7a09b..bcf86f75 100644 --- a/configure.ac.pamphlet +++ b/configure.ac.pamphlet @@ -1108,7 +1108,7 @@ information: <>= sinclude(config/open-axiom.m4) sinclude(config/aclocal.m4) -AC_INIT([OpenAxiom], [1.2.0-2008-05-01], +AC_INIT([OpenAxiom], [1.2.0-2008-05-07], [open-axiom-bugs@lists.sf.net]) @ diff --git a/src/ChangeLog b/src/ChangeLog index 925b7244..4d4df610 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,10 @@ +2008-05-07 Gabriel Dos Reis + + * interp/types.boot (%Integer): Alias for Lisp INTEGER class. + * interp/sys-utility.boot (getVMType): Integer is represented by + %Integer. + * interp/postpar.boot (postSignature): Don't ignore constants. + 2008-05-06 Gabriel Dos Reis * interp/define.boot: Explicitly initialize fluid variables. diff --git a/src/interp/postpar.boot b/src/interp/postpar.boot index afb39ff7..15b43600 100644 --- a/src/interp/postpar.boot +++ b/src/interp/postpar.boot @@ -505,6 +505,7 @@ postSignature t == sig1:= postType sig op:= postAtom (STRINGP op => INTERN op; op) ["SIGNATURE",op,:removeSuperfluousMapping killColons sig1] + ["SIGNATURE",postAtom op,:postType ["->","constant",sig]] killColons: %ParseTree -> %ParseForm killColons x == diff --git a/src/interp/sys-utility.boot b/src/interp/sys-utility.boot index fa14650e..0c1d62e0 100644 --- a/src/interp/sys-utility.boot +++ b/src/interp/sys-utility.boot @@ -51,7 +51,7 @@ getVMType d == Byte => "%Byte" Character => "%Char" SingleInteger => "%Short" --- Integer => "%Bignum" + Integer => "%Integer" String => "%String" List => "%List" Vector => ["%Vector",getVMType second d'] @@ -59,7 +59,6 @@ getVMType d == Pair => "%Pair" otherwise => "%Thing" -- good enough, for now. - --% setDynamicBinding: (%Symbol,%Thing) -> %Thing diff --git a/src/interp/types.boot b/src/interp/types.boot index 06b8b9b8..72db77ab 100644 --- a/src/interp/types.boot +++ b/src/interp/types.boot @@ -60,6 +60,9 @@ import boot_-pkg %Bignum <=> BIGNUM +%Integer <=> + INTEGER + ++ Type of single precision floating point numbers. Most of the ++ time, this is a 32-bit datatype. %SingleFloat <=> @@ -114,7 +117,7 @@ import boot_-pkg cons(%Code,cons(%Mode,cons(%Env,null))) %Signature -- signature - <=> cons + <=> %Symbol or cons %Modemap <=> %List -- modemap -- cgit v1.2.3