diff options
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/Makefile.in | 4 | ||||
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 4 | ||||
| -rw-r--r-- | src/algebra/any.spad.pamphlet | 20 |
3 files changed, 26 insertions, 2 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 2d28c0e7..b0fb0954 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -318,6 +318,7 @@ $(OUT)/IOMODE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/REF.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/IDENT.$(FASLEXT) $(OUT)/PRINT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/RTVALUE.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) axiom_algebra_layer_0 = \ AHYP ATTREG CFCAT ELTAB KOERCE KONVERT \ @@ -343,7 +344,8 @@ axiom_algebra_layer_0 = \ TBAGG TBAGG- KDAGG KDAGG- DIAGG DIAGG- \ DIOPS DIOPS- STRING STRICAT ISTRING ILIST \ LIST \ - LINEXP PATMAB REAL CHARZ LOGIC LOGIC- + LINEXP PATMAB REAL CHARZ LOGIC LOGIC- \ + RTVALUE axiom_algebra_layer_0_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_0)) diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 32cf09ed..2d4d39d6 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -272,6 +272,7 @@ $(OUT)/IOMODE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/REF.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/IDENT.$(FASLEXT) $(OUT)/PRINT.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) +$(OUT)/RTVALUE.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) axiom_algebra_layer_0 = \ AHYP ATTREG CFCAT ELTAB KOERCE KONVERT \ @@ -297,7 +298,8 @@ axiom_algebra_layer_0 = \ TBAGG TBAGG- KDAGG KDAGG- DIAGG DIAGG- \ DIOPS DIOPS- STRING STRICAT ISTRING ILIST \ LIST \ - LINEXP PATMAB REAL CHARZ LOGIC LOGIC- + LINEXP PATMAB REAL CHARZ LOGIC LOGIC- \ + RTVALUE axiom_algebra_layer_0_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_0)) 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>> |