Add kind equalities to GHC.
[ghc.git] / testsuite / tests / indexed-types / should_fail /
drwxr-xr-x   ..
-rw-r--r-- 1414 BadSock.hs
-rw-r--r-- 216 BadSock.stderr
-rw-r--r-- 243 ClosedFam3.hs
-rw-r--r-- 224 ClosedFam3.hs-boot
-rw-r--r-- 1313 ClosedFam3.stderr
-rw-r--r-- 59 ClosedFam3a.hs
-rw-r--r-- 83 ClosedFam4.hs
-rw-r--r-- 147 ClosedFam4.stderr
-rw-r--r-- 140 DerivUnsatFam.hs
-rw-r--r-- 180 DerivUnsatFam.stderr
-rw-r--r-- 1491 ExtraTcsUntch.hs
-rw-r--r-- 785 ExtraTcsUntch.stderr
-rw-r--r-- 678 GADTwrong1.hs
-rw-r--r-- 629 GADTwrong1.stderr
-rw-r--r-- 477 Makefile
-rw-r--r-- 104 NoGood.hs
-rw-r--r-- 160 NoGood.stderr
-rw-r--r-- 517 NoMatchErr.hs
-rw-r--r-- 461 NoMatchErr.stderr
-rw-r--r-- 147 NonLinearSigErr.hs
-rw-r--r-- 0 NonLinearSigErr.stderr
-rw-r--r-- 218 NotRelaxedExamples.hs
-rw-r--r-- 656 NotRelaxedExamples.stderr
-rw-r--r-- 373 Over.stderr
-rw-r--r-- 104 OverA.hs
-rw-r--r-- 142 OverB.hs
-rw-r--r-- 144 OverC.hs
-rw-r--r-- 45 OverD.hs
-rw-r--r-- 141 Overlap10.hs
-rw-r--r-- 295 Overlap10.stderr
-rw-r--r-- 145 Overlap11.hs
-rw-r--r-- 302 Overlap11.stderr
-rw-r--r-- 357 Overlap15.hs
-rw-r--r-- 280 Overlap15.stderr
-rw-r--r-- 198 Overlap3.hs
-rw-r--r-- 114 Overlap3.stderr
-rw-r--r-- 115 Overlap4.hs
-rw-r--r-- 184 Overlap4.stderr
-rw-r--r-- 133 Overlap5.hs
-rw-r--r-- 151 Overlap5.stderr
-rw-r--r-- 306 Overlap6.hs
-rw-r--r-- 555 Overlap6.stderr
-rw-r--r-- 138 Overlap7.hs
-rw-r--r-- 114 Overlap7.stderr
-rw-r--r-- 155 Overlap9.hs
-rw-r--r-- 301 Overlap9.stderr
-rw-r--r-- 247 SimpleFail10.hs
-rw-r--r-- 0 SimpleFail10.stderr
-rw-r--r-- 293 SimpleFail11a.hs
-rw-r--r-- 391 SimpleFail11a.stderr
-rw-r--r-- 451 SimpleFail11b.hs
-rw-r--r-- 396 SimpleFail11b.stderr
-rw-r--r-- 551 SimpleFail11c.hs
-rw-r--r-- 399 SimpleFail11c.stderr
-rw-r--r-- 264 SimpleFail11d.hs
-rw-r--r-- 208 SimpleFail11d.stderr
-rw-r--r-- 163 SimpleFail12.hs
-rw-r--r-- 131 SimpleFail12.stderr
-rw-r--r-- 282 SimpleFail13.hs
-rw-r--r-- 270 SimpleFail13.stderr
-rw-r--r-- 74 SimpleFail14.hs
-rw-r--r-- 223 SimpleFail14.stderr
-rw-r--r-- 105 SimpleFail15.hs
-rw-r--r-- 214 SimpleFail15.stderr
-rw-r--r-- 133 SimpleFail16.hs
-rw-r--r-- 425 SimpleFail16.stderr
-rw-r--r-- 125 SimpleFail1a.hs
-rw-r--r-- 197 SimpleFail1a.stderr
-rw-r--r-- 126 SimpleFail1b.hs
-rw-r--r-- 164 SimpleFail1b.stderr
-rw-r--r-- 288 SimpleFail2a.hs
-rw-r--r-- 210 SimpleFail2a.stderr
-rw-r--r-- 283 SimpleFail2b.hs
-rw-r--r-- 190 SimpleFail2b.stderr
-rw-r--r-- 180 SimpleFail3a.hs
-rw-r--r-- 195 SimpleFail3a.stderr
-rw-r--r-- 92 SimpleFail3b.stderr
-rw-r--r-- 176 SimpleFail4.hs
-rw-r--r-- 164 SimpleFail4.stderr
-rw-r--r-- 605 SimpleFail5a.hs
-rw-r--r-- 481 SimpleFail5a.stderr
-rw-r--r-- 614 SimpleFail5b.hs
-rw-r--r-- 219 SimpleFail5b.stderr
-rw-r--r-- 129 SimpleFail6.hs
-rw-r--r-- 137 SimpleFail6.stderr
-rw-r--r-- 159 SimpleFail7.hs
-rw-r--r-- 132 SimpleFail7.stderr
-rw-r--r-- 197 SimpleFail8.hs
-rw-r--r-- 176 SimpleFail8.stderr
-rw-r--r-- 366 SimpleFail9.hs
-rw-r--r-- 553 SkolemOccursLoop.hs
-rw-r--r-- 20 SkolemOccursLoop.stderr
-rw-r--r-- 139 T10141.hs
-rw-r--r-- 183 T10141.stderr
-rw-r--r-- 163 T10817.hs
-rw-r--r-- 195 T10817.stderr
-rw-r--r-- 118 T10899.hs
-rw-r--r-- 135 T10899.stderr
-rw-r--r-- 105 T11136.hs
-rw-r--r-- 203 T11136.stderr
-rw-r--r-- 316 T1897b.hs
-rw-r--r-- 571 T1897b.stderr
-rw-r--r-- 2413 T1900.hs
-rw-r--r-- 537 T1900.stderr
-rw-r--r-- 1 T1987b.stderr
-rw-r--r-- 137 T2157.hs
-rw-r--r-- 151 T2157.stderr
-rw-r--r-- 322 T2203a.hs
-rw-r--r-- 169 T2203a.stderr
-rw-r--r-- 1739 T2239.hs
-rw-r--r-- 223 T2334A.hs
-rw-r--r-- 574 T2334A.stderr
-rw-r--r-- 1063 T2544.hs
-rw-r--r-- 905 T2544.stderr
-rw-r--r-- 555 T2627b.hs
-rw-r--r-- 345 T2627b.stderr
-rw-r--r-- 1353 T2664.hs
-rw-r--r-- 980 T2664.stderr
-rw-r--r-- 1042 T2664a.hs
-rw-r--r-- 119 T2677.hs
-rw-r--r-- 154 T2677.stderr
-rw-r--r-- 576 T2693.hs
-rw-r--r-- 1788 T2693.stderr
-rw-r--r-- 114 T2888.hs
-rw-r--r-- 159 T2888.stderr
-rw-r--r-- 139 T3092.hs
-rw-r--r-- 288 T3092.stderr
-rw-r--r-- 1238 T3330a.hs
-rw-r--r-- 2393 T3330a.stderr
-rw-r--r-- 442 T3330b.hs
-rw-r--r-- 168 T3330b.stderr
-rw-r--r-- 1353 T3330c.hs
-rw-r--r-- 590 T3330c.stderr
-rw-r--r-- 211 T3440.hs
-rw-r--r-- 905 T3440.stderr
-rw-r--r-- 872 T4093a.hs
-rw-r--r-- 596 T4093a.stderr
-rw-r--r-- 1201 T4093b.hs
-rw-r--r-- 1990 T4093b.stderr
-rw-r--r-- 227 T4099.hs
-rw-r--r-- 861 T4099.stderr
-rw-r--r-- 1499 T4174.hs
-rw-r--r-- 1423 T4174.stderr
-rw-r--r-- 814 T4179.hs
-rw-r--r-- 692 T4179.stderr
-rw-r--r-- 322 T4246.hs
-rw-r--r-- 307 T4246.stderr
-rw-r--r-- 551 T4254.hs
-rw-r--r-- 0 T4254.stderr
-rw-r--r-- 813 T4272.hs
-rw-r--r-- 763 T4272.stderr
-rw-r--r-- 2404 T4485.hs
-rw-r--r-- 1401 T4485.stderr
-rw-r--r-- 8058 T5439.hs
-rw-r--r-- 1161 T5439.stderr
-rw-r--r-- 397 T5515.hs
-rw-r--r-- 257 T5515.stderr
-rw-r--r-- 298 T5934.hs
-rw-r--r-- 254 T5934.stderr
-rw-r--r-- 331 T6088.hs
-rw-r--r-- 189 T6088.stderr
-rw-r--r-- 133 T6123.hs
-rw-r--r-- 374 T6123.stderr
-rw-r--r-- 1383 T7010.hs
-rw-r--r-- 276 T7010.stderr
-rw-r--r-- 362 T7194.hs
-rw-r--r-- 573 T7194.stderr
-rw-r--r-- 853 T7354.hs
-rw-r--r-- 361 T7354.stderr
-rw-r--r-- 62 T7354a.hs
-rw-r--r-- 245 T7354a.stderr
-rw-r--r-- 149 T7354b.hs
-rw-r--r-- 117 T7536.hs
-rw-r--r-- 186 T7536.stderr
-rw-r--r-- 879 T7729.hs
-rw-r--r-- 475 T7729.stderr
-rw-r--r-- 1947 T7729a.hs
-rw-r--r-- 516 T7729a.stderr
-rw-r--r-- 3799 T7786.hs
-rw-r--r-- 1533 T7786.stderr
-rw-r--r-- 338 T7788.hs
-rw-r--r-- 485 T7788.stderr
-rw-r--r-- 549 T7862.hs
-rw-r--r-- 344 T7862.stderr
-rw-r--r-- 276 T7938.hs
-rw-r--r-- 130 T7938.stderr
-rw-r--r-- 904 T7967.hs
-rw-r--r-- 242 T7967.stderr
-rw-r--r-- 151 T8129.hs
-rw-r--r-- 39 T8129.stdout
-rw-r--r-- 553 T8155.hs
-rw-r--r-- 339 T8155.stderr
-rw-r--r-- 702 T8227.hs
-rw-r--r-- 1098 T8227.stderr
-rw-r--r-- 140 T8227a.hs
-rw-r--r-- 135 T8368.hs
-rw-r--r-- 236 T8368.stderr
-rw-r--r-- 133 T8368a.hs
-rw-r--r-- 248 T8368a.stderr
-rw-r--r-- 487 T8518.hs
-rw-r--r-- 1129 T8518.stderr
-rw-r--r-- 302 T8550.hs
-rw-r--r-- 470 T8550.stderr
-rw-r--r-- 387 T9036.hs
-rw-r--r-- 559 T9036.stderr
-rw-r--r-- 159 T9097.hs
-rw-r--r-- 180 T9097.stderr
-rw-r--r-- 524 T9160.hs
-rw-r--r-- 260 T9160.stderr
-rw-r--r-- 80 T9167.hs
-rw-r--r-- 159 T9167.stderr
-rw-r--r-- 204 T9171.hs
-rw-r--r-- 578 T9171.stderr
-rw-r--r-- 197 T9357.hs
-rw-r--r-- 225 T9357.stderr
-rw-r--r-- 525 T9371.hs
-rw-r--r-- 175 T9371.stderr
-rw-r--r-- 221 T9433.hs
-rw-r--r-- 150 T9433.stderr
-rw-r--r-- 235 T9554.hs
-rw-r--r-- 2472 T9554.stderr
-rw-r--r-- 111 T9580.hs
-rw-r--r-- 495 T9580.stderr
-rw-r--r-- 169 T9580a.hs
-rw-r--r-- 1171 T9662.hs
-rw-r--r-- 3390 T9662.stderr
-rw-r--r-- 142 T9896.hs
-rw-r--r-- 196 T9896.stderr
-rw-r--r-- 108 TyFamArity1.hs
-rw-r--r-- 138 TyFamArity1.stderr
-rw-r--r-- 122 TyFamArity2.hs
-rw-r--r-- 138 TyFamArity2.stderr
-rw-r--r-- 281 TyFamUndec.hs
-rw-r--r-- 659 TyFamUndec.stderr
-rw-r--r-- 5561 all.T