1ParseOk 2 ( Module 3 SrcSpanInfo 4 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 1 8 1 5 , srcInfoPoints = 6 [ SrcSpan "tests/examples/MinimalPragma.hs" 1 1 1 1 7 , SrcSpan "tests/examples/MinimalPragma.hs" 1 1 1 1 8 , SrcSpan "tests/examples/MinimalPragma.hs" 1 1 1 1 9 , SrcSpan "tests/examples/MinimalPragma.hs" 8 1 8 1 10 , SrcSpan "tests/examples/MinimalPragma.hs" 8 1 8 1 11 ] 12 } 13 Nothing 14 [] 15 [] 16 [ ClassDecl 17 SrcSpanInfo 18 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 1 6 33 19 , srcInfoPoints = 20 [ SrcSpan "tests/examples/MinimalPragma.hs" 1 1 1 6 21 , SrcSpan "tests/examples/MinimalPragma.hs" 1 12 1 17 22 , SrcSpan "tests/examples/MinimalPragma.hs" 2 6 2 6 23 , SrcSpan "tests/examples/MinimalPragma.hs" 3 6 3 6 24 , SrcSpan "tests/examples/MinimalPragma.hs" 4 6 4 6 25 , SrcSpan "tests/examples/MinimalPragma.hs" 5 6 5 6 26 , SrcSpan "tests/examples/MinimalPragma.hs" 6 6 6 6 27 , SrcSpan "tests/examples/MinimalPragma.hs" 8 1 8 0 28 ] 29 } 30 Nothing 31 (DHApp 32 SrcSpanInfo 33 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 7 1 11 34 , srcInfoPoints = [] 35 } 36 (DHead 37 SrcSpanInfo 38 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 7 1 9 39 , srcInfoPoints = [] 40 } 41 (Ident 42 SrcSpanInfo 43 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 7 1 9 44 , srcInfoPoints = [] 45 } 46 "Eq")) 47 (UnkindedVar 48 SrcSpanInfo 49 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 10 1 11 50 , srcInfoPoints = [] 51 } 52 (Ident 53 SrcSpanInfo 54 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 1 10 1 11 55 , srcInfoPoints = [] 56 } 57 "a"))) 58 [] 59 (Just 60 [ ClsDecl 61 SrcSpanInfo 62 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 6 2 28 63 , srcInfoPoints = 64 [ SrcSpan "tests/examples/MinimalPragma.hs" 2 11 2 13 ] 65 } 66 (TypeSig 67 SrcSpanInfo 68 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 6 2 28 69 , srcInfoPoints = 70 [ SrcSpan "tests/examples/MinimalPragma.hs" 2 11 2 13 ] 71 } 72 [ Symbol 73 SrcSpanInfo 74 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 6 2 10 75 , srcInfoPoints = 76 [ SrcSpan "tests/examples/MinimalPragma.hs" 2 6 2 7 77 , SrcSpan "tests/examples/MinimalPragma.hs" 2 7 2 9 78 , SrcSpan "tests/examples/MinimalPragma.hs" 2 9 2 10 79 ] 80 } 81 "==" 82 ] 83 (TyFun 84 SrcSpanInfo 85 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 14 2 28 86 , srcInfoPoints = 87 [ SrcSpan "tests/examples/MinimalPragma.hs" 2 16 2 18 ] 88 } 89 (TyVar 90 SrcSpanInfo 91 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 14 2 15 92 , srcInfoPoints = [] 93 } 94 (Ident 95 SrcSpanInfo 96 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 14 2 15 97 , srcInfoPoints = [] 98 } 99 "a")) 100 (TyFun 101 SrcSpanInfo 102 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 19 2 28 103 , srcInfoPoints = 104 [ SrcSpan "tests/examples/MinimalPragma.hs" 2 21 2 23 ] 105 } 106 (TyVar 107 SrcSpanInfo 108 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 19 2 20 109 , srcInfoPoints = [] 110 } 111 (Ident 112 SrcSpanInfo 113 { srcInfoSpan = 114 SrcSpan "tests/examples/MinimalPragma.hs" 2 19 2 20 115 , srcInfoPoints = [] 116 } 117 "a")) 118 (TyCon 119 SrcSpanInfo 120 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 2 24 2 28 121 , srcInfoPoints = [] 122 } 123 (UnQual 124 SrcSpanInfo 125 { srcInfoSpan = 126 SrcSpan "tests/examples/MinimalPragma.hs" 2 24 2 28 127 , srcInfoPoints = [] 128 } 129 (Ident 130 SrcSpanInfo 131 { srcInfoSpan = 132 SrcSpan "tests/examples/MinimalPragma.hs" 2 24 2 28 133 , srcInfoPoints = [] 134 } 135 "Bool")))))) 136 , ClsDecl 137 SrcSpanInfo 138 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 6 3 28 139 , srcInfoPoints = 140 [ SrcSpan "tests/examples/MinimalPragma.hs" 3 11 3 13 ] 141 } 142 (TypeSig 143 SrcSpanInfo 144 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 6 3 28 145 , srcInfoPoints = 146 [ SrcSpan "tests/examples/MinimalPragma.hs" 3 11 3 13 ] 147 } 148 [ Symbol 149 SrcSpanInfo 150 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 6 3 10 151 , srcInfoPoints = 152 [ SrcSpan "tests/examples/MinimalPragma.hs" 3 6 3 7 153 , SrcSpan "tests/examples/MinimalPragma.hs" 3 7 3 9 154 , SrcSpan "tests/examples/MinimalPragma.hs" 3 9 3 10 155 ] 156 } 157 "/=" 158 ] 159 (TyFun 160 SrcSpanInfo 161 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 14 3 28 162 , srcInfoPoints = 163 [ SrcSpan "tests/examples/MinimalPragma.hs" 3 16 3 18 ] 164 } 165 (TyVar 166 SrcSpanInfo 167 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 14 3 15 168 , srcInfoPoints = [] 169 } 170 (Ident 171 SrcSpanInfo 172 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 14 3 15 173 , srcInfoPoints = [] 174 } 175 "a")) 176 (TyFun 177 SrcSpanInfo 178 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 19 3 28 179 , srcInfoPoints = 180 [ SrcSpan "tests/examples/MinimalPragma.hs" 3 21 3 23 ] 181 } 182 (TyVar 183 SrcSpanInfo 184 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 19 3 20 185 , srcInfoPoints = [] 186 } 187 (Ident 188 SrcSpanInfo 189 { srcInfoSpan = 190 SrcSpan "tests/examples/MinimalPragma.hs" 3 19 3 20 191 , srcInfoPoints = [] 192 } 193 "a")) 194 (TyCon 195 SrcSpanInfo 196 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 3 24 3 28 197 , srcInfoPoints = [] 198 } 199 (UnQual 200 SrcSpanInfo 201 { srcInfoSpan = 202 SrcSpan "tests/examples/MinimalPragma.hs" 3 24 3 28 203 , srcInfoPoints = [] 204 } 205 (Ident 206 SrcSpanInfo 207 { srcInfoSpan = 208 SrcSpan "tests/examples/MinimalPragma.hs" 3 24 3 28 209 , srcInfoPoints = [] 210 } 211 "Bool")))))) 212 , ClsDecl 213 SrcSpanInfo 214 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 6 4 27 215 , srcInfoPoints = [] 216 } 217 (FunBind 218 SrcSpanInfo 219 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 6 4 27 220 , srcInfoPoints = [] 221 } 222 [ InfixMatch 223 SrcSpanInfo 224 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 6 4 27 225 , srcInfoPoints = [] 226 } 227 (PVar 228 SrcSpanInfo 229 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 6 4 7 230 , srcInfoPoints = [] 231 } 232 (Ident 233 SrcSpanInfo 234 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 6 4 7 235 , srcInfoPoints = [] 236 } 237 "x")) 238 (Symbol 239 SrcSpanInfo 240 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 8 4 10 241 , srcInfoPoints = [] 242 } 243 "==") 244 [ PVar 245 SrcSpanInfo 246 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 11 4 12 247 , srcInfoPoints = [] 248 } 249 (Ident 250 SrcSpanInfo 251 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 11 4 12 252 , srcInfoPoints = [] 253 } 254 "y") 255 ] 256 (UnGuardedRhs 257 SrcSpanInfo 258 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 13 4 27 259 , srcInfoPoints = 260 [ SrcSpan "tests/examples/MinimalPragma.hs" 4 13 4 14 ] 261 } 262 (App 263 SrcSpanInfo 264 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 4 15 4 27 265 , srcInfoPoints = [] 266 } 267 (Var 268 SrcSpanInfo 269 { srcInfoSpan = 270 SrcSpan "tests/examples/MinimalPragma.hs" 4 15 4 18 271 , srcInfoPoints = [] 272 } 273 (UnQual 274 SrcSpanInfo 275 { srcInfoSpan = 276 SrcSpan "tests/examples/MinimalPragma.hs" 4 15 4 18 277 , srcInfoPoints = [] 278 } 279 (Ident 280 SrcSpanInfo 281 { srcInfoSpan = 282 SrcSpan "tests/examples/MinimalPragma.hs" 4 15 4 18 283 , srcInfoPoints = [] 284 } 285 "not"))) 286 (Paren 287 SrcSpanInfo 288 { srcInfoSpan = 289 SrcSpan "tests/examples/MinimalPragma.hs" 4 19 4 27 290 , srcInfoPoints = 291 [ SrcSpan "tests/examples/MinimalPragma.hs" 4 19 4 20 292 , SrcSpan "tests/examples/MinimalPragma.hs" 4 26 4 27 293 ] 294 } 295 (InfixApp 296 SrcSpanInfo 297 { srcInfoSpan = 298 SrcSpan "tests/examples/MinimalPragma.hs" 4 20 4 26 299 , srcInfoPoints = [] 300 } 301 (Var 302 SrcSpanInfo 303 { srcInfoSpan = 304 SrcSpan "tests/examples/MinimalPragma.hs" 4 20 4 21 305 , srcInfoPoints = [] 306 } 307 (UnQual 308 SrcSpanInfo 309 { srcInfoSpan = 310 SrcSpan "tests/examples/MinimalPragma.hs" 4 20 4 21 311 , srcInfoPoints = [] 312 } 313 (Ident 314 SrcSpanInfo 315 { srcInfoSpan = 316 SrcSpan 317 "tests/examples/MinimalPragma.hs" 4 20 4 21 318 , srcInfoPoints = [] 319 } 320 "x"))) 321 (QVarOp 322 SrcSpanInfo 323 { srcInfoSpan = 324 SrcSpan "tests/examples/MinimalPragma.hs" 4 22 4 24 325 , srcInfoPoints = [] 326 } 327 (UnQual 328 SrcSpanInfo 329 { srcInfoSpan = 330 SrcSpan "tests/examples/MinimalPragma.hs" 4 22 4 24 331 , srcInfoPoints = [] 332 } 333 (Symbol 334 SrcSpanInfo 335 { srcInfoSpan = 336 SrcSpan 337 "tests/examples/MinimalPragma.hs" 4 22 4 24 338 , srcInfoPoints = [] 339 } 340 "/="))) 341 (Var 342 SrcSpanInfo 343 { srcInfoSpan = 344 SrcSpan "tests/examples/MinimalPragma.hs" 4 25 4 26 345 , srcInfoPoints = [] 346 } 347 (UnQual 348 SrcSpanInfo 349 { srcInfoSpan = 350 SrcSpan "tests/examples/MinimalPragma.hs" 4 25 4 26 351 , srcInfoPoints = [] 352 } 353 (Ident 354 SrcSpanInfo 355 { srcInfoSpan = 356 SrcSpan 357 "tests/examples/MinimalPragma.hs" 4 25 4 26 358 , srcInfoPoints = [] 359 } 360 "y"))))))) 361 Nothing 362 ]) 363 , ClsDecl 364 SrcSpanInfo 365 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 6 5 27 366 , srcInfoPoints = [] 367 } 368 (FunBind 369 SrcSpanInfo 370 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 6 5 27 371 , srcInfoPoints = [] 372 } 373 [ InfixMatch 374 SrcSpanInfo 375 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 6 5 27 376 , srcInfoPoints = [] 377 } 378 (PVar 379 SrcSpanInfo 380 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 6 5 7 381 , srcInfoPoints = [] 382 } 383 (Ident 384 SrcSpanInfo 385 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 6 5 7 386 , srcInfoPoints = [] 387 } 388 "x")) 389 (Symbol 390 SrcSpanInfo 391 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 8 5 10 392 , srcInfoPoints = [] 393 } 394 "/=") 395 [ PVar 396 SrcSpanInfo 397 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 11 5 12 398 , srcInfoPoints = [] 399 } 400 (Ident 401 SrcSpanInfo 402 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 11 5 12 403 , srcInfoPoints = [] 404 } 405 "y") 406 ] 407 (UnGuardedRhs 408 SrcSpanInfo 409 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 13 5 27 410 , srcInfoPoints = 411 [ SrcSpan "tests/examples/MinimalPragma.hs" 5 13 5 14 ] 412 } 413 (App 414 SrcSpanInfo 415 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 5 15 5 27 416 , srcInfoPoints = [] 417 } 418 (Var 419 SrcSpanInfo 420 { srcInfoSpan = 421 SrcSpan "tests/examples/MinimalPragma.hs" 5 15 5 18 422 , srcInfoPoints = [] 423 } 424 (UnQual 425 SrcSpanInfo 426 { srcInfoSpan = 427 SrcSpan "tests/examples/MinimalPragma.hs" 5 15 5 18 428 , srcInfoPoints = [] 429 } 430 (Ident 431 SrcSpanInfo 432 { srcInfoSpan = 433 SrcSpan "tests/examples/MinimalPragma.hs" 5 15 5 18 434 , srcInfoPoints = [] 435 } 436 "not"))) 437 (Paren 438 SrcSpanInfo 439 { srcInfoSpan = 440 SrcSpan "tests/examples/MinimalPragma.hs" 5 19 5 27 441 , srcInfoPoints = 442 [ SrcSpan "tests/examples/MinimalPragma.hs" 5 19 5 20 443 , SrcSpan "tests/examples/MinimalPragma.hs" 5 26 5 27 444 ] 445 } 446 (InfixApp 447 SrcSpanInfo 448 { srcInfoSpan = 449 SrcSpan "tests/examples/MinimalPragma.hs" 5 20 5 26 450 , srcInfoPoints = [] 451 } 452 (Var 453 SrcSpanInfo 454 { srcInfoSpan = 455 SrcSpan "tests/examples/MinimalPragma.hs" 5 20 5 21 456 , srcInfoPoints = [] 457 } 458 (UnQual 459 SrcSpanInfo 460 { srcInfoSpan = 461 SrcSpan "tests/examples/MinimalPragma.hs" 5 20 5 21 462 , srcInfoPoints = [] 463 } 464 (Ident 465 SrcSpanInfo 466 { srcInfoSpan = 467 SrcSpan 468 "tests/examples/MinimalPragma.hs" 5 20 5 21 469 , srcInfoPoints = [] 470 } 471 "x"))) 472 (QVarOp 473 SrcSpanInfo 474 { srcInfoSpan = 475 SrcSpan "tests/examples/MinimalPragma.hs" 5 22 5 24 476 , srcInfoPoints = [] 477 } 478 (UnQual 479 SrcSpanInfo 480 { srcInfoSpan = 481 SrcSpan "tests/examples/MinimalPragma.hs" 5 22 5 24 482 , srcInfoPoints = [] 483 } 484 (Symbol 485 SrcSpanInfo 486 { srcInfoSpan = 487 SrcSpan 488 "tests/examples/MinimalPragma.hs" 5 22 5 24 489 , srcInfoPoints = [] 490 } 491 "=="))) 492 (Var 493 SrcSpanInfo 494 { srcInfoSpan = 495 SrcSpan "tests/examples/MinimalPragma.hs" 5 25 5 26 496 , srcInfoPoints = [] 497 } 498 (UnQual 499 SrcSpanInfo 500 { srcInfoSpan = 501 SrcSpan "tests/examples/MinimalPragma.hs" 5 25 5 26 502 , srcInfoPoints = [] 503 } 504 (Ident 505 SrcSpanInfo 506 { srcInfoSpan = 507 SrcSpan 508 "tests/examples/MinimalPragma.hs" 5 25 5 26 509 , srcInfoPoints = [] 510 } 511 "y"))))))) 512 Nothing 513 ]) 514 , ClsDecl 515 SrcSpanInfo 516 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 6 6 6 33 517 , srcInfoPoints = 518 [ SrcSpan "tests/examples/MinimalPragma.hs" 6 6 6 17 519 , SrcSpan "tests/examples/MinimalPragma.hs" 6 30 6 33 520 ] 521 } 522 (MinimalPragma 523 SrcSpanInfo 524 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 6 6 6 33 525 , srcInfoPoints = 526 [ SrcSpan "tests/examples/MinimalPragma.hs" 6 6 6 17 527 , SrcSpan "tests/examples/MinimalPragma.hs" 6 30 6 33 528 ] 529 } 530 (Just 531 (OrFormula 532 SrcSpanInfo 533 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 6 18 6 29 534 , srcInfoPoints = 535 [ SrcSpan "tests/examples/MinimalPragma.hs" 6 23 6 24 ] 536 } 537 [ VarFormula 538 SrcSpanInfo 539 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 6 18 6 22 540 , srcInfoPoints = 541 [ SrcSpan "tests/examples/MinimalPragma.hs" 6 18 6 19 542 , SrcSpan "tests/examples/MinimalPragma.hs" 6 19 6 21 543 , SrcSpan "tests/examples/MinimalPragma.hs" 6 21 6 22 544 ] 545 } 546 (Symbol 547 SrcSpanInfo 548 { srcInfoSpan = 549 SrcSpan "tests/examples/MinimalPragma.hs" 6 18 6 22 550 , srcInfoPoints = 551 [ SrcSpan "tests/examples/MinimalPragma.hs" 6 18 6 19 552 , SrcSpan "tests/examples/MinimalPragma.hs" 6 19 6 21 553 , SrcSpan "tests/examples/MinimalPragma.hs" 6 21 6 22 554 ] 555 } 556 "==") 557 , VarFormula 558 SrcSpanInfo 559 { srcInfoSpan = SrcSpan "tests/examples/MinimalPragma.hs" 6 25 6 29 560 , srcInfoPoints = 561 [ SrcSpan "tests/examples/MinimalPragma.hs" 6 25 6 26 562 , SrcSpan "tests/examples/MinimalPragma.hs" 6 26 6 28 563 , SrcSpan "tests/examples/MinimalPragma.hs" 6 28 6 29 564 ] 565 } 566 (Symbol 567 SrcSpanInfo 568 { srcInfoSpan = 569 SrcSpan "tests/examples/MinimalPragma.hs" 6 25 6 29 570 , srcInfoPoints = 571 [ SrcSpan "tests/examples/MinimalPragma.hs" 6 25 6 26 572 , SrcSpan "tests/examples/MinimalPragma.hs" 6 26 6 28 573 , SrcSpan "tests/examples/MinimalPragma.hs" 6 28 6 29 574 ] 575 } 576 "/=") 577 ]))) 578 ]) 579 ] 580 , [] 581 ) 582