diff options
author | dos-reis <gdr@axiomatics.org> | 2009-09-08 13:16:28 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-09-08 13:16:28 +0000 |
commit | 5ab1bb2721c9fdf77e6fa530523f5044b8445880 (patch) | |
tree | fb7fc8c5c0a9a73f4d7ccd486b53630f4c69ece2 /src/interp/sys-constants.boot | |
parent | 7fb7062638f05c3748a7aaace55d50cb1ac87fb0 (diff) | |
download | open-axiom-5ab1bb2721c9fdf77e6fa530523f5044b8445880.tar.gz |
* 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.
Diffstat (limited to 'src/interp/sys-constants.boot')
-rw-r--r-- | src/interp/sys-constants.boot | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/interp/sys-constants.boot b/src/interp/sys-constants.boot index 02d6d4b2..2c88a75e 100644 --- a/src/interp/sys-constants.boot +++ b/src/interp/sys-constants.boot @@ -489,6 +489,10 @@ $NoValueMode == $ExitMode == "$ExitMode" +++ A domain form for the OpenAxiom system-level pointer datatype. +$SystemPointer == + '(SystemPointer) + --% ++ Category constructor form @@ -577,6 +581,7 @@ $SystemInlinableConstructorNames == PositiveInteger _ NonNegativeInteger _ SingleInteger _ + SystemPointer _ String _ Boolean _ Identifier _ |