aboutsummaryrefslogtreecommitdiff
path: root/tests/run/HLists-nonvariant.check
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2017-02-28 17:22:54 +0100
committerMartin Odersky <odersky@gmail.com>2017-02-28 19:34:42 +0100
commitf7a50713a3d9fb7a1a4d70e53b037dd7b8bc2d2b (patch)
tree23253e2559e0d2044ccf96bf10352d0fae335464 /tests/run/HLists-nonvariant.check
parent76d9748d52360462a7bf7d1a04811f26a310be38 (diff)
downloaddotty-f7a50713a3d9fb7a1a4d70e53b037dd7b8bc2d2b.tar.gz
dotty-f7a50713a3d9fb7a1a4d70e53b037dd7b8bc2d2b.tar.bz2
dotty-f7a50713a3d9fb7a1a4d70e53b037dd7b8bc2d2b.zip
Add non-variant version of HLists for completeness
Variance changes quite a few things for type inference, so it's good to check a non-variant version as well.
Diffstat (limited to 'tests/run/HLists-nonvariant.check')
-rw-r--r--tests/run/HLists-nonvariant.check8
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/run/HLists-nonvariant.check b/tests/run/HLists-nonvariant.check
new file mode 100644
index 000000000..53efe30d7
--- /dev/null
+++ b/tests/run/HLists-nonvariant.check
@@ -0,0 +1,8 @@
+1
+A
+true
+true
+HCons(1,HCons(A,HCons(true,HNil)))
+1
+A
+true