Hopeful fix for the Great Unification Bug

2 files changed, 14 insertions, 0 deletions

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)
diff --git a/tests/concat.urp b/tests/concat.urp
new file mode 100644
index 00000000..442b05b4
--- /dev/null
+++ b/tests/concat.urp
@@ -0,0 +1 @@
+concat