summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
Diffstat (limited to 'tests')
-rw-r--r--tests/stuff.lac2
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/stuff.lac b/tests/stuff.lac
index 076698ce..c5d5852e 100644
--- a/tests/stuff.lac
+++ b/tests/stuff.lac
@@ -8,3 +8,5 @@ con name = #MyName
con c6 = {A : c1, name : c2}
con c7 = [A = c1, name = c2]
+
+con c8 = fn t :: Type => t