summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_fail
ModeNameSize
-rw-r--r--BadTelescope.hs144logplain
-rw-r--r--BadTelescope.stderr378logplain
-rw-r--r--BadTelescope2.hs284logplain
-rw-r--r--BadTelescope2.stderr649logplain
-rw-r--r--BadTelescope3.hs156logplain
-rw-r--r--BadTelescope3.stderr231logplain
-rw-r--r--BadTelescope4.hs379logplain
-rw-r--r--BadTelescope4.stderr536logplain
-rw-r--r--DepFail1.hs128logplain
-rw-r--r--DepFail1.stderr419logplain
-rw-r--r--InferDependency.hs113logplain
-rw-r--r--InferDependency.stderr274logplain
-rw-r--r--KindLevelsB.hs145logplain
-rw-r--r--KindLevelsB.stderr179logplain
-rw-r--r--Makefile74logplain
-rw-r--r--PromotedClass.hs165logplain
-rw-r--r--PromotedClass.stderr209logplain
-rw-r--r--RAE_T32a.hs1183logplain
-rw-r--r--RAE_T32a.stderr665logplain
-rw-r--r--RenamingStar.hs70logplain
-rw-r--r--RenamingStar.stderr342logplain
-rw-r--r--SelfDep.hs39logplain
-rw-r--r--SelfDep.stderr162logplain
-rw-r--r--T11334b.hs138logplain
-rw-r--r--T11334b.stderr946logplain
-rw-r--r--T11407.hs237logplain
-rw-r--r--T11407.stderr282logplain
-rw-r--r--T11471.hs234logplain
-rw-r--r--T11471.stderr838logplain
-rw-r--r--T11473.hs621logplain
-rw-r--r--T11473.stderr142logplain
-rw-r--r--T12081.hs133logplain
-rw-r--r--T12081.stderr256logplain
-rw-r--r--T12174.hs232logplain
-rw-r--r--T12174.stderr262logplain
-rw-r--r--T13135.hs3495logplain
-rw-r--r--T13135.stderr293logplain
-rw-r--r--TypeSkolEscape.hs168logplain
-rw-r--r--TypeSkolEscape.stderr240logplain
-rw-r--r--all.T885logplain