diff options
author | dos-reis <gdr@axiomatics.org> | 2011-01-03 02:45:16 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-01-03 02:45:16 +0000 |
commit | 102fe7a6693f1aa8282890b25d634079ddc86e13 (patch) | |
tree | cb96e44f1a80f89701944df07665e0ae7225c43b /src/interp/types.boot | |
parent | 2b2ae9894f66dba65af62fb08b9d79b2aee2a2a8 (diff) | |
download | open-axiom-102fe7a6693f1aa8282890b25d634079ddc86e13.tar.gz |
* interp/g-util.boot: Expand new bit vector operators.
* interp/g-opt.boot (opt2bit): New.
(opt2bool): Likewise.
* interp/bits.lisp (BVEC-SIZE): Remove.
(BVEC-COPY): Likewise.
(BVEC-CONCAT): Likewise.
(BVEC-EQUAL): Likewise.
(BVEC-AND): Likewise.
(BVEC-OR): Likewise.
(BVEC-XOR): Likewise.
(BVEC-NAND): Likewise.
(BVEC-NOR): Likewise.
(BVEC-NOT): Likewise.
* algebra/boolean.spad.pamphlet (IndexedBits): Remove uses of
Lisp-level functions.
Diffstat (limited to 'src/interp/types.boot')
-rw-r--r-- | src/interp/types.boot | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/interp/types.boot b/src/interp/types.boot index 60139497..6022a5cb 100644 --- a/src/interp/types.boot +++ b/src/interp/types.boot @@ -52,6 +52,10 @@ namespace BOOT %Boolean <=> BOOLEAN +++ Type of a bit value. +%Bit <=> + BIT + ++ Type of 8-bit sized unsigned integer values. %Byte <=> UNSIGNED_-BYTE 8 @@ -115,6 +119,8 @@ namespace BOOT %Vector a <=> VECTOR a +%BitVector <=> %Vector %Bit + %Thing <=> true %Sequence <=> SEQUENCE |