summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2016-12-31 14:27:55 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2016-12-31 14:27:55 -0500
commit245eb671d45ceda8715b8850c7a5c4540da685fa (patch)
tree12f8e72a97048b4ddb531d615eb045e4f573b8a2 /tests
parentd5ae848de34109b66d2ec45fd6c0ac5a06149a68 (diff)
Allow qualified variable references in record literals
Diffstat (limited to 'tests')
-rw-r--r--tests/qualrecord.ur7
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/qualrecord.ur b/tests/qualrecord.ur
new file mode 100644
index 00000000..4db64e5f
--- /dev/null
+++ b/tests/qualrecord.ur
@@ -0,0 +1,7 @@
+structure M = struct
+ con the_best_name = #Wiggles
+ con the_runner_up = #Beppo
+end
+
+val x : {M.the_best_name : int, A : int, M.the_runner_up : int} =
+ {M.the_best_name = 8, A = 9, M.the_runner_up = 10}