summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-01-26 16:44:39 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-01-26 16:44:39 -0500
commit53109d697cd8ff1aa7e4b8c41f3bd71dd2671fc0 (patch)
tree0da23cead212d30f6066b38f5a13b7fdfb3e0a15 /tests
parente7e2ffc58a4f120801ae69217032948e511af213 (diff)
Check for leftover kind unifs
Diffstat (limited to 'tests')
-rw-r--r--tests/stuff.lac3
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/stuff.lac b/tests/stuff.lac
index c5d5852e..fe692eec 100644
--- a/tests/stuff.lac
+++ b/tests/stuff.lac
@@ -10,3 +10,6 @@ con c6 = {A : c1, name : c2}
con c7 = [A = c1, name = c2]
con c8 = fn t :: Type => t
+
+con c9 = {}
+con c10 = ([]) :: {Type}