From 245eb671d45ceda8715b8850c7a5c4540da685fa Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 31 Dec 2016 14:27:55 -0500
Subject: Allow qualified variable references in record literals

---
 tests/qualrecord.ur | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 tests/qualrecord.ur

(limited to 'tests')

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}
-- 
cgit v1.2.3