summaryrefslogtreecommitdiff
path: root/tests/wackyunif.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-08-01 16:11:36 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2014-08-01 16:11:36 -0400
commitee4ec02054d2ec9c07cb2d0e0350f0d0cfd253a9 (patch)
tree7281677ddfd7ec7ed6a2d15dbcb3623dd7c548c9 /tests/wackyunif.ur
parentb6d4f55981faff6ca7fa8b890c22ff4f33302ef2 (diff)
When unifying constructor-level unification variables, also unify their kinds
Diffstat (limited to 'tests/wackyunif.ur')
-rw-r--r--tests/wackyunif.ur2
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/wackyunif.ur b/tests/wackyunif.ur
new file mode 100644
index 00000000..2a215e69
--- /dev/null
+++ b/tests/wackyunif.ur
@@ -0,0 +1,2 @@
+val concatX [ctx] [use] : _ -> _ ctx use _ =
+ List.foldl join <xml/>