Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / indexed-types / should_compile /
drwxr-xr-x   ..
-rw-r--r-- 427 ATLoop.hs
-rw-r--r-- 225 ATLoop_help.hs
-rw-r--r-- 372 Class1.hs
-rw-r--r-- 301 Class2.hs
-rw-r--r-- 136 Class3.hs
-rw-r--r-- 169 Class3.stderr
-rw-r--r-- 106 ClassEqContext.hs
-rw-r--r-- 131 ClassEqContext2.hs
-rw-r--r-- 144 ClassEqContext3.hs
-rw-r--r-- 137 ClosedFam1.hs
-rw-r--r-- 132 ClosedFam1.hs-boot
-rw-r--r-- 59 ClosedFam1a.hs
-rw-r--r-- 137 ClosedFam2.hs
-rw-r--r-- 83 ClosedFam2.hs-boot
-rw-r--r-- 58 ClosedFam2a.hs
-rw-r--r-- 593 CoTest3.hs
-rw-r--r-- 232 Col.hs
-rw-r--r-- 271 Col2.hs
-rw-r--r-- 413 ColGivenCheck.hs
-rw-r--r-- 696 ColGivenCheck2.hs
-rw-r--r-- 349 ColInference.hs
-rw-r--r-- 332 ColInference2.hs
-rw-r--r-- 817 ColInference3.hs
-rw-r--r-- 332 ColInference4.hs
-rw-r--r-- 332 ColInference5.hs
-rw-r--r-- 201 ColInference6.hs
-rw-r--r-- 198 DataFamDeriv.hs
-rw-r--r-- 473 Deriving.hs
-rw-r--r-- 337 DerivingNewType.hs
-rw-r--r-- 147 Exp.hs
-rw-r--r-- 715 ExplicitForAllFams1.hs
-rw-r--r-- 892 ExplicitForAllFams2.hs
-rw-r--r-- 542 ExplicitForAllFams2.stderr
-rw-r--r-- 774 GADT1.hs
-rw-r--r-- 1476 GADT10.hs
-rw-r--r-- 406 GADT11.hs
-rw-r--r-- 1013 GADT12.hs
-rw-r--r-- 172 GADT13.hs
-rw-r--r-- 275 GADT14.hs
-rw-r--r-- 234 GADT2.hs
-rw-r--r-- 524 GADT3.hs
-rw-r--r-- 171 GADT4.hs
-rw-r--r-- 190 GADT5.hs
-rw-r--r-- 223 GADT6.hs
-rw-r--r-- 290 GADT7.hs
-rw-r--r-- 232 GADT8.hs
-rw-r--r-- 274 GADT9.hs
-rw-r--r-- 1946 Gentle.hs
-rw-r--r-- 191 GivenCheck.hs
-rw-r--r-- 171 GivenCheckDecomp.hs
-rw-r--r-- 199 GivenCheckSwap.hs
-rw-r--r-- 171 GivenCheckTop.hs
-rw-r--r-- 492 HO.hs
-rw-r--r-- 149 Imp.hs
-rw-r--r-- 302 Ind2_help.hs
-rw-r--r-- 345 IndTypesPerf.hs
-rw-r--r-- 5135 IndTypesPerfMerge.hs
-rw-r--r-- 169 Infix.hs
-rw-r--r-- 761 InstContextNorm.hs
-rw-r--r-- 272 InstEqContext.hs
-rw-r--r-- 277 InstEqContext2.hs
-rw-r--r-- 330 InstEqContext3.hs
-rw-r--r-- 156 Kind.hs
-rw-r--r-- 1215 Makefile
-rw-r--r-- 142 NewTyCo1.hs
-rw-r--r-- 89 NewTyCo2.hs
-rw-r--r-- 1014 NonLinearLHS.hs
-rw-r--r-- 648 Numerals.hs
-rw-r--r-- 144 Overlap1.hs
-rw-r--r-- 468 Overlap12.hs
-rw-r--r-- 161 Overlap13.hs
-rw-r--r-- 183 Overlap14.hs
-rw-r--r-- 166 Overlap2.hs
-rw-r--r-- 287 OversatDecomp.hs
-rw-r--r-- 1 PushInAsGivens.stderr
-rw-r--r-- 1043 PushedInAsGivens.hs
-rw-r--r-- 1445 PushedInAsGivens.stderr
-rw-r--r-- 742 Records.hs
-rw-r--r-- 358 Refl.hs
-rw-r--r-- 441 Refl2.hs
-rw-r--r-- 263 RelaxedExamples.hs
-rw-r--r-- 995 Roman1.hs
-rw-r--r-- 527 Rules1.hs
-rw-r--r-- 262 Simple1.hs
-rw-r--r-- 123 Simple10.hs
-rw-r--r-- 244 Simple11.hs
-rw-r--r-- 266 Simple12.hs
-rw-r--r-- 768 Simple13.hs
-rw-r--r-- 621 Simple14.hs
-rw-r--r-- 704 Simple14.stderr
-rw-r--r-- 337 Simple15.hs
-rw-r--r-- 354 Simple16.hs
-rw-r--r-- 139 Simple17.hs
-rw-r--r-- 122 Simple18.hs
-rw-r--r-- 292 Simple19.hs
-rw-r--r-- 934 Simple2.hs
-rw-r--r-- 1334 Simple2.stderr
-rw-r--r-- 145 Simple20.hs
-rw-r--r-- 117 Simple20.stderr
-rw-r--r-- 436 Simple21.hs
-rw-r--r-- 213 Simple22.hs
-rw-r--r-- 115 Simple23.hs
-rw-r--r-- 344 Simple24.hs
-rw-r--r-- 226 Simple3.hs
-rw-r--r-- 178 Simple4.hs
-rw-r--r-- 417 Simple5.hs
-rw-r--r-- 298 Simple6.hs
-rw-r--r-- 228 Simple7.hs
-rw-r--r-- 277 Simple8.hs
-rw-r--r-- 308 Simple9.hs
-rw-r--r-- 1427 Sock.hs
-rw-r--r-- 120 T10020.hs
-rw-r--r-- 489 T10079.hs
-rw-r--r-- 1165 T10139.hs
-rw-r--r-- 2722 T10226.hs
-rw-r--r-- 904 T10318.hs
-rw-r--r-- 300 T10340.hs
-rw-r--r-- 560 T10507.hs
-rw-r--r-- 634 T10634.hs
-rw-r--r-- 234 T10713.hs
-rw-r--r-- 718 T10753.hs
-rw-r--r-- 281 T10806.hs
-rw-r--r-- 363 T10806.stderr
-rw-r--r-- 281 T10815.hs
-rw-r--r-- 616 T10931.hs
-rw-r--r-- 1291 T11067.hs
-rw-r--r-- 353 T11187.hs
-rw-r--r-- 786 T11361.hs
-rw-r--r-- 142 T11361a.hs
-rw-r--r-- 193 T11361a.stderr
-rw-r--r-- 502 T11408.hs
-rw-r--r-- 163 T11581.hs
-rw-r--r-- 747 T12175.hs
-rw-r--r-- 1151 T12369.hs
-rw-r--r-- 261 T12444a.hs
-rw-r--r-- 955 T12522.hs
-rw-r--r-- 473 T12522b.hs
-rw-r--r-- 1133 T12526.hs
-rw-r--r-- 946 T12538.hs
-rw-r--r-- 569 T12538.stderr
-rw-r--r-- 149 T12676.hs
-rw-r--r-- 121 T12938.hs
drwxr-xr-x - T13092b
-rw-r--r-- 684 T13244.hs
-rw-r--r-- 509 T13398a.hs
-rw-r--r-- 225 T13398b.hs
-rw-r--r-- 518 T13662.hs
-rw-r--r-- 189 T13705.hs
-rw-r--r-- 444 T13777.hs
-rw-r--r-- 211 T14045.hs
-rw-r--r-- 721 T14131.hs
-rw-r--r-- 1025 T14162.hs
-rw-r--r-- 313 T14164.hs
-rw-r--r-- 146 T14237.hs
-rw-r--r-- 819 T14554.hs
-rw-r--r-- 619 T14680.hs
-rw-r--r-- 264 T15057.hs
-rw-r--r-- 336 T15122.hs
-rw-r--r-- 273 T15142.hs
-rw-r--r-- 353 T15144.hs
-rw-r--r-- 212 T15318.hs
-rw-r--r-- 334 T15322.hs
-rw-r--r-- 407 T15322.stderr
-rw-r--r-- 319 T15322a.hs
-rw-r--r-- 444 T15322a.stderr
-rw-r--r-- 702 T15352.hs
-rw-r--r-- 331 T15664.hs
-rw-r--r-- 186 T15704.hs
-rw-r--r-- 111 T15711.hs
-rw-r--r-- 248 T15711.stderr
-rw-r--r-- 201 T15740a.hs
-rw-r--r-- 339 T15764a.hs
-rw-r--r-- 213 T15852.hs
-rw-r--r-- 484 T15852.stderr
-rw-r--r-- 878 T15943.hs
-rw-r--r-- 278 T1769.hs
-rw-r--r-- 120 T1981.hs
-rw-r--r-- 546 T2102.hs
-rw-r--r-- 445 T2203b.hs
-rw-r--r-- 610 T2219.hs
-rw-r--r-- 798 T2238.hs
-rw-r--r-- 873 T2291.hs
-rw-r--r-- 505 T2448.hs
-rw-r--r-- 524 T2627.hs
-rw-r--r-- 340 T2639.hs
-rw-r--r-- 1021 T2715.hs
-rw-r--r-- 791 T2767.hs
-rw-r--r-- 517 T2850.hs
-rw-r--r-- 172 T2944.hs
-rw-r--r-- 340 T3017.hs
-rw-r--r-- 754 T3017.stderr
-rw-r--r-- 417 T3023.hs
-rw-r--r-- 125 T3023.stderr
-rw-r--r-- 224 T3208a.hs
-rw-r--r-- 795 T3208b.hs
-rw-r--r-- 723 T3208b.stderr
-rw-r--r-- 566 T3220.hs
-rw-r--r-- 110 T3418.hs
-rw-r--r-- 150 T3418.stderr
-rw-r--r-- 329 T3423.hs
-rw-r--r-- 286 T3460.hs
-rw-r--r-- 1448 T3484.hs
-rw-r--r-- 573 T3590.hs
-rw-r--r-- 27422 T3787.hs
-rw-r--r-- 135 T3787.stderr
-rw-r--r-- 913 T3826.hs
-rw-r--r-- 550 T3851.hs
-rw-r--r-- 719 T4120.hs
-rw-r--r-- 937 T4160.hs
-rw-r--r-- 682 T4178.hs
-rw-r--r-- 1184 T4185.hs
-rw-r--r-- 314 T4200.hs
-rw-r--r-- 1015 T4338.hs
-rw-r--r-- 174 T4356.hs
-rw-r--r-- 197 T4358.hs
-rw-r--r-- 714 T4484.hs
-rw-r--r-- 254 T4492.hs
-rw-r--r-- 475 T4494.hs
-rw-r--r-- 348 T4497.hs
-rw-r--r-- 832 T4935.hs
-rw-r--r-- 942 T4981-V1.hs
-rw-r--r-- 875 T4981-V2.hs
-rw-r--r-- 1201 T4981-V3.hs
-rw-r--r-- 863 T5002.hs
-rw-r--r-- 635 T5591a.hs
-rw-r--r-- 468 T5591b.hs
-rw-r--r-- 55 T5955.hs
-rw-r--r-- 229 T5955a.hs
-rw-r--r-- 311 T6088.hs
-rw-r--r-- 207 T6152.hs
-rw-r--r-- 291 T7082.hs
-rw-r--r-- 127 T7156.hs
-rw-r--r-- 486 T7280.hs
-rw-r--r-- 203 T7282.hs
-rw-r--r-- 322 T7474.hs
-rw-r--r-- 305 T7489.hs
-rw-r--r-- 555 T7585.hs
-rw-r--r-- 4196 T7786.hs
-rw-r--r-- 338 T7804.hs
-rw-r--r-- 573 T7837.hs
-rw-r--r-- 256 T7837.stderr
-rw-r--r-- 64 T8002.hs
-rw-r--r-- 212 T8002a.hs
-rw-r--r-- 97 T8002b.hs
-rw-r--r-- 257 T8011.hs
-rw-r--r-- 203 T8011a.hs
-rw-r--r-- 115 T8018.hs
-rw-r--r-- 248 T8020.hs
-rw-r--r-- 128 T8500.hs
-rw-r--r-- 98 T8500a.hs
-rw-r--r-- 242 T8651.hs
-rw-r--r-- 267 T8889.hs
-rw-r--r-- 160 T8889.stderr
-rw-r--r-- 361 T8913.hs
-rw-r--r-- 292 T8978.hs
-rw-r--r-- 137 T8979.hs
-rw-r--r-- 101 T9085.hs
-rw-r--r-- 120 T9085.stderr
-rw-r--r-- 733 T9090.hs
-rw-r--r-- 254 T9211.hs
-rw-r--r-- 2822 T9316.hs
-rw-r--r-- 303 T9582.hs
-rw-r--r-- 1171 T9662.hs
-rw-r--r-- 1211 T9747.hs
-rw-r--r-- 204 T9840.hs
-rw-r--r-- 327 T9840.hs-boot
-rw-r--r-- 131 T9840a.hs
-rw-r--r-- 389 TF_GADT.hs
-rw-r--r-- 930 UnusedTyVarWarnings.hs
-rw-r--r-- 541 UnusedTyVarWarnings.stderr
-rw-r--r-- 954 UnusedTyVarWarningsNamedWCs.hs
-rw-r--r-- 573 UnusedTyVarWarningsNamedWCs.stderr
-rw-r--r-- 10322 all.T
-rw-r--r-- 108 impexp.stderr
-rw-r--r-- 277 ind1.hs
-rw-r--r-- 159 ind2.hs
-rw-r--r-- 11846 red-black-delete.hs