summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2017-07-29 15:14:05 -0700
committerOri Bernstein <ori@eigenstate.org>2017-07-29 15:14:05 -0700
commit2fa02e1d1d3df890d4349316389633d58c986254 (patch)
treee0a315e6e4bf2f9c3b150aca8f9d465bcdad3d70 /test
parent404ed1ddb3faa4fec7ee4fd8fddc5bbdec284bde (diff)
downloadmc-2fa02e1d1d3df890d4349316389633d58c986254.tar.gz
Finally do a by-scope comparison of generic types.
This should clear the way for better deduplication.
Diffstat (limited to 'test')
-rw-r--r--test/generictype.myr2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/generictype.myr b/test/generictype.myr
index 99915b3..68a6508 100644
--- a/test/generictype.myr
+++ b/test/generictype.myr
@@ -1,7 +1,7 @@
use std
/* checks that parameterized types work. exits with 0. */
-type option(@a) = union
+type option(@a::(integral,numeric)) = union
`Some @a::(integral,numeric)
`None
;;