Fix TcSimplify.decideQuantification for kind variables
[ghc.git] / testsuite / tests / ado /
drwxr-xr-x   ..
-rw-r--r-- 69 Makefile
-rw-r--r-- 237 T11607.hs
-rw-r--r-- 17 T11607.stdout
-rw-r--r-- 644 T12490.hs
-rw-r--r-- 281 T13242.hs
-rw-r--r-- 1427 ado-optimal.hs
-rw-r--r-- 21 ado-optimal.stdout
-rw-r--r-- 3070 ado001.hs
-rw-r--r-- 192 ado001.stdout
-rw-r--r-- 419 ado002.hs
-rw-r--r-- 2562 ado002.stderr
-rw-r--r-- 140 ado003.hs
-rw-r--r-- 272 ado003.stderr
-rw-r--r-- 3641 ado004.hs
-rw-r--r-- 1144 ado004.stderr
-rw-r--r-- 239 ado005.hs
-rw-r--r-- 647 ado005.stderr
-rw-r--r-- 199 ado006.hs
-rw-r--r-- 385 ado007.hs
-rw-r--r-- 462 all.T