summaryrefslogtreecommitdiff
path: root/test/genericuret.myr
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2014-08-04 23:54:10 -0400
committerOri Bernstein <ori@eigenstate.org>2014-08-04 23:54:10 -0400
commit07d0605a76de266160d43c694d3378b5603a0f7a (patch)
tree229d8da71f1e61972d9cf2f5c1f69326ca74167f /test/genericuret.myr
parentb8c37ce00d060d934f58b1b01bdbbbe27dc159f0 (diff)
downloadmc-07d0605a76de266160d43c694d3378b5603a0f7a.tar.gz
Step through default types when specializing.
This means that if we have: $123 ==delayed==> foo(@a) we will specialize it to: $124 ==delayed==> foo($125) This fixes one test case for genericuret.myr
Diffstat (limited to 'test/genericuret.myr')
-rw-r--r--test/genericuret.myr10
1 files changed, 10 insertions, 0 deletions
diff --git a/test/genericuret.myr b/test/genericuret.myr
new file mode 100644
index 0000000..52d5d7e
--- /dev/null
+++ b/test/genericuret.myr
@@ -0,0 +1,10 @@
+use std
+
+generic work = {val : @a
+ -> `std.Some val
+}
+
+const main = {
+ work(123)
+ std.exit(42)
+}