summaryrefslogtreecommitdiff
path: root/libstd/bitset.myr
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2014-02-10 23:26:32 -0500
committerOri Bernstein <ori@eigenstate.org>2014-02-10 23:26:32 -0500
commit68b18a7fba8313ad5b1d8b4c6be61e3b8b126304 (patch)
treea30c41e3637cd99fd50eefbff36cc617718fdb30 /libstd/bitset.myr
parentc158da43321893956e4be405ed04af37f86259fa (diff)
downloadmc-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.myr6
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)