From 5d51d86b0973fe6996b4b64ec78d9fc810177e02 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 10 Oct 2010 14:41:03 -0400
Subject: Hopeful fix for the Great Unification Bug

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

(limited to 'tests/concat.ur')

diff --git a/tests/concat.ur b/tests/concat.ur
new file mode 100644
index 00000000..1330a21d
--- /dev/null
+++ b/tests/concat.ur
@@ -0,0 +1,13 @@
+functor Make(M : sig
+                 con ts :: {(Type * Type)}
+                 val tab : sql_table (map fst ts) []
+                 val cols : $(map (fn p => p.2 -> string) ts)
+             end) = struct
+end
+
+table t : {A : string}
+
+open Make(struct
+              val tab = t
+              val cols = {A = fn p : {B : string, C : string} => p.B ^ p.C}
+          end)
-- 
cgit v1.2.3