summaryrefslogtreecommitdiff
path: root/test/generictype.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
commitf9ecb806a895486d10772b7042355171c32eefe3 (patch)
treea30c41e3637cd99fd50eefbff36cc617718fdb30 /test/generictype.myr
parent781c8818da2791c40d21580c35afc4f2bad0760a (diff)
downloadmc-f9ecb806a895486d10772b7042355171c32eefe3.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 'test/generictype.myr')
-rw-r--r--test/generictype.myr2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/generictype.myr b/test/generictype.myr
index c19c096..f4046bf 100644
--- a/test/generictype.myr
+++ b/test/generictype.myr
@@ -2,7 +2,7 @@ use std
/* checks that parameterized types work. exits with 0. */
type option(@a) = union
- `Some @a::(tcint,tcnum,tctest)
+ `Some @a::(integral,numeric)
`None
;;