summaryrefslogtreecommitdiff
path: root/test/union.myr
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2012-06-25 20:31:07 -0400
committerOri Bernstein <ori@eigenstate.org>2012-06-25 20:31:07 -0400
commite73472e0a7547ca2d9204f6019d9068fec4bd5b8 (patch)
tree9704bd5ad5f73254ecc7beb9a34950e66af1ea0c /test/union.myr
parente91825e9e811a55a5d7fb72505f56cd0f32b4b4f (diff)
downloadmc-e73472e0a7547ca2d9204f6019d9068fec4bd5b8.tar.gz
Allow nullary union constructors.
Diffstat (limited to 'test/union.myr')
-rw-r--r--test/union.myr10
1 files changed, 10 insertions, 0 deletions
diff --git a/test/union.myr b/test/union.myr
new file mode 100644
index 0000000..1525a70
--- /dev/null
+++ b/test/union.myr
@@ -0,0 +1,10 @@
+type u = union
+ `Some int
+ `None
+;;
+
+const main = {
+ var v : u
+
+ v = `None
+}