From 6cb0dc4a2050e8191f61e42a365ec77dd9a3e051 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 26 Mar 2009 14:06:40 +0000
Subject: 	* 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.

---
 src/algebra/Makefile.in        |  3 ++-
 src/algebra/Makefile.pamphlet  |  3 ++-
 src/algebra/data.spad.pamphlet | 24 ++++++++++++++++++++++++
 3 files changed, 28 insertions(+), 2 deletions(-)

(limited to 'src/algebra')

diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in
index b42c5f9f..d50d9098 100644
--- a/src/algebra/Makefile.in
+++ b/src/algebra/Makefile.in
@@ -378,7 +378,8 @@ axiom_algebra_layer_6_objects = \
 axiom_algebra_layer_7 = \
   BTCAT   BTCAT-  LNAGG    LNAGG-   FMCAT   IDPOAM   \
   IFAMON  GRALG   GRALG-   FLAGG    FLAGG-           \
-  INT8    INT16   INT32    UINT8    UINT16  UINT32 
+  INT8    INT16   INT32    INT64    UINT8   UINT16   \
+  UINT32  UINT64
 
 axiom_algebra_layer_7_nrlibs = \
 	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_7))
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index 85249ac1..42aa4dd1 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -410,7 +410,8 @@ axiom_algebra_layer_6_objects = \
 axiom_algebra_layer_7 = \
   BTCAT   BTCAT-  LNAGG    LNAGG-   FMCAT   IDPOAM   \
   IFAMON  GRALG   GRALG-   FLAGG    FLAGG-           \
-  INT8    INT16   INT32    UINT8    UINT16  UINT32 
+  INT8    INT16   INT32    INT64    UINT8   UINT16   \
+  UINT32  UINT64
 
 axiom_algebra_layer_7_nrlibs = \
 	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_7))
diff --git a/src/algebra/data.spad.pamphlet b/src/algebra/data.spad.pamphlet
index eb69372a..2760df04 100644
--- a/src/algebra/data.spad.pamphlet
+++ b/src/algebra/data.spad.pamphlet
@@ -140,6 +140,18 @@ Int32() == SystemInteger 32
 
 @
 
+<<domain INT64 Int64>>=
+)abbrev domain INT64 Int64
+++ Author: Gabriel Dos Reis
+++ Date Created: March 25, 2009
+++ Date Last Modified: March 25, 2009
+++ Description:
+++   This domain is a datatype for (signed) integer values
+++   of precision 64 bits.
+Int64() == SystemInteger 64
+
+@
+
 
 <<domain SYSNNI SystemNonNegativeInteger>>=
 )abbrev domain SYSNNI SystemNonNegativeInteger
@@ -208,6 +220,18 @@ UInt32() == SystemNonNegativeInteger 32
 
 @
 
+<<domain UINT64 UInt64>>=
+)abbrev domain UINT64 UInt64
+++ Author: Gabriel Dos Reis
+++ Date Created: March 25, 2009
+++ Date Last Modified: March 25, 2009
+++ Description:
+++   This domain is a datatype for (unsigned) integer values
+++   of precision 64 bits.
+UInt64() == SystemNonNegativeInteger 64
+
+@
+
 
 \section{The ByteBuffer domain}
 
-- 
cgit v1.2.3