summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-10-10 14:41:03 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2010-10-10 14:41:03 -0400
commit948aa854af8ca5560a1eea5221c4a1f3a6901970 (patch)
tree2e1c023171139b80bf24b4ec2b5a85115973e945 /tests
parentbfeac162a328dba937a28e747e4fc4006fac500c (diff)
Hopeful fix for the Great Unification Bug
Diffstat (limited to 'tests')
-rw-r--r--tests/concat.ur13
-rw-r--r--tests/concat.urp1
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