diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-14 15:55:16 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-14 15:55:16 +0000 |
| commit | b577f3615e65146f1efaa37d18ff3abfbe215695 (patch) | |
| tree | ece48f2ccdc1cb8181ee29d97cd2acc4d3ccabab /src/algebra/any.spad.pamphlet | |
| parent | cdb5cbfed6119715bb5871256007e15bd2d212c5 (diff) | |
| download | open-axiom-b577f3615e65146f1efaa37d18ff3abfbe215695.tar.gz | |
* algebra/any.spad.pamphlet (RuntimeValue): New domain.
* algebra/Makefile.pamphlet ($(OUT)/RTVALUE.$(FASLEXT)): New rule.
Diffstat (limited to 'src/algebra/any.spad.pamphlet')
| -rw-r--r-- | src/algebra/any.spad.pamphlet | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/algebra/any.spad.pamphlet b/src/algebra/any.spad.pamphlet index 7305b809..2039f38c 100644 --- a/src/algebra/any.spad.pamphlet +++ b/src/algebra/any.spad.pamphlet @@ -38,6 +38,25 @@ None():SetCategory == add @ +\section{domain RTVALUE RuntimeValue} + +<<domain RTVALUE RuntimeValue>>= +)abbrev domain RTVALUE RuntimeValue +++ Author: Gabriel Dos Reis +++ Date Created: May 14, 2009 +++ Date Last Changed: May 14, 2009 +++ Description: +++ This is the datatype of OpenAxiom runtime values. It exists +++ solely for internal purposes. +RuntimeValue(): Type with + eq: (%,%) -> Boolean + ++ \spad{eq(x,y)} holds if both values \spad{x} and \spad{y} + ++ resides at the same address in memory. + == add + eq(x,y) == EQ(x,y)$Foreign(Builtin) +@ + + \section{The Maybe domain} <<domain MAYBE Maybe>>= @@ -556,6 +575,7 @@ Environment(): Public == Private where -- may be Any. <<domain NONE None>> +<<domain RTVALUE RuntimeValue>> <<domain MAYBE Maybe>> <<package NONE1 NoneFunctions1>> <<domain ANY Any>> |