Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_compile /
drwxr-xr-x   ..
-rw-r--r-- 225 DfltProb1.hs
-rw-r--r-- 668 DfltProb2.hs
-rw-r--r-- 311 ExPat.hs
-rw-r--r-- 249 ExPatFail.hs
-rw-r--r-- 629 ExPatFail.stderr
-rw-r--r-- 478 FD1.hs
-rw-r--r-- 443 FD1.stderr
-rw-r--r-- 842 FD2.hs
-rw-r--r-- 893 FD2.stderr
-rw-r--r-- 386 FD3.hs
-rw-r--r-- 522 FD3.stderr
-rw-r--r-- 575 FD4.hs
-rw-r--r-- 450 GivenOverlapping.hs
-rw-r--r-- 148 GivenTypeSynonym.hs
-rw-r--r-- 574 HasKey.hs
-rw-r--r-- 202 HasKey.stderr
-rw-r--r-- 602 Improvement.hs
-rw-r--r-- 926 LoopOfTheDay1.hs
-rw-r--r-- 1118 LoopOfTheDay2.hs
-rw-r--r-- 674 LoopOfTheDay3.hs
-rw-r--r-- 2562 Makefile
-rw-r--r-- 116 MissingExportList01.hs
-rw-r--r-- 113 MissingExportList02.hs
-rw-r--r-- 172 MutRec.hs
-rw-r--r-- 710 PolyRec.hs
-rw-r--r-- 956 PolytypeDecomp.hs
-rw-r--r-- 131 PushHRIf.hs
-rw-r--r-- 925 RebindHR.hs
-rw-r--r-- 118 RebindNegate.hs
-rw-r--r-- 254 RepArrow.hs
-rw-r--r-- 306 SigTyVars.hs
-rw-r--r-- 1690 SplitWD.hs
-rw-r--r-- 2743 T10009.hs
-rw-r--r-- 182 T10031.hs
-rw-r--r-- 83 T10072.hs
-rw-r--r-- 347 T10072.stderr
-rw-r--r-- 369 T10100.hs
-rw-r--r-- 319 T10109.hs
-rw-r--r-- 290 T10156.hs
-rw-r--r-- 223 T10177.hs
-rw-r--r-- 153 T10184.hs
-rw-r--r-- 157 T10185.hs
-rw-r--r-- 893 T10195.hs
-rw-r--r-- 730 T10283.hs
-rw-r--r-- 255 T10335.hs
-rw-r--r-- 145 T10347.hs
-rw-r--r-- 646 T10348.hs
-rw-r--r-- 471 T10390.hs
-rw-r--r-- 207 T10423.hs
-rw-r--r-- 128 T10428.hs
-rw-r--r-- 613 T10432.hs
-rw-r--r-- 124 T10489.hs
-rw-r--r-- 182 T10493.hs
-rw-r--r-- 94 T10494.hs
-rw-r--r-- 341 T10562.hs
-rw-r--r-- 624 T10564.hs
-rw-r--r-- 162 T10589.hs
-rw-r--r-- 2403 T10592.hs
-rw-r--r-- 176 T10632.hs
-rw-r--r-- 173 T10632.stderr
-rw-r--r-- 436 T10635.hs
-rw-r--r-- 206 T10642.hs
-rw-r--r-- 256 T10744.hs
-rw-r--r-- 150 T10770a.hs
-rw-r--r-- 247 T10770b.hs
-rw-r--r-- 101 T10935.hs
-rw-r--r-- 286 T10935.stderr
-rw-r--r-- 237 T10971a.hs
-rw-r--r-- 1792 T10971a.stderr
-rw-r--r-- 256 T11056.hs
-rw-r--r-- 81 T11062.hs
-rw-r--r-- 66 T11062.hs-boot
-rw-r--r-- 107 T11062a.hs
-rw-r--r-- 727 T1123.hs
-rw-r--r-- 263 T11237.hs
-rw-r--r-- 55 T11246.hs
-rw-r--r-- 548 T11254.hs
-rw-r--r-- 741 T11254.stderr
-rw-r--r-- 1678 T11305.hs
-rw-r--r-- 202 T11319.hs
-rw-r--r-- 1089 T11339.hs
-rw-r--r-- 558 T11339.stderr
-rw-r--r-- 1101 T11339b.hs
-rw-r--r-- 1079 T11339c.hs
-rw-r--r-- 368 T11339d.hs
-rw-r--r-- 348 T11348.hs
-rw-r--r-- 1081 T11379.hs
-rw-r--r-- 1557 T11397.hs
-rw-r--r-- 1092 T11401.hs
-rw-r--r-- 105 T11458.hs
-rw-r--r-- 104 T11462.hs
-rw-r--r-- 427 T11462_Plugin.hs
-rw-r--r-- 155 T11480.hs
-rw-r--r-- 183 T11512.hs
-rw-r--r-- 550 T11524.hs
-rw-r--r-- 711 T11525.hs
-rw-r--r-- 427 T11525_Plugin.hs
-rw-r--r-- 588 T11552.hs
-rw-r--r-- 451 T11608.hs
-rw-r--r-- 99 T11699.hs
-rw-r--r-- 413 T11700.hs
-rw-r--r-- 143 T11723.hs
-rw-r--r-- 103 T11736.hs
-rw-r--r-- 765 T11754.hs
-rw-r--r-- 839 T11766.hs
-rw-r--r-- 152 T11793.hs
-rw-r--r-- 146 T11811.hs
-rw-r--r-- 322 T11947.hs
-rw-r--r-- 80 T11974.hs
-rw-r--r-- 111 T12064.hs
-rw-r--r-- 27 T12064.hs-boot
-rw-r--r-- 83 T12064a.hs
-rw-r--r-- 159 T12067.hs
-rw-r--r-- 115 T12067a.hs
-rw-r--r-- 85 T12069.hs
-rw-r--r-- 211 T12082.hs
-rw-r--r-- 183 T12104.hs
-rw-r--r-- 155 T12104.stderr
-rw-r--r-- 2244 T12133.hs
-rw-r--r-- 108 T12170b.hs
-rw-r--r-- 118 T12170b.stderr
-rw-r--r-- 377 T12185.hs
-rw-r--r-- 212 T12381.hs
-rw-r--r-- 1 T12427.stderr
-rw-r--r-- 976 T12427a.hs
-rw-r--r-- 747 T12427a.stderr
-rw-r--r-- 445 T12427b.hs
-rw-r--r-- 168 T12466.hs
-rw-r--r-- 653 T12466a.hs
-rw-r--r-- 326 T12507.hs
-rw-r--r-- 172 T12644.hs
-rw-r--r-- 2632 T12734.hs
-rw-r--r-- 2579 T12734a.hs
-rw-r--r-- 329 T12734a.stderr
-rw-r--r-- 225 T12763.hs
-rw-r--r-- 399 T12763.stderr
-rw-r--r-- 295 T12785a.hs
-rw-r--r-- 362 T12797.hs
-rw-r--r-- 196 T12850.hs
-rw-r--r-- 192 T12911.hs
-rw-r--r-- 379 T12919.hs
-rw-r--r-- 492 T12923.hs
-rw-r--r-- 623 T12924.hs
-rw-r--r-- 176 T12925.hs
-rw-r--r-- 495 T12926.hs
-rw-r--r-- 595 T12936.hs
-rw-r--r-- 117 T12987.hs
-rw-r--r-- 312 T13032.hs
-rw-r--r-- 576 T13032.stderr
-rw-r--r-- 101 T13050.hs
-rw-r--r-- 12141 T13050.stderr
-rw-r--r-- 1966 T13083.hs
-rw-r--r-- 323 T13248.hs
-rw-r--r-- 886 T13333.hs
-rw-r--r-- 601 T13337.hs
-rw-r--r-- 219 T13343.hs
-rw-r--r-- 585 T13381.hs
-rw-r--r-- 685 T13381.stderr
-rw-r--r-- 306 T13458.hs
-rw-r--r-- 193 T13474.hs
-rw-r--r-- 181 T13490.hs
-rw-r--r-- 527 T13509.hs
-rw-r--r-- 697 T13524.hs
-rw-r--r-- 418 T13526.hs
-rw-r--r-- 408 T13526.stderr
-rw-r--r-- 99 T13585.hs
-rw-r--r-- 2420 T13585a.hs
-rw-r--r-- 133 T13585b.hs
-rw-r--r-- 166 T13594.hs
-rw-r--r-- 81 T13594.stderr
-rw-r--r-- 251 T13603.hs
-rw-r--r-- 497 T13643.hs
-rw-r--r-- 957 T13651.hs
-rw-r--r-- 827 T13651.stderr
-rw-r--r-- 447 T13651a.hs
-rw-r--r-- 82 T13680.hs
-rw-r--r-- 344 T13785.hs
-rw-r--r-- 397 T13785.stderr
-rw-r--r-- 390 T13804.hs
-rw-r--r-- 1995 T13822.hs
-rw-r--r-- 941 T13848.hs
-rw-r--r-- 353 T13871.hs
-rw-r--r-- 713 T13879.hs
-rw-r--r-- 447 T13881.hs
-rw-r--r-- 122 T13915a.hs
-rw-r--r-- 98 T13915a_Foo.hs
-rw-r--r-- 219 T13915b.hs
-rw-r--r-- 1930 T13943.hs
-rw-r--r-- 181 T13984.hs
-rw-r--r-- 121 T14128.hs
-rw-r--r-- 60 T14128.hs-boot
-rw-r--r-- 288 T14128Main.hs
-rw-r--r-- 44 T14128Type.hs
-rw-r--r-- 21 T14128a.hs
-rw-r--r-- 51 T14128a.hs-boot
-rw-r--r-- 122 T14149.hs
-rw-r--r-- 247 T14149.stderr
-rw-r--r-- 385 T14154.hs
-rw-r--r-- 123 T14158.hs
-rw-r--r-- 343 T14273.hs
-rw-r--r-- 3991 T14273.stderr
-rw-r--r-- 322 T14333.hs
-rw-r--r-- 240 T14363.hs
-rw-r--r-- 122 T14363a.hs
-rw-r--r-- 61 T14396.hs
-rw-r--r-- 31 T14396.hs-boot
-rw-r--r-- 122 T14396a.hs
-rw-r--r-- 93 T14396b.hs
-rw-r--r-- 67 T14396f.hs
-rw-r--r-- 505 T14434.hs
-rw-r--r-- 70 T14434.stdout
-rw-r--r-- 358 T14441.hs
-rw-r--r-- 222 T14488.hs
-rw-r--r-- 137 T14590.hs
-rw-r--r-- 16416 T14590.stderr
-rw-r--r-- 860 T1470.hs
-rw-r--r-- 892 T14732.hs
-rw-r--r-- 642 T14735.hs
-rw-r--r-- 937 T14763.hs
-rw-r--r-- 207 T14774.hs
-rw-r--r-- 104 T14774.stdout
-rw-r--r-- 98 T14811.hs
-rw-r--r-- 145 T14934.hs
-rw-r--r-- 281 T14934a.hs
-rw-r--r-- 313 T1495.hs
-rw-r--r-- 883 T15050.hs
-rw-r--r-- 193 T15180.hs
-rw-r--r-- 430 T15232.hs
-rw-r--r-- 92 T1634.hs
-rw-r--r-- 4136 T2045.hs
-rw-r--r-- 216 T2357.hs
-rw-r--r-- 88 T2412.hs
-rw-r--r-- 30 T2412.hs-boot
-rw-r--r-- 74 T2412A.hs
-rw-r--r-- 200 T2433.hs
-rw-r--r-- 42 T2433_Help.hs
-rw-r--r-- 167 T2478.hs
-rw-r--r-- 150 T2478.stderr
-rw-r--r-- 410 T2494-2.hs
-rw-r--r-- 400 T2494.hs
-rw-r--r-- 1704 T2494.stderr
-rw-r--r-- 612 T2497.hs
-rw-r--r-- 111 T2497.stderr
-rw-r--r-- 180 T2572.hs
-rw-r--r-- 833 T2683.hs
-rw-r--r-- 99 T2735.hs
-rw-r--r-- 313 T2799.hs
-rw-r--r-- 102 T2846.hs
-rw-r--r-- 3518 T3018.hs
-rw-r--r-- 962 T3108.hs
-rw-r--r-- 242 T3219.hs
-rw-r--r-- 305 T3342.hs
-rw-r--r-- 478 T3346.hs
-rw-r--r-- 275 T3391.hs
-rw-r--r-- 1414 T3409.hs
-rw-r--r-- 205 T3692.hs
-rw-r--r-- 126 T3696.hs
-rw-r--r-- 115 T3696.stderr
-rw-r--r-- 260 T3743.hs
-rw-r--r-- 773 T3955.hs
-rw-r--r-- 398 T4284.hs
-rw-r--r-- 272 T4310.hs
-rw-r--r-- 2205 T4355.hs
-rw-r--r-- 151 T4355.stderr
-rw-r--r-- 1054 T4361.hs
-rw-r--r-- 398 T4401.hs
-rw-r--r-- 337 T4404.hs
-rw-r--r-- 402 T4418.hs
-rw-r--r-- 529 T4444.hs
-rw-r--r-- 143 T4498.hs
-rw-r--r-- 8714 T4524.hs
-rw-r--r-- 226 T4912.hs
-rw-r--r-- 544 T4912.stderr
-rw-r--r-- 128 T4912a.hs
-rw-r--r-- 651 T4917.hs
-rw-r--r-- 926 T4952.hs
-rw-r--r-- 2738 T4969.hs
-rw-r--r-- 330 T5032.hs
-rw-r--r-- 216 T5120.hs
-rw-r--r-- 153 T5481.hs
-rw-r--r-- 104 T5481.stderr
-rw-r--r-- 9340 T5490.hs
-rw-r--r-- 274 T5490.stderr
-rw-r--r-- 267 T5514.hs
-rw-r--r-- 287 T5581.hs
-rw-r--r-- 374 T5595.hs
-rw-r--r-- 571 T5643.hs
-rw-r--r-- 568 T5655.hs
-rw-r--r-- 413 T5676.hs
-rw-r--r-- 207 T5792.hs
-rw-r--r-- 286 T6011.hs
-rw-r--r-- 7496 T6018.hs
-rw-r--r-- 326 T6018.hs-boot
-rw-r--r-- 438 T6018.stderr
-rw-r--r-- 293 T6018a.hs
-rw-r--r-- 907 T6055.hs
-rw-r--r-- 218 T6134.hs
-rw-r--r-- 177 T700.hs
-rw-r--r-- 62 T7050.hs
-rw-r--r-- 205 T7050.stderr
-rw-r--r-- 814 T7147.hs
-rw-r--r-- 346 T7169.hs
-rw-r--r-- 94 T7169.stderr
-rw-r--r-- 254 T7171.hs
-rw-r--r-- 409 T7171a.hs
-rw-r--r-- 449 T7173.hs
-rw-r--r-- 1310 T7196.hs
-rw-r--r-- 1474 T7220.hs
-rw-r--r-- 615 T7220a.hs
-rw-r--r-- 564 T7220a.stderr
-rw-r--r-- 217 T7268.hs
-rw-r--r-- 228 T7312.hs
-rw-r--r-- 180 T7384.hs
-rw-r--r-- 169 T7408.hs
-rw-r--r-- 223 T7451.hs
-rw-r--r-- 310 T7541.hs
-rw-r--r-- 58 T7562.hs
-rw-r--r-- 203 T7562.stderr
-rw-r--r-- 252 T7641.hs
-rw-r--r-- 177 T7643.hs
-rw-r--r-- 97 T7827.hs
-rw-r--r-- 740 T7875.hs
-rw-r--r-- 317 T7888.hs
-rw-r--r-- 743 T7891.hs
-rw-r--r-- 177 T7903.hs
-rw-r--r-- 392 T7903.stderr
-rw-r--r-- 440 T8392.hs
-rw-r--r-- 343 T8474.hs
-rw-r--r-- 122 T8555.hs
-rw-r--r-- 90 T8563.hs
-rw-r--r-- 175 T8565.hs
-rw-r--r-- 185 T8644.hs
-rw-r--r-- 121 T8739.hs
-rw-r--r-- 170 T8762.hs
-rw-r--r-- 191 T8799.hs
-rw-r--r-- 149 T8856.hs
-rw-r--r-- 246 T9117.hs
-rw-r--r-- 139 T9117_2.hs
-rw-r--r-- 128 T9117_3.hs
-rw-r--r-- 239 T9151.hs
-rw-r--r-- 137 T9404.hs
-rw-r--r-- 335 T9404b.hs
-rw-r--r-- 27 T9497a.hs
-rw-r--r-- 750 T9497a.stderr
-rw-r--r-- 27 T9497b.hs
-rw-r--r-- 27 T9497c.hs
-rw-r--r-- 168 T9569a.hs
-rw-r--r-- 1052 T9708.hs
-rw-r--r-- 698 T9834.hs
-rw-r--r-- 1719 T9834.stderr
-rw-r--r-- 509 T9892.hs
-rw-r--r-- 481 T9939.hs
-rw-r--r-- 741 T9939.stderr
-rw-r--r-- 304 T9971.hs
-rw-r--r-- 566 T9973.hs
-rw-r--r-- 651 Tc170_Aux.hs
-rw-r--r-- 533 Tc173a.hs
-rw-r--r-- 109 Tc173b.hs
-rw-r--r-- 502 Tc239_Help.hs
-rw-r--r-- 95 Tc245_A.hs
-rw-r--r-- 118 Tc251_Help.hs
-rw-r--r-- 157 Tc263_Help.hs
-rw-r--r-- 50 Tc266.hs
-rw-r--r-- 33 Tc266.hs-boot
-rw-r--r-- 48 Tc266a.hs
-rw-r--r-- 129 Tc267a.hs
-rw-r--r-- 50 Tc267a.hs-boot
-rw-r--r-- 76 Tc267b.hs
-rw-r--r-- 56 Tc267b.hs-boot
-rw-r--r-- 118 Tc271.hs
-rw-r--r-- 56 Tc271.hs-boot
-rw-r--r-- 76 Tc271a.hs
-rw-r--r-- 896 TcCoercibleCompile.hs
-rw-r--r-- 528 TcCustomSolverSuper.hs
-rw-r--r-- 269 TcLambdaCase.hs
-rw-r--r-- 274 TcStaticPointers01.hs
-rw-r--r-- 675 TcStaticPointers02.hs
-rw-r--r-- 1689 TcTypeNatSimple.hs
-rw-r--r-- 698 TcTypeSymbolSimple.hs
-rw-r--r-- 406 UnboxStrictPrimitiveFields.hs
-rw-r--r-- 52 ValidHoleFits.hs
-rw-r--r-- 2038 Vta1.hs
-rw-r--r-- 398 Vta2.hs
-rw-r--r-- 113 abstract_refinement_hole_fits.hs
-rw-r--r-- 13005 abstract_refinement_hole_fits.stderr
-rw-r--r-- 26183 all.T
-rw-r--r-- 67 constraint_hole_fits.hs
-rw-r--r-- 2505 constraint_hole_fits.stderr
-rw-r--r-- 663 faxen.hs
-rw-r--r-- 777 free_monad_hole_fits.hs
-rw-r--r-- 3698 free_monad_hole_fits.stderr
-rw-r--r-- 680 hole_constraints.hs
-rw-r--r-- 3166 hole_constraints.stderr
-rw-r--r-- 292 hole_constraints_nested.hs
-rw-r--r-- 791 hole_constraints_nested.stderr
-rw-r--r-- 99 holes.hs
-rw-r--r-- 8826 holes.stderr
-rw-r--r-- 32 holes2.hs
-rw-r--r-- 1331 holes2.stderr
-rw-r--r-- 105 holes3.hs
-rw-r--r-- 8899 holes3.stderr
-rwxr-xr-x 203 local_hole_fits.hs
-rw-r--r-- 1265 local_hole_fits.stderr
-rw-r--r-- 338 mc18.hs
-rw-r--r-- 105 refinement_hole_fits.hs
-rw-r--r-- 12044 refinement_hole_fits.stderr
-rwxr-xr-x 67 subsumption_sort_hole_fits.hs
-rw-r--r-- 2056 subsumption_sort_hole_fits.stderr
-rw-r--r-- 3305 syn-perf.hs
-rw-r--r-- 664 syn-perf2.hs
-rw-r--r-- 52 tc001.hs
-rw-r--r-- 54 tc002.hs
-rw-r--r-- 516 tc003.hs
-rw-r--r-- 82 tc004.hs
-rw-r--r-- 56 tc005.hs
-rw-r--r-- 36 tc006.hs
-rw-r--r-- 63 tc007.hs
-rw-r--r-- 51 tc008.hs
-rw-r--r-- 61 tc009.hs
-rw-r--r-- 58 tc010.hs
-rw-r--r-- 36 tc011.hs
-rw-r--r-- 41 tc012.hs
-rw-r--r-- 44 tc013.hs
-rw-r--r-- 36 tc014.hs
-rw-r--r-- 47 tc015.hs
-rw-r--r-- 42 tc016.hs
-rw-r--r-- 57 tc017.hs
-rw-r--r-- 64 tc018.hs
-rw-r--r-- 63 tc019.hs
-rw-r--r-- 50 tc020.hs
-rw-r--r-- 54 tc021.hs
-rw-r--r-- 51 tc022.hs
-rw-r--r-- 75 tc023.hs
-rw-r--r-- 77 tc024.hs
-rw-r--r-- 88 tc025.hs
-rw-r--r-- 83 tc026.hs
-rw-r--r-- 116 tc027.hs
-rw-r--r-- 48 tc028.hs
-rw-r--r-- 67 tc029.hs
-rw-r--r-- 63 tc030.hs
-rw-r--r-- 52 tc031.hs
-rw-r--r-- 71 tc032.hs
-rw-r--r-- 98 tc033.hs
-rw-r--r-- 179 tc034.hs
-rw-r--r-- 190 tc035.hs
-rw-r--r-- 69 tc036.hs
-rw-r--r-- 218 tc037.hs
-rw-r--r-- 81 tc038.hs
-rw-r--r-- 69 tc039.hs
-rw-r--r-- 157 tc040.hs
-rw-r--r-- 204 tc041.hs
-rw-r--r-- 1829 tc042.hs
-rw-r--r-- 254 tc043.hs
-rw-r--r-- 99 tc044.hs
-rw-r--r-- 366 tc045.hs
-rw-r--r-- 165 tc046.hs
-rw-r--r-- 457 tc047.hs
-rw-r--r-- 342 tc048.hs
-rw-r--r-- 771 tc049.hs
-rw-r--r-- 279 tc050.hs
-rw-r--r-- 429 tc051.hs
-rw-r--r-- 72 tc052.hs
-rw-r--r-- 223 tc053.hs
-rw-r--r-- 261 tc054.hs
-rw-r--r-- 54 tc055.hs
-rw-r--r-- 357 tc056.hs
-rw-r--r-- 334 tc057.hs
-rw-r--r-- 355 tc058.hs
-rw-r--r-- 272 tc059.hs
-rw-r--r-- 208 tc060.hs
-rw-r--r-- 174 tc061.hs
-rw-r--r-- 229 tc062.hs
-rw-r--r-- 227 tc063.hs
-rw-r--r-- 95 tc064.hs
-rw-r--r-- 2935 tc065.hs
-rw-r--r-- 87 tc066.hs
-rw-r--r-- 60 tc067.hs
-rw-r--r-- 300 tc068.hs
-rw-r--r-- 71 tc069.hs
-rw-r--r-- 97 tc070.hs
-rw-r--r-- 61 tc073.hs
-rw-r--r-- 300 tc074.hs
-rw-r--r-- 169 tc076.hs
-rw-r--r-- 207 tc077.hs
-rw-r--r-- 201 tc078.hs
-rw-r--r-- 391 tc078.stderr
-rw-r--r-- 442 tc079.hs
-rw-r--r-- 1779 tc080.hs
-rw-r--r-- 651 tc081.hs
-rw-r--r-- 203 tc082.hs
-rw-r--r-- 630 tc084.hs
-rw-r--r-- 213 tc085.hs
-rw-r--r-- 1803 tc086.hs
-rw-r--r-- 1127 tc087.hs
-rw-r--r-- 788 tc088.hs
-rw-r--r-- 1999 tc089.hs
-rw-r--r-- 541 tc090.hs
-rw-r--r-- 1996 tc091.hs
-rw-r--r-- 458 tc092.hs
-rw-r--r-- 860 tc093.hs
-rw-r--r-- 148 tc094.hs
-rw-r--r-- 7552 tc095.hs
-rw-r--r-- 1051 tc096.hs
-rw-r--r-- 318 tc097.hs
-rw-r--r-- 926 tc098.hs
-rw-r--r-- 210 tc099.hs
-rw-r--r-- 193 tc100.hs
-rw-r--r-- 311 tc101.hs
-rw-r--r-- 318 tc102.hs
-rw-r--r-- 132 tc104.hs
-rw-r--r-- 326 tc105.hs
-rw-r--r-- 499 tc106.hs
-rw-r--r-- 171 tc107.hs
-rw-r--r-- 551 tc108.hs
-rw-r--r-- 583 tc109.hs
-rw-r--r-- 322 tc111.hs
-rw-r--r-- 299 tc112.hs
-rw-r--r-- 313 tc113.hs
-rw-r--r-- 341 tc114.hs
-rw-r--r-- 437 tc115.hs
-rw-r--r-- 180 tc115.stderr
-rw-r--r-- 413 tc116.hs
-rw-r--r-- 180 tc116.stderr
-rw-r--r-- 482 tc117.hs
-rw-r--r-- 535 tc118.hs
-rw-r--r-- 432 tc119.hs
-rw-r--r-- 219 tc120.hs
-rw-r--r-- 315 tc121.hs
-rw-r--r-- 451 tc122.hs
-rw-r--r-- 381 tc123.hs
-rw-r--r-- 758 tc124.hs
-rw-r--r-- 979 tc125.hs
-rw-r--r-- 913 tc125.stderr
-rw-r--r-- 1157 tc126.hs
-rw-r--r-- 367 tc126.stderr
-rw-r--r-- 484 tc127.hs
-rw-r--r-- 324 tc128.hs
-rw-r--r-- 381 tc129.hs
-rw-r--r-- 385 tc130.hs
-rw-r--r-- 667 tc131.hs
-rw-r--r-- 278 tc132.hs
-rw-r--r-- 487 tc133.hs
-rw-r--r-- 200 tc134.hs
-rw-r--r-- 188 tc134.stderr
-rw-r--r-- 268 tc135.hs
-rw-r--r-- 330 tc136.hs
-rw-r--r-- 816 tc137.hs
-rw-r--r-- 452 tc140.hs
-rw-r--r-- 358 tc141.hs
-rw-r--r-- 1926 tc141.stderr
-rw-r--r-- 262 tc142.hs
-rw-r--r-- 176 tc143.hs
-rw-r--r-- 304 tc144.hs
-rw-r--r-- 547 tc145.hs
-rw-r--r-- 440 tc146.hs
-rw-r--r-- 184 tc147.hs
-rw-r--r-- 309 tc148.hs
-rw-r--r-- 437 tc149.hs
-rw-r--r-- 128 tc150.hs
-rw-r--r-- 1186 tc151.hs
-rw-r--r-- 801 tc152.hs
-rw-r--r-- 219 tc153.hs
-rw-r--r-- 192 tc154.hs
-rw-r--r-- 417 tc155.hs
-rw-r--r-- 271 tc156.hs
-rw-r--r-- 482 tc157.hs
-rw-r--r-- 279 tc158.hs
-rw-r--r-- 395 tc159.hs
-rw-r--r-- 5 tc159.stdout
-rw-r--r-- 268 tc160.hs
-rw-r--r-- 592 tc161.hs
-rw-r--r-- 171 tc161.stderr
-rw-r--r-- 629 tc162.hs
-rw-r--r-- 1195 tc163.hs
-rw-r--r-- 391 tc164.hs
-rw-r--r-- 278 tc165.hs
-rw-r--r-- 612 tc166.hs
-rw-r--r-- 908 tc167.hs
-rw-r--r-- 439 tc168.hs
-rw-r--r-- 511 tc168.stderr
-rw-r--r-- 446 tc169.hs
-rw-r--r-- 418 tc170.hs
-rw-r--r-- 119 tc171.hs
-rw-r--r-- 187 tc172.hs
-rw-r--r-- 95 tc174.hs
-rw-r--r-- 447 tc175.hs
-rw-r--r-- 205 tc175.stderr
-rw-r--r-- 1272 tc176.hs
-rw-r--r-- 2596 tc177.hs
-rw-r--r-- 821 tc178.hs
-rw-r--r-- 668 tc179.hs
-rw-r--r-- 1489 tc180.hs
-rw-r--r-- 1277 tc181.hs
-rw-r--r-- 282 tc182.hs
-rw-r--r-- 150 tc182.stderr
-rw-r--r-- 798 tc183.hs
-rw-r--r-- 492 tc184.hs
-rw-r--r-- 143 tc185.hs
-rw-r--r-- 362 tc186.hs
-rw-r--r-- 906 tc187.hs
-rw-r--r-- 498 tc188.hs
-rw-r--r-- 452 tc189.hs
-rw-r--r-- 229 tc190.hs
-rw-r--r-- 936 tc191.hs
-rw-r--r-- 3553 tc192.hs
-rw-r--r-- 227 tc193.hs
-rw-r--r-- 256 tc194.hs
-rw-r--r-- 439 tc195.hs
-rw-r--r-- 329 tc196.hs
-rw-r--r-- 827 tc197.hs
-rw-r--r-- 234 tc198.hs
-rw-r--r-- 1097 tc199.hs
-rw-r--r-- 333 tc200.hs
-rw-r--r-- 793 tc201.hs
-rw-r--r-- 175 tc202.hs
-rw-r--r-- 236 tc203.hs
-rw-r--r-- 596 tc204.hs
-rw-r--r-- 304 tc205.hs
-rw-r--r-- 423 tc206.hs
-rw-r--r-- 378 tc207.hs
-rw-r--r-- 379 tc208.hs
-rw-r--r-- 192 tc209.hs
-rw-r--r-- 245 tc210.hs
-rw-r--r-- 2036 tc211.hs
-rw-r--r-- 3291 tc211.stderr
-rw-r--r-- 179 tc212.hs
-rw-r--r-- 1655 tc213.hs
-rw-r--r-- 469 tc214.hs
-rw-r--r-- 269 tc215.hs
-rw-r--r-- 934 tc216.hs
-rw-r--r-- 436 tc217.hs
-rw-r--r-- 210 tc218.hs
-rw-r--r-- 263 tc219.hs
-rw-r--r-- 623 tc220.hs
-rw-r--r-- 396 tc221.hs
-rw-r--r-- 874 tc222.hs
-rw-r--r-- 413 tc223.hs
-rw-r--r-- 568 tc224.hs
-rw-r--r-- 117 tc225.hs
-rw-r--r-- 265 tc226.hs
-rw-r--r-- 129 tc227.hs
-rw-r--r-- 553 tc228.hs
-rw-r--r-- 943 tc229.hs
-rw-r--r-- 210 tc230.hs
-rw-r--r-- 674 tc231.hs
-rw-r--r-- 724 tc231.stderr
-rw-r--r-- 543 tc232.hs
-rw-r--r-- 119 tc233.hs
-rw-r--r-- 136 tc234.hs
-rw-r--r-- 887 tc235.hs
-rw-r--r-- 299 tc236.hs
-rw-r--r-- 737 tc237.hs
-rw-r--r-- 775 tc238.hs
-rw-r--r-- 198 tc239.hs
-rw-r--r-- 316 tc240.hs
-rw-r--r-- 203 tc241.hs
-rw-r--r-- 418 tc242.hs
-rw-r--r-- 206 tc243.hs
-rw-r--r-- 116 tc243.stderr
-rw-r--r-- 682 tc244.hs
-rw-r--r-- 176 tc245.hs
-rw-r--r-- 178 tc245.stdout
-rw-r--r-- 130 tc246.hs
-rw-r--r-- 226 tc247.hs
-rw-r--r-- 105 tc248.hs
-rw-r--r-- 88 tc249.hs
-rw-r--r-- 357 tc250.hs
-rw-r--r-- 275 tc251.hs
-rw-r--r-- 344 tc252.hs
-rw-r--r-- 691 tc253.hs
-rw-r--r-- 194 tc254.hs
-rw-r--r-- 186 tc254.stderr
-rw-r--r-- 281 tc255.hs
-rw-r--r-- 288 tc256.hs
-rw-r--r-- 694 tc257.hs
-rw-r--r-- 541 tc258.hs
-rw-r--r-- 288 tc259.hs
-rw-r--r-- 363 tc260.hs
-rw-r--r-- 90 tc261.hs
-rw-r--r-- 284 tc262.hs
-rw-r--r-- 269 tc263.hs
-rw-r--r-- 76 tc264.stderr
-rw-r--r-- 127 tc265.hs
-rw-r--r-- 123 tc265.stderr
-rw-r--r-- 128 tc268.hs
-rw-r--r-- 565 tc269.hs
-rw-r--r-- 16933 tc270.hs
-rw-r--r-- 771 twins.hs
-rw-r--r-- 3205 type_in_type_hole_fits.hs
-rw-r--r-- 4187 type_in_type_hole_fits.stderr
-rw-r--r-- 472 update-existential.hs
-rw-r--r-- 555 valid_hole_fits.hs
-rw-r--r-- 12293 valid_hole_fits.stderr
-rw-r--r-- 242 valid_hole_fits_interactions.hs
-rw-r--r-- 484 valid_hole_fits_interactions.stderr