summaryrefslogtreecommitdiff
path: root/test/generictype.myr
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2013-08-09 15:17:11 -0400
committerOri Bernstein <ori@eigenstate.org>2013-08-09 15:17:11 -0400
commitc467f9fe9095a0c0ebe519d8efbe0931c4232f7c (patch)
tree3f39952b8672cd461dbbe4b50bdb7c0c7ad15809 /test/generictype.myr
parent7a3948fed02a9d985d940268d80372b18668d355 (diff)
downloadmc-c467f9fe9095a0c0ebe519d8efbe0931c4232f7c.tar.gz
Add generic type test.
Diffstat (limited to 'test/generictype.myr')
-rw-r--r--test/generictype.myr4
1 files changed, 3 insertions, 1 deletions
diff --git a/test/generictype.myr b/test/generictype.myr
index e203eaf..4b9c696 100644
--- a/test/generictype.myr
+++ b/test/generictype.myr
@@ -1,6 +1,8 @@
+use std
+
/* checks that parameterized types work. exits with 0. */
type option(@a) = union
- `Some @a
+ `Some @a::(tcint,tcnum,tctest)
`None
;;