summaryrefslogtreecommitdiff
path: root/tests/concat.ur
diff options
context:
space:
mode:
Diffstat (limited to 'tests/concat.ur')
-rw-r--r--tests/concat.ur13
1 files changed, 13 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)