Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / dependent / should_fail /
drwxr-xr-x   ..
-rw-r--r-- 144 BadTelescope.hs
-rw-r--r-- 378 BadTelescope.stderr
-rw-r--r-- 284 BadTelescope2.hs
-rw-r--r-- 649 BadTelescope2.stderr
-rw-r--r-- 156 BadTelescope3.hs
-rw-r--r-- 231 BadTelescope3.stderr
-rw-r--r-- 379 BadTelescope4.hs
-rw-r--r-- 536 BadTelescope4.stderr
-rw-r--r-- 128 DepFail1.hs
-rw-r--r-- 419 DepFail1.stderr
-rw-r--r-- 113 InferDependency.hs
-rw-r--r-- 274 InferDependency.stderr
-rw-r--r-- 145 KindLevelsB.hs
-rw-r--r-- 179 KindLevelsB.stderr
-rw-r--r-- 74 Makefile
-rw-r--r-- 165 PromotedClass.hs
-rw-r--r-- 209 PromotedClass.stderr
-rw-r--r-- 1183 RAE_T32a.hs
-rw-r--r-- 665 RAE_T32a.stderr
-rw-r--r-- 70 RenamingStar.hs
-rw-r--r-- 342 RenamingStar.stderr
-rw-r--r-- 39 SelfDep.hs
-rw-r--r-- 162 SelfDep.stderr
-rw-r--r-- 138 T11334b.hs
-rw-r--r-- 946 T11334b.stderr
-rw-r--r-- 237 T11407.hs
-rw-r--r-- 282 T11407.stderr
-rw-r--r-- 255 T11471.hs
-rw-r--r-- 911 T11471.stderr
-rw-r--r-- 621 T11473.hs
-rw-r--r-- 142 T11473.stderr
-rw-r--r-- 133 T12081.hs
-rw-r--r-- 256 T12081.stderr
-rw-r--r-- 232 T12174.hs
-rw-r--r-- 262 T12174.stderr
-rw-r--r-- 3495 T13135.hs
-rw-r--r-- 293 T13135.stderr
-rw-r--r-- 168 TypeSkolEscape.hs
-rw-r--r-- 240 TypeSkolEscape.stderr
-rw-r--r-- 899 all.T