aboutsummaryrefslogtreecommitdiff
path: root/src/boot
diff options
context:
space:
mode:
Diffstat (limited to 'src/boot')
-rw-r--r--src/boot/ast.boot25
1 files changed, 21 insertions, 4 deletions
diff --git a/src/boot/ast.boot b/src/boot/ast.boot
index 9f799a2e..d1a70f11 100644
--- a/src/boot/ast.boot
+++ b/src/boot/ast.boot
@@ -1233,11 +1233,11 @@ genTypeAlias(head,body) ==
-- and GCL seems to give that guarantee at the moment.
--
-- float: single precision datatype for floating poing values.
--- float32: Corresponds to C type 'float'. On most architecture,
+-- float32 Corresponds to C type 'float'. On most architecture,
-- this is a 32-bit precision IEEE 756 data type.
--
-- double: double precision datatype for floating point values.
--- double32 Corresponds to C type 'double'. On most architecture,
+-- float64 Corresponds to C type 'double'. On most architecture,
-- this is a 64-bit precision IEEE 756 data type.
--
-- string: a data type for strings of characters. The general
@@ -1265,9 +1265,16 @@ genTypeAlias(head,body) ==
-- and `double'. It cannot be used as function return type.
-- Note that the length of the array is not stored as
-- part of the data being transmitted.
+--
+-- pointer: A data type constructor for pointer to simple data
+-- This is used to communicate pointer to foreign data
+-- between native functions and OpenAxiom functions.
+-- The `buffer' type constructor must be used in
+-- conjunction with one of the modifiers `readonly',
+-- `writeonly', or `readwrite'.
$NativeSimpleDataTypes ==
- '(char byte int
+ '(char byte int
int8 uint8
int16 uint16
int32 uint32
@@ -1349,6 +1356,8 @@ nativeType t ==
%hasFeature KEYWORD::ECL and %hasFeature KEYWORD::UINT64_-T =>
KEYWORD::UINT64_-T
unknownNativeTypeError t
+ t = "float32" => nativeType "float"
+ t = "float64" => nativeType "double"
unknownNativeTypeError t
-- composite, reference type.
first t = "buffer" =>
@@ -1357,6 +1366,12 @@ nativeType t ==
%hasFeature KEYWORD::SBCL => ["*",nativeType second t]
%hasFeature KEYWORD::CLISP => bfColonColon("FFI","C-POINTER")
unknownNativeTypeError t
+ first t = "buffer" =>
+ %hasFeature KEYWORD::GCL => "fixnum"
+ %hasFeature KEYWORD::ECL => KEYWORD::OBJECT
+ %hasFeature KEYWORD::SBCL => ["*",nativeType second t]
+ %hasFeature KEYWORD::CLISP => bfColonColon("FFI","C-POINTER")
+ unknownNativeTypeError t
unknownNativeTypeError t
@@ -1438,11 +1453,13 @@ genGCLnativeTranslation(op,s,t,op') ==
x in $NativeSimpleDataTypes => SYMBOL_-NAME x
x = "void" => '"void"
x = "string" => '"char*"
+ x is [.,["pointer",.]] => "fixnum"
'"object"
gclArgInC(x,a) ==
x in $NativeSimpleDataTypes => a
x = "string" => a -- GCL takes responsability for the conversion
- [.,[.,y]] := x
+ [.,[c,y]] := x
+ c = "pointer" => a
y = "char" => strconc(a,'"->st.st__self")
y = "byte" => strconc(a,'"->ust.ust__self")
y = "int" => strconc(a,'"->fixa.fixa__self")