diff options
author | Ori Bernstein <ori@eigenstate.org> | 2014-02-10 23:26:32 -0500 |
---|---|---|
committer | Ori Bernstein <ori@eigenstate.org> | 2014-02-10 23:26:32 -0500 |
commit | 68b18a7fba8313ad5b1d8b4c6be61e3b8b126304 (patch) | |
tree | a30c41e3637cd99fd50eefbff36cc617718fdb30 /libstd/bitset.myr | |
parent | c158da43321893956e4be405ed04af37f86259fa (diff) | |
download | mc-68b18a7fba8313ad5b1d8b4c6be61e3b8b126304.tar.gz |
Do some sanitization on traits.
- Remove tctest: all tests now take a boolean.
- Rename traits to more sensible names:
tcnum => numeric
tcint => integral
tcfloat => floating
tcidx => indexable
tcslice => sliceable
- Remove duplicate trait setting.
We were setting traits twice in some places, adding
ones that didn't belong, which was making pointers look
indexable.
Diffstat (limited to 'libstd/bitset.myr')
-rw-r--r-- | libstd/bitset.myr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/libstd/bitset.myr b/libstd/bitset.myr index f022880..ec5df50 100644 --- a/libstd/bitset.myr +++ b/libstd/bitset.myr @@ -13,9 +13,9 @@ pkg std = const bsdup : (bs : bitset# -> bitset#) const bsfree : (bs : bitset# -> void) - generic bsput : (bs : bitset#, v : @a::(tcint,tctest,tcnum) -> void) - generic bsdel : (bs : bitset#, v : @a::(tcint,tctest,tcnum) -> void) - generic bshas : (bs : bitset#, v : @a::(tcint,tctest,tcnum) -> bool) + generic bsput : (bs : bitset#, v : @a::(integral,numeric) -> void) + generic bsdel : (bs : bitset#, v : @a::(integral,numeric) -> void) + generic bshas : (bs : bitset#, v : @a::(integral,numeric) -> bool) const bsdiff : (a : bitset#, b : bitset# -> void) const bsintersect : (a : bitset#, b : bitset# -> void) |