diff options
author | dos-reis <gdr@axiomatics.org> | 2009-04-23 06:24:08 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-04-23 06:24:08 +0000 |
commit | 461221b5ee886e30778b65765aaaedf4e0b76c36 (patch) | |
tree | 3612fad67322edc40521e6e25fd8874c989fe3ba /src/algebra/strap/BOOLEAN.lsp | |
parent | 1db4bd76938d5901b39cb516327a054c1aa0fdec (diff) | |
download | open-axiom-461221b5ee886e30778b65765aaaedf4e0b76c36.tar.gz |
* interp/compiler.boot ($IOFormDomains): New.
(compAtom): Allow implicit coercion to IO forms for values of
fundamental types.
(compSymbol): Likewise.
(compQuote): Likewise.
* algebra/aggcat.spad.pamphlet (coerce$BinaryRecursiveAggregate):
Don't hard code empty bracket.
Diffstat (limited to 'src/algebra/strap/BOOLEAN.lsp')
-rw-r--r-- | src/algebra/strap/BOOLEAN.lsp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp index 9241d5a1..2ca05a21 100644 --- a/src/algebra/strap/BOOLEAN.lsp +++ b/src/algebra/strap/BOOLEAN.lsp @@ -201,8 +201,8 @@ |BOOLEAN;size;Nni;18| (|Integer|) (8 . |even?|) (|PositiveInteger|) |BOOLEAN;index;Pi$;19| (13 . |One|) |BOOLEAN;lookup;$Pi;20| (17 . |random|) - |BOOLEAN;random;$;21| (|Symbol|) (|InputForm|) - (21 . |convert|) |BOOLEAN;convert;$If;22| (|OutputForm|) + |BOOLEAN;random;$;21| (|OutputForm|) (|InputForm|) + (21 . |convert|) |BOOLEAN;convert;$If;22| (|Symbol|) (26 . |outputForm|) |BOOLEAN;coerce;$Of;23| (|String|) (|SingleInteger|)) '#(~= 31 ~ 37 |xor| 42 |true| 48 |test| 52 |size| 57 |random| @@ -219,10 +219,10 @@ (|PropositionalLogic|) (|Finite|) (|Logic|) (|SetCategory|) (|ConvertibleTo| 36) (|BasicType|) - (|CoercibleTo| 39)) + (|CoercibleTo| 35)) (|makeByteWordVec2| 43 '(0 10 0 11 0 10 0 12 1 27 10 0 28 0 29 - 0 31 0 27 0 33 1 36 0 35 37 1 39 0 35 + 0 31 0 27 0 33 1 36 0 35 37 1 35 0 39 40 2 0 10 0 0 1 1 0 0 0 13 2 0 0 0 0 18 0 0 0 7 1 0 0 0 6 0 0 25 26 0 0 0 34 2 0 0 0 0 16 1 0 0 0 9 2 0 0 0 0 @@ -230,7 +230,7 @@ 0 0 1 2 0 0 0 0 1 1 0 29 0 32 1 0 42 0 1 1 0 0 29 30 2 0 0 0 0 22 1 0 43 0 1 0 0 0 8 2 0 0 0 0 23 1 0 36 0 38 1 - 0 39 0 41 2 0 0 0 0 14 2 0 0 0 0 17 2 + 0 35 0 41 2 0 0 0 0 14 2 0 0 0 0 17 2 0 10 0 0 1 2 0 10 0 0 1 2 0 10 0 0 21 2 0 10 0 0 1 2 0 10 0 0 24 2 0 0 0 0 15))))) |