1ParseOk 2 ( Module 3 SrcSpanInfo 4 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 1 1 9 1 5 , srcInfoPoints = 6 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 1 1 1 1 7 , SrcSpan "tests/examples/InfixTypeMinus.hs" 2 1 2 1 8 , SrcSpan "tests/examples/InfixTypeMinus.hs" 2 1 2 1 9 , SrcSpan "tests/examples/InfixTypeMinus.hs" 5 1 5 1 10 , SrcSpan "tests/examples/InfixTypeMinus.hs" 6 1 6 1 11 , SrcSpan "tests/examples/InfixTypeMinus.hs" 7 1 7 1 12 , SrcSpan "tests/examples/InfixTypeMinus.hs" 8 1 8 1 13 , SrcSpan "tests/examples/InfixTypeMinus.hs" 9 1 9 1 14 , SrcSpan "tests/examples/InfixTypeMinus.hs" 9 1 9 1 15 ] 16 } 17 (Just 18 (ModuleHead 19 SrcSpanInfo 20 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 2 1 2 17 21 , srcInfoPoints = 22 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 2 1 2 7 23 , SrcSpan "tests/examples/InfixTypeMinus.hs" 2 12 2 17 24 ] 25 } 26 (ModuleName 27 SrcSpanInfo 28 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 2 8 2 11 29 , srcInfoPoints = [] 30 } 31 "Foo") 32 Nothing 33 Nothing)) 34 [ LanguagePragma 35 SrcSpanInfo 36 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 1 1 1 65 37 , srcInfoPoints = 38 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 1 1 1 13 39 , SrcSpan "tests/examples/InfixTypeMinus.hs" 1 23 1 24 40 , SrcSpan "tests/examples/InfixTypeMinus.hs" 1 39 1 40 41 , SrcSpan "tests/examples/InfixTypeMinus.hs" 1 54 1 55 42 , SrcSpan "tests/examples/InfixTypeMinus.hs" 1 62 1 65 43 ] 44 } 45 [ Ident 46 SrcSpanInfo 47 { srcInfoSpan = 48 SrcSpan "tests/examples/InfixTypeMinus.hs" 1 14 1 23 49 , srcInfoPoints = [] 50 } 51 "DataKinds" 52 , Ident 53 SrcSpanInfo 54 { srcInfoSpan = 55 SrcSpan "tests/examples/InfixTypeMinus.hs" 1 25 1 39 56 , srcInfoPoints = [] 57 } 58 "KindSignatures" 59 , Ident 60 SrcSpanInfo 61 { srcInfoSpan = 62 SrcSpan "tests/examples/InfixTypeMinus.hs" 1 41 1 54 63 , srcInfoPoints = [] 64 } 65 "TypeOperators" 66 , Ident 67 SrcSpanInfo 68 { srcInfoSpan = 69 SrcSpan "tests/examples/InfixTypeMinus.hs" 1 56 1 61 70 , srcInfoPoints = [] 71 } 72 "GADTs" 73 ] 74 ] 75 [] 76 [ GDataDecl 77 SrcSpanInfo 78 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 1 5 79 79 , srcInfoPoints = 80 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 5 21 5 26 81 , SrcSpan "tests/examples/InfixTypeMinus.hs" 5 27 5 28 82 , SrcSpan "tests/examples/InfixTypeMinus.hs" 5 78 5 79 83 ] 84 } 85 (DataType 86 SrcSpanInfo 87 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 1 5 5 88 , srcInfoPoints = [] 89 }) 90 Nothing 91 (DHApp 92 SrcSpanInfo 93 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 6 5 20 94 , srcInfoPoints = [] 95 } 96 (DHead 97 SrcSpanInfo 98 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 6 5 9 99 , srcInfoPoints = [] 100 } 101 (Ident 102 SrcSpanInfo 103 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 5 6 5 9 104 , srcInfoPoints = [] 105 } 106 "Vec")) 107 (KindedVar 108 SrcSpanInfo 109 { srcInfoSpan = 110 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 10 5 20 111 , srcInfoPoints = 112 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 5 10 5 11 113 , SrcSpan "tests/examples/InfixTypeMinus.hs" 5 13 5 15 114 , SrcSpan "tests/examples/InfixTypeMinus.hs" 5 19 5 20 115 ] 116 } 117 (Ident 118 SrcSpanInfo 119 { srcInfoSpan = 120 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 11 5 12 121 , srcInfoPoints = [] 122 } 123 "n") 124 (TyCon 125 SrcSpanInfo 126 { srcInfoSpan = 127 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 16 5 19 128 , srcInfoPoints = [] 129 } 130 (UnQual 131 SrcSpanInfo 132 { srcInfoSpan = 133 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 16 5 19 134 , srcInfoPoints = [] 135 } 136 (Ident 137 SrcSpanInfo 138 { srcInfoSpan = 139 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 16 5 19 140 , srcInfoPoints = [] 141 } 142 "Nat"))))) 143 Nothing 144 [ GadtDecl 145 SrcSpanInfo 146 { srcInfoSpan = 147 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 29 5 77 148 , srcInfoPoints = 149 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 5 35 5 37 ] 150 } 151 (Ident 152 SrcSpanInfo 153 { srcInfoSpan = 154 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 29 5 34 155 , srcInfoPoints = [] 156 } 157 "VCons") 158 Nothing 159 Nothing 160 Nothing 161 (TyForall 162 SrcSpanInfo 163 { srcInfoSpan = 164 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 38 5 77 165 , srcInfoPoints = [] 166 } 167 Nothing 168 (Just 169 (CxSingle 170 SrcSpanInfo 171 { srcInfoSpan = 172 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 38 5 52 173 , srcInfoPoints = 174 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 5 38 5 39 175 , SrcSpan "tests/examples/InfixTypeMinus.hs" 5 48 5 49 176 , SrcSpan "tests/examples/InfixTypeMinus.hs" 5 50 5 52 177 ] 178 } 179 (ParenA 180 SrcSpanInfo 181 { srcInfoSpan = 182 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 38 5 52 183 , srcInfoPoints = 184 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 5 38 5 39 185 , SrcSpan "tests/examples/InfixTypeMinus.hs" 5 48 5 49 186 , SrcSpan "tests/examples/InfixTypeMinus.hs" 5 50 5 52 187 ] 188 } 189 (TypeA 190 SrcSpanInfo 191 { srcInfoSpan = 192 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 39 5 48 193 , srcInfoPoints = 194 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 5 41 5 42 ] 195 } 196 (TyEquals 197 SrcSpanInfo 198 { srcInfoSpan = 199 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 39 5 48 200 , srcInfoPoints = 201 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 5 41 5 42 ] 202 } 203 (TyVar 204 SrcSpanInfo 205 { srcInfoSpan = 206 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 39 5 40 207 , srcInfoPoints = [] 208 } 209 (Ident 210 SrcSpanInfo 211 { srcInfoSpan = 212 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 39 5 40 213 , srcInfoPoints = [] 214 } 215 "m")) 216 (TyParen 217 SrcSpanInfo 218 { srcInfoSpan = 219 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 43 5 48 220 , srcInfoPoints = 221 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 5 43 5 44 222 , SrcSpan "tests/examples/InfixTypeMinus.hs" 5 47 5 48 223 ] 224 } 225 (TyInfix 226 SrcSpanInfo 227 { srcInfoSpan = 228 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 44 5 47 229 , srcInfoPoints = [] 230 } 231 (TyVar 232 SrcSpanInfo 233 { srcInfoSpan = 234 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 44 5 45 235 , srcInfoPoints = [] 236 } 237 (Ident 238 SrcSpanInfo 239 { srcInfoSpan = 240 SrcSpan 241 "tests/examples/InfixTypeMinus.hs" 5 44 5 45 242 , srcInfoPoints = [] 243 } 244 "n")) 245 (UnpromotedName 246 SrcSpanInfo 247 { srcInfoSpan = 248 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 45 5 46 249 , srcInfoPoints = [] 250 } 251 (UnQual 252 SrcSpanInfo 253 { srcInfoSpan = 254 SrcSpan 255 "tests/examples/InfixTypeMinus.hs" 5 45 5 46 256 , srcInfoPoints = [] 257 } 258 (Symbol 259 SrcSpanInfo 260 { srcInfoSpan = 261 SrcSpan 262 "tests/examples/InfixTypeMinus.hs" 5 45 5 46 263 , srcInfoPoints = [] 264 } 265 "-"))) 266 (TyPromoted 267 SrcSpanInfo 268 { srcInfoSpan = 269 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 46 5 47 270 , srcInfoPoints = [] 271 } 272 (PromotedInteger 273 SrcSpanInfo 274 { srcInfoSpan = 275 SrcSpan 276 "tests/examples/InfixTypeMinus.hs" 5 46 5 47 277 , srcInfoPoints = [] 278 } 279 1 280 "1"))))))))) 281 (TyFun 282 SrcSpanInfo 283 { srcInfoSpan = 284 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 53 5 77 285 , srcInfoPoints = 286 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 5 60 5 62 ] 287 } 288 (TyCon 289 SrcSpanInfo 290 { srcInfoSpan = 291 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 53 5 59 292 , srcInfoPoints = [] 293 } 294 (UnQual 295 SrcSpanInfo 296 { srcInfoSpan = 297 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 53 5 59 298 , srcInfoPoints = [] 299 } 300 (Ident 301 SrcSpanInfo 302 { srcInfoSpan = 303 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 53 5 59 304 , srcInfoPoints = [] 305 } 306 "Double"))) 307 (TyFun 308 SrcSpanInfo 309 { srcInfoSpan = 310 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 63 5 77 311 , srcInfoPoints = 312 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 5 69 5 71 ] 313 } 314 (TyApp 315 SrcSpanInfo 316 { srcInfoSpan = 317 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 63 5 68 318 , srcInfoPoints = [] 319 } 320 (TyCon 321 SrcSpanInfo 322 { srcInfoSpan = 323 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 63 5 66 324 , srcInfoPoints = [] 325 } 326 (UnQual 327 SrcSpanInfo 328 { srcInfoSpan = 329 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 63 5 66 330 , srcInfoPoints = [] 331 } 332 (Ident 333 SrcSpanInfo 334 { srcInfoSpan = 335 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 63 5 66 336 , srcInfoPoints = [] 337 } 338 "Vec"))) 339 (TyVar 340 SrcSpanInfo 341 { srcInfoSpan = 342 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 67 5 68 343 , srcInfoPoints = [] 344 } 345 (Ident 346 SrcSpanInfo 347 { srcInfoSpan = 348 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 67 5 68 349 , srcInfoPoints = [] 350 } 351 "m"))) 352 (TyApp 353 SrcSpanInfo 354 { srcInfoSpan = 355 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 72 5 77 356 , srcInfoPoints = [] 357 } 358 (TyCon 359 SrcSpanInfo 360 { srcInfoSpan = 361 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 72 5 75 362 , srcInfoPoints = [] 363 } 364 (UnQual 365 SrcSpanInfo 366 { srcInfoSpan = 367 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 72 5 75 368 , srcInfoPoints = [] 369 } 370 (Ident 371 SrcSpanInfo 372 { srcInfoSpan = 373 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 72 5 75 374 , srcInfoPoints = [] 375 } 376 "Vec"))) 377 (TyVar 378 SrcSpanInfo 379 { srcInfoSpan = 380 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 76 5 77 381 , srcInfoPoints = [] 382 } 383 (Ident 384 SrcSpanInfo 385 { srcInfoSpan = 386 SrcSpan "tests/examples/InfixTypeMinus.hs" 5 76 5 77 387 , srcInfoPoints = [] 388 } 389 "n")))))) 390 ] 391 [] 392 , GDataDecl 393 SrcSpanInfo 394 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 1 6 79 395 , srcInfoPoints = 396 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 6 21 6 26 397 , SrcSpan "tests/examples/InfixTypeMinus.hs" 6 27 6 28 398 , SrcSpan "tests/examples/InfixTypeMinus.hs" 6 78 6 79 399 ] 400 } 401 (DataType 402 SrcSpanInfo 403 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 1 6 5 404 , srcInfoPoints = [] 405 }) 406 Nothing 407 (DHApp 408 SrcSpanInfo 409 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 6 6 20 410 , srcInfoPoints = [] 411 } 412 (DHead 413 SrcSpanInfo 414 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 6 6 9 415 , srcInfoPoints = [] 416 } 417 (Ident 418 SrcSpanInfo 419 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 6 6 6 9 420 , srcInfoPoints = [] 421 } 422 "Vec")) 423 (KindedVar 424 SrcSpanInfo 425 { srcInfoSpan = 426 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 10 6 20 427 , srcInfoPoints = 428 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 6 10 6 11 429 , SrcSpan "tests/examples/InfixTypeMinus.hs" 6 13 6 15 430 , SrcSpan "tests/examples/InfixTypeMinus.hs" 6 19 6 20 431 ] 432 } 433 (Ident 434 SrcSpanInfo 435 { srcInfoSpan = 436 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 11 6 12 437 , srcInfoPoints = [] 438 } 439 "n") 440 (TyCon 441 SrcSpanInfo 442 { srcInfoSpan = 443 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 16 6 19 444 , srcInfoPoints = [] 445 } 446 (UnQual 447 SrcSpanInfo 448 { srcInfoSpan = 449 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 16 6 19 450 , srcInfoPoints = [] 451 } 452 (Ident 453 SrcSpanInfo 454 { srcInfoSpan = 455 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 16 6 19 456 , srcInfoPoints = [] 457 } 458 "Nat"))))) 459 Nothing 460 [ GadtDecl 461 SrcSpanInfo 462 { srcInfoSpan = 463 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 29 6 77 464 , srcInfoPoints = 465 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 6 35 6 37 ] 466 } 467 (Ident 468 SrcSpanInfo 469 { srcInfoSpan = 470 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 29 6 34 471 , srcInfoPoints = [] 472 } 473 "VCons") 474 Nothing 475 Nothing 476 Nothing 477 (TyForall 478 SrcSpanInfo 479 { srcInfoSpan = 480 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 38 6 77 481 , srcInfoPoints = [] 482 } 483 Nothing 484 (Just 485 (CxSingle 486 SrcSpanInfo 487 { srcInfoSpan = 488 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 38 6 52 489 , srcInfoPoints = 490 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 6 38 6 39 491 , SrcSpan "tests/examples/InfixTypeMinus.hs" 6 48 6 49 492 , SrcSpan "tests/examples/InfixTypeMinus.hs" 6 50 6 52 493 ] 494 } 495 (ParenA 496 SrcSpanInfo 497 { srcInfoSpan = 498 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 38 6 52 499 , srcInfoPoints = 500 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 6 38 6 39 501 , SrcSpan "tests/examples/InfixTypeMinus.hs" 6 48 6 49 502 , SrcSpan "tests/examples/InfixTypeMinus.hs" 6 50 6 52 503 ] 504 } 505 (TypeA 506 SrcSpanInfo 507 { srcInfoSpan = 508 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 39 6 48 509 , srcInfoPoints = 510 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 6 45 6 46 ] 511 } 512 (TyEquals 513 SrcSpanInfo 514 { srcInfoSpan = 515 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 39 6 48 516 , srcInfoPoints = 517 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 6 45 6 46 ] 518 } 519 (TyParen 520 SrcSpanInfo 521 { srcInfoSpan = 522 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 39 6 44 523 , srcInfoPoints = 524 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 6 39 6 40 525 , SrcSpan "tests/examples/InfixTypeMinus.hs" 6 43 6 44 526 ] 527 } 528 (TyInfix 529 SrcSpanInfo 530 { srcInfoSpan = 531 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 40 6 43 532 , srcInfoPoints = [] 533 } 534 (TyVar 535 SrcSpanInfo 536 { srcInfoSpan = 537 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 40 6 41 538 , srcInfoPoints = [] 539 } 540 (Ident 541 SrcSpanInfo 542 { srcInfoSpan = 543 SrcSpan 544 "tests/examples/InfixTypeMinus.hs" 6 40 6 41 545 , srcInfoPoints = [] 546 } 547 "n")) 548 (UnpromotedName 549 SrcSpanInfo 550 { srcInfoSpan = 551 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 41 6 42 552 , srcInfoPoints = [] 553 } 554 (UnQual 555 SrcSpanInfo 556 { srcInfoSpan = 557 SrcSpan 558 "tests/examples/InfixTypeMinus.hs" 6 41 6 42 559 , srcInfoPoints = [] 560 } 561 (Symbol 562 SrcSpanInfo 563 { srcInfoSpan = 564 SrcSpan 565 "tests/examples/InfixTypeMinus.hs" 6 41 6 42 566 , srcInfoPoints = [] 567 } 568 "-"))) 569 (TyPromoted 570 SrcSpanInfo 571 { srcInfoSpan = 572 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 42 6 43 573 , srcInfoPoints = [] 574 } 575 (PromotedInteger 576 SrcSpanInfo 577 { srcInfoSpan = 578 SrcSpan 579 "tests/examples/InfixTypeMinus.hs" 6 42 6 43 580 , srcInfoPoints = [] 581 } 582 1 583 "1")))) 584 (TyVar 585 SrcSpanInfo 586 { srcInfoSpan = 587 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 47 6 48 588 , srcInfoPoints = [] 589 } 590 (Ident 591 SrcSpanInfo 592 { srcInfoSpan = 593 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 47 6 48 594 , srcInfoPoints = [] 595 } 596 "m"))))))) 597 (TyFun 598 SrcSpanInfo 599 { srcInfoSpan = 600 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 53 6 77 601 , srcInfoPoints = 602 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 6 60 6 62 ] 603 } 604 (TyCon 605 SrcSpanInfo 606 { srcInfoSpan = 607 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 53 6 59 608 , srcInfoPoints = [] 609 } 610 (UnQual 611 SrcSpanInfo 612 { srcInfoSpan = 613 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 53 6 59 614 , srcInfoPoints = [] 615 } 616 (Ident 617 SrcSpanInfo 618 { srcInfoSpan = 619 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 53 6 59 620 , srcInfoPoints = [] 621 } 622 "Double"))) 623 (TyFun 624 SrcSpanInfo 625 { srcInfoSpan = 626 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 63 6 77 627 , srcInfoPoints = 628 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 6 69 6 71 ] 629 } 630 (TyApp 631 SrcSpanInfo 632 { srcInfoSpan = 633 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 63 6 68 634 , srcInfoPoints = [] 635 } 636 (TyCon 637 SrcSpanInfo 638 { srcInfoSpan = 639 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 63 6 66 640 , srcInfoPoints = [] 641 } 642 (UnQual 643 SrcSpanInfo 644 { srcInfoSpan = 645 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 63 6 66 646 , srcInfoPoints = [] 647 } 648 (Ident 649 SrcSpanInfo 650 { srcInfoSpan = 651 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 63 6 66 652 , srcInfoPoints = [] 653 } 654 "Vec"))) 655 (TyVar 656 SrcSpanInfo 657 { srcInfoSpan = 658 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 67 6 68 659 , srcInfoPoints = [] 660 } 661 (Ident 662 SrcSpanInfo 663 { srcInfoSpan = 664 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 67 6 68 665 , srcInfoPoints = [] 666 } 667 "m"))) 668 (TyApp 669 SrcSpanInfo 670 { srcInfoSpan = 671 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 72 6 77 672 , srcInfoPoints = [] 673 } 674 (TyCon 675 SrcSpanInfo 676 { srcInfoSpan = 677 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 72 6 75 678 , srcInfoPoints = [] 679 } 680 (UnQual 681 SrcSpanInfo 682 { srcInfoSpan = 683 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 72 6 75 684 , srcInfoPoints = [] 685 } 686 (Ident 687 SrcSpanInfo 688 { srcInfoSpan = 689 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 72 6 75 690 , srcInfoPoints = [] 691 } 692 "Vec"))) 693 (TyVar 694 SrcSpanInfo 695 { srcInfoSpan = 696 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 76 6 77 697 , srcInfoPoints = [] 698 } 699 (Ident 700 SrcSpanInfo 701 { srcInfoSpan = 702 SrcSpan "tests/examples/InfixTypeMinus.hs" 6 76 6 77 703 , srcInfoPoints = [] 704 } 705 "n")))))) 706 ] 707 [] 708 , GDataDecl 709 SrcSpanInfo 710 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 1 7 79 711 , srcInfoPoints = 712 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 7 21 7 26 713 , SrcSpan "tests/examples/InfixTypeMinus.hs" 7 27 7 28 714 , SrcSpan "tests/examples/InfixTypeMinus.hs" 7 78 7 79 715 ] 716 } 717 (DataType 718 SrcSpanInfo 719 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 1 7 5 720 , srcInfoPoints = [] 721 }) 722 Nothing 723 (DHApp 724 SrcSpanInfo 725 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 6 7 20 726 , srcInfoPoints = [] 727 } 728 (DHead 729 SrcSpanInfo 730 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 6 7 9 731 , srcInfoPoints = [] 732 } 733 (Ident 734 SrcSpanInfo 735 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 7 6 7 9 736 , srcInfoPoints = [] 737 } 738 "Vec")) 739 (KindedVar 740 SrcSpanInfo 741 { srcInfoSpan = 742 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 10 7 20 743 , srcInfoPoints = 744 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 7 10 7 11 745 , SrcSpan "tests/examples/InfixTypeMinus.hs" 7 13 7 15 746 , SrcSpan "tests/examples/InfixTypeMinus.hs" 7 19 7 20 747 ] 748 } 749 (Ident 750 SrcSpanInfo 751 { srcInfoSpan = 752 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 11 7 12 753 , srcInfoPoints = [] 754 } 755 "n") 756 (TyCon 757 SrcSpanInfo 758 { srcInfoSpan = 759 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 16 7 19 760 , srcInfoPoints = [] 761 } 762 (UnQual 763 SrcSpanInfo 764 { srcInfoSpan = 765 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 16 7 19 766 , srcInfoPoints = [] 767 } 768 (Ident 769 SrcSpanInfo 770 { srcInfoSpan = 771 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 16 7 19 772 , srcInfoPoints = [] 773 } 774 "Nat"))))) 775 Nothing 776 [ GadtDecl 777 SrcSpanInfo 778 { srcInfoSpan = 779 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 29 7 77 780 , srcInfoPoints = 781 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 7 35 7 37 ] 782 } 783 (Ident 784 SrcSpanInfo 785 { srcInfoSpan = 786 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 29 7 34 787 , srcInfoPoints = [] 788 } 789 "VCons") 790 Nothing 791 Nothing 792 Nothing 793 (TyForall 794 SrcSpanInfo 795 { srcInfoSpan = 796 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 38 7 77 797 , srcInfoPoints = [] 798 } 799 Nothing 800 (Just 801 (CxSingle 802 SrcSpanInfo 803 { srcInfoSpan = 804 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 38 7 52 805 , srcInfoPoints = 806 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 7 38 7 39 807 , SrcSpan "tests/examples/InfixTypeMinus.hs" 7 48 7 49 808 , SrcSpan "tests/examples/InfixTypeMinus.hs" 7 50 7 52 809 ] 810 } 811 (ParenA 812 SrcSpanInfo 813 { srcInfoSpan = 814 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 38 7 52 815 , srcInfoPoints = 816 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 7 38 7 39 817 , SrcSpan "tests/examples/InfixTypeMinus.hs" 7 48 7 49 818 , SrcSpan "tests/examples/InfixTypeMinus.hs" 7 50 7 52 819 ] 820 } 821 (TypeA 822 SrcSpanInfo 823 { srcInfoSpan = 824 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 39 7 48 825 , srcInfoPoints = 826 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 7 45 7 46 ] 827 } 828 (TyEquals 829 SrcSpanInfo 830 { srcInfoSpan = 831 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 39 7 48 832 , srcInfoPoints = 833 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 7 45 7 46 ] 834 } 835 (TyParen 836 SrcSpanInfo 837 { srcInfoSpan = 838 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 39 7 44 839 , srcInfoPoints = 840 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 7 39 7 40 841 , SrcSpan "tests/examples/InfixTypeMinus.hs" 7 43 7 44 842 ] 843 } 844 (TyInfix 845 SrcSpanInfo 846 { srcInfoSpan = 847 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 40 7 43 848 , srcInfoPoints = [] 849 } 850 (TyVar 851 SrcSpanInfo 852 { srcInfoSpan = 853 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 40 7 41 854 , srcInfoPoints = [] 855 } 856 (Ident 857 SrcSpanInfo 858 { srcInfoSpan = 859 SrcSpan 860 "tests/examples/InfixTypeMinus.hs" 7 40 7 41 861 , srcInfoPoints = [] 862 } 863 "m")) 864 (UnpromotedName 865 SrcSpanInfo 866 { srcInfoSpan = 867 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 41 7 42 868 , srcInfoPoints = [] 869 } 870 (UnQual 871 SrcSpanInfo 872 { srcInfoSpan = 873 SrcSpan 874 "tests/examples/InfixTypeMinus.hs" 7 41 7 42 875 , srcInfoPoints = [] 876 } 877 (Symbol 878 SrcSpanInfo 879 { srcInfoSpan = 880 SrcSpan 881 "tests/examples/InfixTypeMinus.hs" 7 41 7 42 882 , srcInfoPoints = [] 883 } 884 "+"))) 885 (TyPromoted 886 SrcSpanInfo 887 { srcInfoSpan = 888 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 42 7 43 889 , srcInfoPoints = [] 890 } 891 (PromotedInteger 892 SrcSpanInfo 893 { srcInfoSpan = 894 SrcSpan 895 "tests/examples/InfixTypeMinus.hs" 7 42 7 43 896 , srcInfoPoints = [] 897 } 898 1 899 "1")))) 900 (TyVar 901 SrcSpanInfo 902 { srcInfoSpan = 903 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 47 7 48 904 , srcInfoPoints = [] 905 } 906 (Ident 907 SrcSpanInfo 908 { srcInfoSpan = 909 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 47 7 48 910 , srcInfoPoints = [] 911 } 912 "n"))))))) 913 (TyFun 914 SrcSpanInfo 915 { srcInfoSpan = 916 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 53 7 77 917 , srcInfoPoints = 918 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 7 60 7 62 ] 919 } 920 (TyCon 921 SrcSpanInfo 922 { srcInfoSpan = 923 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 53 7 59 924 , srcInfoPoints = [] 925 } 926 (UnQual 927 SrcSpanInfo 928 { srcInfoSpan = 929 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 53 7 59 930 , srcInfoPoints = [] 931 } 932 (Ident 933 SrcSpanInfo 934 { srcInfoSpan = 935 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 53 7 59 936 , srcInfoPoints = [] 937 } 938 "Double"))) 939 (TyFun 940 SrcSpanInfo 941 { srcInfoSpan = 942 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 63 7 77 943 , srcInfoPoints = 944 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 7 69 7 71 ] 945 } 946 (TyApp 947 SrcSpanInfo 948 { srcInfoSpan = 949 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 63 7 68 950 , srcInfoPoints = [] 951 } 952 (TyCon 953 SrcSpanInfo 954 { srcInfoSpan = 955 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 63 7 66 956 , srcInfoPoints = [] 957 } 958 (UnQual 959 SrcSpanInfo 960 { srcInfoSpan = 961 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 63 7 66 962 , srcInfoPoints = [] 963 } 964 (Ident 965 SrcSpanInfo 966 { srcInfoSpan = 967 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 63 7 66 968 , srcInfoPoints = [] 969 } 970 "Vec"))) 971 (TyVar 972 SrcSpanInfo 973 { srcInfoSpan = 974 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 67 7 68 975 , srcInfoPoints = [] 976 } 977 (Ident 978 SrcSpanInfo 979 { srcInfoSpan = 980 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 67 7 68 981 , srcInfoPoints = [] 982 } 983 "m"))) 984 (TyApp 985 SrcSpanInfo 986 { srcInfoSpan = 987 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 72 7 77 988 , srcInfoPoints = [] 989 } 990 (TyCon 991 SrcSpanInfo 992 { srcInfoSpan = 993 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 72 7 75 994 , srcInfoPoints = [] 995 } 996 (UnQual 997 SrcSpanInfo 998 { srcInfoSpan = 999 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 72 7 75 1000 , srcInfoPoints = [] 1001 } 1002 (Ident 1003 SrcSpanInfo 1004 { srcInfoSpan = 1005 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 72 7 75 1006 , srcInfoPoints = [] 1007 } 1008 "Vec"))) 1009 (TyVar 1010 SrcSpanInfo 1011 { srcInfoSpan = 1012 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 76 7 77 1013 , srcInfoPoints = [] 1014 } 1015 (Ident 1016 SrcSpanInfo 1017 { srcInfoSpan = 1018 SrcSpan "tests/examples/InfixTypeMinus.hs" 7 76 7 77 1019 , srcInfoPoints = [] 1020 } 1021 "n")))))) 1022 ] 1023 [] 1024 , GDataDecl 1025 SrcSpanInfo 1026 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 1 8 79 1027 , srcInfoPoints = 1028 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 8 21 8 26 1029 , SrcSpan "tests/examples/InfixTypeMinus.hs" 8 27 8 28 1030 , SrcSpan "tests/examples/InfixTypeMinus.hs" 8 78 8 79 1031 ] 1032 } 1033 (DataType 1034 SrcSpanInfo 1035 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 1 8 5 1036 , srcInfoPoints = [] 1037 }) 1038 Nothing 1039 (DHApp 1040 SrcSpanInfo 1041 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 6 8 20 1042 , srcInfoPoints = [] 1043 } 1044 (DHead 1045 SrcSpanInfo 1046 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 6 8 9 1047 , srcInfoPoints = [] 1048 } 1049 (Ident 1050 SrcSpanInfo 1051 { srcInfoSpan = SrcSpan "tests/examples/InfixTypeMinus.hs" 8 6 8 9 1052 , srcInfoPoints = [] 1053 } 1054 "Vec")) 1055 (KindedVar 1056 SrcSpanInfo 1057 { srcInfoSpan = 1058 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 10 8 20 1059 , srcInfoPoints = 1060 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 8 10 8 11 1061 , SrcSpan "tests/examples/InfixTypeMinus.hs" 8 13 8 15 1062 , SrcSpan "tests/examples/InfixTypeMinus.hs" 8 19 8 20 1063 ] 1064 } 1065 (Ident 1066 SrcSpanInfo 1067 { srcInfoSpan = 1068 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 11 8 12 1069 , srcInfoPoints = [] 1070 } 1071 "n") 1072 (TyCon 1073 SrcSpanInfo 1074 { srcInfoSpan = 1075 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 16 8 19 1076 , srcInfoPoints = [] 1077 } 1078 (UnQual 1079 SrcSpanInfo 1080 { srcInfoSpan = 1081 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 16 8 19 1082 , srcInfoPoints = [] 1083 } 1084 (Ident 1085 SrcSpanInfo 1086 { srcInfoSpan = 1087 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 16 8 19 1088 , srcInfoPoints = [] 1089 } 1090 "Nat"))))) 1091 Nothing 1092 [ GadtDecl 1093 SrcSpanInfo 1094 { srcInfoSpan = 1095 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 29 8 77 1096 , srcInfoPoints = 1097 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 8 35 8 37 ] 1098 } 1099 (Ident 1100 SrcSpanInfo 1101 { srcInfoSpan = 1102 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 29 8 34 1103 , srcInfoPoints = [] 1104 } 1105 "VCons") 1106 Nothing 1107 Nothing 1108 Nothing 1109 (TyForall 1110 SrcSpanInfo 1111 { srcInfoSpan = 1112 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 38 8 77 1113 , srcInfoPoints = [] 1114 } 1115 Nothing 1116 (Just 1117 (CxSingle 1118 SrcSpanInfo 1119 { srcInfoSpan = 1120 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 38 8 52 1121 , srcInfoPoints = 1122 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 8 38 8 39 1123 , SrcSpan "tests/examples/InfixTypeMinus.hs" 8 48 8 49 1124 , SrcSpan "tests/examples/InfixTypeMinus.hs" 8 50 8 52 1125 ] 1126 } 1127 (ParenA 1128 SrcSpanInfo 1129 { srcInfoSpan = 1130 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 38 8 52 1131 , srcInfoPoints = 1132 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 8 38 8 39 1133 , SrcSpan "tests/examples/InfixTypeMinus.hs" 8 48 8 49 1134 , SrcSpan "tests/examples/InfixTypeMinus.hs" 8 50 8 52 1135 ] 1136 } 1137 (TypeA 1138 SrcSpanInfo 1139 { srcInfoSpan = 1140 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 39 8 48 1141 , srcInfoPoints = 1142 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 8 41 8 42 ] 1143 } 1144 (TyEquals 1145 SrcSpanInfo 1146 { srcInfoSpan = 1147 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 39 8 48 1148 , srcInfoPoints = 1149 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 8 41 8 42 ] 1150 } 1151 (TyVar 1152 SrcSpanInfo 1153 { srcInfoSpan = 1154 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 39 8 40 1155 , srcInfoPoints = [] 1156 } 1157 (Ident 1158 SrcSpanInfo 1159 { srcInfoSpan = 1160 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 39 8 40 1161 , srcInfoPoints = [] 1162 } 1163 "n")) 1164 (TyParen 1165 SrcSpanInfo 1166 { srcInfoSpan = 1167 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 43 8 48 1168 , srcInfoPoints = 1169 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 8 43 8 44 1170 , SrcSpan "tests/examples/InfixTypeMinus.hs" 8 47 8 48 1171 ] 1172 } 1173 (TyInfix 1174 SrcSpanInfo 1175 { srcInfoSpan = 1176 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 44 8 47 1177 , srcInfoPoints = [] 1178 } 1179 (TyVar 1180 SrcSpanInfo 1181 { srcInfoSpan = 1182 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 44 8 45 1183 , srcInfoPoints = [] 1184 } 1185 (Ident 1186 SrcSpanInfo 1187 { srcInfoSpan = 1188 SrcSpan 1189 "tests/examples/InfixTypeMinus.hs" 8 44 8 45 1190 , srcInfoPoints = [] 1191 } 1192 "m")) 1193 (UnpromotedName 1194 SrcSpanInfo 1195 { srcInfoSpan = 1196 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 45 8 46 1197 , srcInfoPoints = [] 1198 } 1199 (UnQual 1200 SrcSpanInfo 1201 { srcInfoSpan = 1202 SrcSpan 1203 "tests/examples/InfixTypeMinus.hs" 8 45 8 46 1204 , srcInfoPoints = [] 1205 } 1206 (Symbol 1207 SrcSpanInfo 1208 { srcInfoSpan = 1209 SrcSpan 1210 "tests/examples/InfixTypeMinus.hs" 8 45 8 46 1211 , srcInfoPoints = [] 1212 } 1213 "+"))) 1214 (TyPromoted 1215 SrcSpanInfo 1216 { srcInfoSpan = 1217 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 46 8 47 1218 , srcInfoPoints = [] 1219 } 1220 (PromotedInteger 1221 SrcSpanInfo 1222 { srcInfoSpan = 1223 SrcSpan 1224 "tests/examples/InfixTypeMinus.hs" 8 46 8 47 1225 , srcInfoPoints = [] 1226 } 1227 1 1228 "1"))))))))) 1229 (TyFun 1230 SrcSpanInfo 1231 { srcInfoSpan = 1232 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 53 8 77 1233 , srcInfoPoints = 1234 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 8 60 8 62 ] 1235 } 1236 (TyCon 1237 SrcSpanInfo 1238 { srcInfoSpan = 1239 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 53 8 59 1240 , srcInfoPoints = [] 1241 } 1242 (UnQual 1243 SrcSpanInfo 1244 { srcInfoSpan = 1245 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 53 8 59 1246 , srcInfoPoints = [] 1247 } 1248 (Ident 1249 SrcSpanInfo 1250 { srcInfoSpan = 1251 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 53 8 59 1252 , srcInfoPoints = [] 1253 } 1254 "Double"))) 1255 (TyFun 1256 SrcSpanInfo 1257 { srcInfoSpan = 1258 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 63 8 77 1259 , srcInfoPoints = 1260 [ SrcSpan "tests/examples/InfixTypeMinus.hs" 8 69 8 71 ] 1261 } 1262 (TyApp 1263 SrcSpanInfo 1264 { srcInfoSpan = 1265 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 63 8 68 1266 , srcInfoPoints = [] 1267 } 1268 (TyCon 1269 SrcSpanInfo 1270 { srcInfoSpan = 1271 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 63 8 66 1272 , srcInfoPoints = [] 1273 } 1274 (UnQual 1275 SrcSpanInfo 1276 { srcInfoSpan = 1277 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 63 8 66 1278 , srcInfoPoints = [] 1279 } 1280 (Ident 1281 SrcSpanInfo 1282 { srcInfoSpan = 1283 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 63 8 66 1284 , srcInfoPoints = [] 1285 } 1286 "Vec"))) 1287 (TyVar 1288 SrcSpanInfo 1289 { srcInfoSpan = 1290 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 67 8 68 1291 , srcInfoPoints = [] 1292 } 1293 (Ident 1294 SrcSpanInfo 1295 { srcInfoSpan = 1296 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 67 8 68 1297 , srcInfoPoints = [] 1298 } 1299 "m"))) 1300 (TyApp 1301 SrcSpanInfo 1302 { srcInfoSpan = 1303 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 72 8 77 1304 , srcInfoPoints = [] 1305 } 1306 (TyCon 1307 SrcSpanInfo 1308 { srcInfoSpan = 1309 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 72 8 75 1310 , srcInfoPoints = [] 1311 } 1312 (UnQual 1313 SrcSpanInfo 1314 { srcInfoSpan = 1315 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 72 8 75 1316 , srcInfoPoints = [] 1317 } 1318 (Ident 1319 SrcSpanInfo 1320 { srcInfoSpan = 1321 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 72 8 75 1322 , srcInfoPoints = [] 1323 } 1324 "Vec"))) 1325 (TyVar 1326 SrcSpanInfo 1327 { srcInfoSpan = 1328 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 76 8 77 1329 , srcInfoPoints = [] 1330 } 1331 (Ident 1332 SrcSpanInfo 1333 { srcInfoSpan = 1334 SrcSpan "tests/examples/InfixTypeMinus.hs" 8 76 8 77 1335 , srcInfoPoints = [] 1336 } 1337 "n")))))) 1338 ] 1339 [] 1340 ] 1341 , [ Comment 1342 False 1343 (SrcSpan "tests/examples/InfixTypeMinus.hs" 4 1 4 14) 1344 " Test cases" 1345 ] 1346 ) 1347