diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-03-01 17:36:14 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-03-01 17:36:14 +0000 |
| commit | 69c6cffa3e09dfdf129cfd90492c7c04d6f23919 (patch) | |
| tree | 9c7d9dbb2b878d92956586796a5578ddadb7740f /src/algebra | |
| parent | 18e478cfb26865634334253465dbda7e67dd8699 (diff) | |
| download | open-axiom-69c6cffa3e09dfdf129cfd90492c7c04d6f23919.tar.gz | |
* interp/g-opt.boot (optimize): Remove non-qualified
interpretation of 'false' and 'true'.
(optCond): Emit 'NOT', not 'NULL'.
(optIF2COND): Likewise.
(EqualBarGensym): Tidy.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/boolean.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet index 836e57dd..b38ef042 100644 --- a/src/algebra/boolean.spad.pamphlet +++ b/src/algebra/boolean.spad.pamphlet @@ -523,8 +523,8 @@ KleeneTrivalentLogic(): Public == Private where ++ s case true holds if the value of `x' is `true'. Private == add Rep == Byte -- We need only 3 bits, in fact. - false == per(0::NonNegativeInteger::Byte) - unknown == per(1::NonNegativeInteger::Byte) + false == per(0::Byte) + unknown == per(1::Byte) true == per(2::Byte) x = y == rep x = rep y x case true == x = true |