summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-10-10 13:07:38 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2010-10-10 13:07:38 -0400
commitbfeac162a328dba937a28e747e4fc4006fac500c (patch)
tree1d0f355dec824a81d80e9e838e0cae8845f8e179 /tests
parent81934ea4c2cf2260b6000e9be4d13e328204929a (diff)
Flex kinds for type-level tuples; ::_ notation
Diffstat (limited to 'tests')
-rw-r--r--tests/ktuple.ur2
-rw-r--r--tests/ktuple.urp1
2 files changed, 3 insertions, 0 deletions
diff --git a/tests/ktuple.ur b/tests/ktuple.ur
new file mode 100644
index 00000000..040578e0
--- /dev/null
+++ b/tests/ktuple.ur
@@ -0,0 +1,2 @@
+type q = (fn p => p.1) (int, float)
+type q = (fn p => p.1 * $p.3) (int, float, [])
diff --git a/tests/ktuple.urp b/tests/ktuple.urp
new file mode 100644
index 00000000..c466588c
--- /dev/null
+++ b/tests/ktuple.urp
@@ -0,0 +1 @@
+ktuple