diff options
author | dos-reis <gdr@axiomatics.org> | 2009-03-26 14:06:40 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-03-26 14:06:40 +0000 |
commit | 6cb0dc4a2050e8191f61e42a365ec77dd9a3e051 (patch) | |
tree | a0f34f766daad36295110038a91b5acdb0a2bdfd /src/algebra | |
parent | bec1b2699335ba5795cfe36de4f899c8d9567d6d (diff) | |
download | open-axiom-6cb0dc4a2050e8191f61e42a365ec77dd9a3e051.tar.gz |
* 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.
Diffstat (limited to 'src/algebra')
-rw-r--r-- | src/algebra/Makefile.in | 3 | ||||
-rw-r--r-- | src/algebra/Makefile.pamphlet | 3 | ||||
-rw-r--r-- | src/algebra/data.spad.pamphlet | 24 |
3 files changed, 28 insertions, 2 deletions
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} |