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.stderr207logplain
-rw-r--r--RAE_T32a.hs1183logplain
-rw-r--r--RAE_T32a.stderr663logplain
-rw-r--r--RenamingStar.hs70logplain
-rw-r--r--RenamingStar.stderr342logplain
-rw-r--r--SelfDep.hs39logplain
-rw-r--r--SelfDep.stderr162logplain
-rw-r--r--T11334.hs137logplain
-rw-r--r--T11334.stderr934logplain
-rw-r--r--T11407.hs237logplain
-rw-r--r--T11407.stderr282logplain
-rw-r--r--T11473.hs621logplain
-rw-r--r--T11473.stderr223logplain
-rw-r--r--TypeSkolEscape.hs168logplain
-rw-r--r--TypeSkolEscape.stderr259logplain
-rw-r--r--all.T712logplain