summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_compile
ModeNameSize
-rw-r--r--Dep1.hs144logplain
-rw-r--r--Dep2.hs106logplain
-rw-r--r--Dep3.hs445logplain
-rw-r--r--KindEqualities.hs550logplain
-rw-r--r--KindEqualities2.hs1164logplain
-rw-r--r--KindLevels.hs145logplain
-rw-r--r--Makefile72logplain
-rw-r--r--RAE_T32b.hs867logplain
-rw-r--r--Rae31.hs832logplain
-rw-r--r--RaeBlogPost.hs1491logplain
-rw-r--r--all.T496logplain
-rw-r--r--mkGADTVars.hs187logplain