Merge branch 'upstream' into dfsg_clean20170105+dfsg

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}