From 5ab1bb2721c9fdf77e6fa530523f5044b8445880 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 8 Sep 2009 13:16:28 +0000
Subject: 	* boot/ast.boot: Support "pointer" as simple datatype. 	*
 interp/compiler.boot (getBasicFFIType): SystemPointer is an FFI type. 	*
 algebra/data.spad.pamphlet (SystemPointer): New. 	*
 algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include SYSPTR.

---
 src/algebra/data.spad.pamphlet | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

(limited to 'src/algebra/data.spad.pamphlet')

diff --git a/src/algebra/data.spad.pamphlet b/src/algebra/data.spad.pamphlet
index 95feee21..2d84ac59 100644
--- a/src/algebra/data.spad.pamphlet
+++ b/src/algebra/data.spad.pamphlet
@@ -235,6 +235,22 @@ UInt64() == SystemNonNegativeInteger 64
 
 @
 
+\section{System-level Pointer Datatype.}
+
+<<domain SYSPTR SystemPointer>>=
+)abbrev domain SYSPTR SystemPointer
+++ Author: Gabriel Dos Reis
+++ Date Created: September 8, 2009
+++ Date Last Modified: September 8, 2009
+++ Description:
+++   This domain is a datatype system-level pointer values.
+SystemPointer(): SetCategory
+  == add
+    x = y == EQL(x,y)$Foreign(Builtin)
+    coerce(x:%): OutputForm ==
+      FORMAT(NIL$Foreign(Builtin),"~A",x)$Foreign(Builtin)
+@
+
 
 \section{The ByteBuffer domain}
 
@@ -432,6 +448,8 @@ DataArray(N: PositiveInteger, T: SetCategory): Public == Private where
 <<domain UINT32 UInt32>>
 <<domain UINT64 UInt64>>
 
+<<domain SYSPTR SystemPointer>>
+
 @
 
 \end{document}
-- 
cgit v1.2.3