diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-03-09 19:17:32 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-03-09 19:17:32 +0000 |
| commit | bcff036777b4f79aa17513849fc0e0a2ee5f9099 (patch) | |
| tree | ebc78eb2e942ad1dc5b0284bdefe3b79bcb0058a /src/algebra/boolean.spad.pamphlet | |
| parent | 010633b20de9643ac34409552bbbb4366038ecf7 (diff) | |
| download | open-axiom-bcff036777b4f79aa17513849fc0e0a2ee5f9099.tar.gz | |
* interp/g-opt.boot: %pair, %list, %vector, %bitvector are now
considered side-effect free functions.
* algebra/boolean.spad.pamphlet: Reflect change.
* algebra/Makefile.in (oa_strap_0_sources): Include MAYBE.
Diffstat (limited to 'src/algebra/boolean.spad.pamphlet')
| -rw-r--r-- | src/algebra/boolean.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet index 1b5f5ce8..4112797e 100644 --- a/src/algebra/boolean.spad.pamphlet +++ b/src/algebra/boolean.spad.pamphlet @@ -564,7 +564,7 @@ IndexedBits(mn:Integer): BitAggregate() with import %bitvecand: (%,%) -> % from Foreign Builtin import %bitvecor: (%,%) -> % from Foreign Builtin import %bitvecxor: (%,%) -> % from Foreign Builtin - import %makebitvec: (NonNegativeInteger,NonNegativeInteger) -> % + import %bitvector: (NonNegativeInteger,NonNegativeInteger) -> % from Foreign Builtin minIndex u == mn @@ -582,8 +582,8 @@ IndexedBits(mn:Integer): BitAggregate() with s.i := if v.j then t else f s::OutputForm - new(n, b) == %makebitvec(n, %2bit(b)$Foreign(Builtin)) - empty() == %makebitvec(0,0) + new(n, b) == %bitvector(n, %2bit(b)$Foreign(Builtin)) + empty() == %bitvector(0,0) copy v == %bitveccopy v #v == %bitveclength v v = u == %bitveceq(v,u) |