1ParseOk 2 ( Module 3 SrcSpanInfo 4 { srcInfoSpan = 5 SrcSpan "tests/examples/DefaultSignatures.hs" 1 1 6 1 6 , srcInfoPoints = 7 [ SrcSpan "tests/examples/DefaultSignatures.hs" 1 1 1 1 8 , SrcSpan "tests/examples/DefaultSignatures.hs" 2 1 2 1 9 , SrcSpan "tests/examples/DefaultSignatures.hs" 2 1 2 1 10 , SrcSpan "tests/examples/DefaultSignatures.hs" 2 1 2 1 11 , SrcSpan "tests/examples/DefaultSignatures.hs" 6 1 6 1 12 , SrcSpan "tests/examples/DefaultSignatures.hs" 6 1 6 1 13 ] 14 } 15 Nothing 16 [ LanguagePragma 17 SrcSpanInfo 18 { srcInfoSpan = 19 SrcSpan "tests/examples/DefaultSignatures.hs" 1 1 1 35 20 , srcInfoPoints = 21 [ SrcSpan "tests/examples/DefaultSignatures.hs" 1 1 1 13 22 , SrcSpan "tests/examples/DefaultSignatures.hs" 1 32 1 35 23 ] 24 } 25 [ Ident 26 SrcSpanInfo 27 { srcInfoSpan = 28 SrcSpan "tests/examples/DefaultSignatures.hs" 1 14 1 31 29 , srcInfoPoints = [] 30 } 31 "DefaultSignatures" 32 ] 33 ] 34 [] 35 [ ClassDecl 36 SrcSpanInfo 37 { srcInfoSpan = 38 SrcSpan "tests/examples/DefaultSignatures.hs" 2 1 5 19 39 , srcInfoPoints = 40 [ SrcSpan "tests/examples/DefaultSignatures.hs" 2 1 2 6 41 , SrcSpan "tests/examples/DefaultSignatures.hs" 2 11 2 16 42 , SrcSpan "tests/examples/DefaultSignatures.hs" 3 5 3 5 43 , SrcSpan "tests/examples/DefaultSignatures.hs" 4 5 4 5 44 , SrcSpan "tests/examples/DefaultSignatures.hs" 5 5 5 5 45 , SrcSpan "tests/examples/DefaultSignatures.hs" 6 1 6 0 46 ] 47 } 48 Nothing 49 (DHApp 50 SrcSpanInfo 51 { srcInfoSpan = 52 SrcSpan "tests/examples/DefaultSignatures.hs" 2 7 2 10 53 , srcInfoPoints = [] 54 } 55 (DHead 56 SrcSpanInfo 57 { srcInfoSpan = 58 SrcSpan "tests/examples/DefaultSignatures.hs" 2 7 2 8 59 , srcInfoPoints = [] 60 } 61 (Ident 62 SrcSpanInfo 63 { srcInfoSpan = 64 SrcSpan "tests/examples/DefaultSignatures.hs" 2 7 2 8 65 , srcInfoPoints = [] 66 } 67 "C")) 68 (UnkindedVar 69 SrcSpanInfo 70 { srcInfoSpan = 71 SrcSpan "tests/examples/DefaultSignatures.hs" 2 9 2 10 72 , srcInfoPoints = [] 73 } 74 (Ident 75 SrcSpanInfo 76 { srcInfoSpan = 77 SrcSpan "tests/examples/DefaultSignatures.hs" 2 9 2 10 78 , srcInfoPoints = [] 79 } 80 "a"))) 81 [] 82 (Just 83 [ ClsDecl 84 SrcSpanInfo 85 { srcInfoSpan = 86 SrcSpan "tests/examples/DefaultSignatures.hs" 3 5 3 24 87 , srcInfoPoints = 88 [ SrcSpan "tests/examples/DefaultSignatures.hs" 3 7 3 9 ] 89 } 90 (TypeSig 91 SrcSpanInfo 92 { srcInfoSpan = 93 SrcSpan "tests/examples/DefaultSignatures.hs" 3 5 3 24 94 , srcInfoPoints = 95 [ SrcSpan "tests/examples/DefaultSignatures.hs" 3 7 3 9 ] 96 } 97 [ Ident 98 SrcSpanInfo 99 { srcInfoSpan = 100 SrcSpan "tests/examples/DefaultSignatures.hs" 3 5 3 6 101 , srcInfoPoints = [] 102 } 103 "f" 104 ] 105 (TyFun 106 SrcSpanInfo 107 { srcInfoSpan = 108 SrcSpan "tests/examples/DefaultSignatures.hs" 3 10 3 24 109 , srcInfoPoints = 110 [ SrcSpan "tests/examples/DefaultSignatures.hs" 3 12 3 14 ] 111 } 112 (TyVar 113 SrcSpanInfo 114 { srcInfoSpan = 115 SrcSpan "tests/examples/DefaultSignatures.hs" 3 10 3 11 116 , srcInfoPoints = [] 117 } 118 (Ident 119 SrcSpanInfo 120 { srcInfoSpan = 121 SrcSpan "tests/examples/DefaultSignatures.hs" 3 10 3 11 122 , srcInfoPoints = [] 123 } 124 "a")) 125 (TyFun 126 SrcSpanInfo 127 { srcInfoSpan = 128 SrcSpan "tests/examples/DefaultSignatures.hs" 3 15 3 24 129 , srcInfoPoints = 130 [ SrcSpan "tests/examples/DefaultSignatures.hs" 3 17 3 19 ] 131 } 132 (TyVar 133 SrcSpanInfo 134 { srcInfoSpan = 135 SrcSpan "tests/examples/DefaultSignatures.hs" 3 15 3 16 136 , srcInfoPoints = [] 137 } 138 (Ident 139 SrcSpanInfo 140 { srcInfoSpan = 141 SrcSpan "tests/examples/DefaultSignatures.hs" 3 15 3 16 142 , srcInfoPoints = [] 143 } 144 "a")) 145 (TyCon 146 SrcSpanInfo 147 { srcInfoSpan = 148 SrcSpan "tests/examples/DefaultSignatures.hs" 3 20 3 24 149 , srcInfoPoints = [] 150 } 151 (UnQual 152 SrcSpanInfo 153 { srcInfoSpan = 154 SrcSpan "tests/examples/DefaultSignatures.hs" 3 20 3 24 155 , srcInfoPoints = [] 156 } 157 (Ident 158 SrcSpanInfo 159 { srcInfoSpan = 160 SrcSpan "tests/examples/DefaultSignatures.hs" 3 20 3 24 161 , srcInfoPoints = [] 162 } 163 "Bool")))))) 164 , ClsDefSig 165 SrcSpanInfo 166 { srcInfoSpan = 167 SrcSpan "tests/examples/DefaultSignatures.hs" 4 5 4 42 168 , srcInfoPoints = 169 [ SrcSpan "tests/examples/DefaultSignatures.hs" 4 5 4 12 170 , SrcSpan "tests/examples/DefaultSignatures.hs" 4 15 4 17 171 ] 172 } 173 (Ident 174 SrcSpanInfo 175 { srcInfoSpan = 176 SrcSpan "tests/examples/DefaultSignatures.hs" 4 13 4 14 177 , srcInfoPoints = [] 178 } 179 "f") 180 (TyForall 181 SrcSpanInfo 182 { srcInfoSpan = 183 SrcSpan "tests/examples/DefaultSignatures.hs" 4 18 4 42 184 , srcInfoPoints = [] 185 } 186 Nothing 187 (Just 188 (CxSingle 189 SrcSpanInfo 190 { srcInfoSpan = 191 SrcSpan "tests/examples/DefaultSignatures.hs" 4 18 4 27 192 , srcInfoPoints = 193 [ SrcSpan "tests/examples/DefaultSignatures.hs" 4 18 4 19 194 , SrcSpan "tests/examples/DefaultSignatures.hs" 4 23 4 24 195 , SrcSpan "tests/examples/DefaultSignatures.hs" 4 25 4 27 196 ] 197 } 198 (ParenA 199 SrcSpanInfo 200 { srcInfoSpan = 201 SrcSpan "tests/examples/DefaultSignatures.hs" 4 18 4 27 202 , srcInfoPoints = 203 [ SrcSpan "tests/examples/DefaultSignatures.hs" 4 18 4 19 204 , SrcSpan "tests/examples/DefaultSignatures.hs" 4 23 4 24 205 , SrcSpan "tests/examples/DefaultSignatures.hs" 4 25 4 27 206 ] 207 } 208 (TypeA 209 SrcSpanInfo 210 { srcInfoSpan = 211 SrcSpan "tests/examples/DefaultSignatures.hs" 4 19 4 23 212 , srcInfoPoints = [] 213 } 214 (TyApp 215 SrcSpanInfo 216 { srcInfoSpan = 217 SrcSpan "tests/examples/DefaultSignatures.hs" 4 19 4 23 218 , srcInfoPoints = [] 219 } 220 (TyCon 221 SrcSpanInfo 222 { srcInfoSpan = 223 SrcSpan "tests/examples/DefaultSignatures.hs" 4 19 4 23 224 , srcInfoPoints = [] 225 } 226 (UnQual 227 SrcSpanInfo 228 { srcInfoSpan = 229 SrcSpan 230 "tests/examples/DefaultSignatures.hs" 4 19 4 21 231 , srcInfoPoints = [] 232 } 233 (Ident 234 SrcSpanInfo 235 { srcInfoSpan = 236 SrcSpan 237 "tests/examples/DefaultSignatures.hs" 4 19 4 21 238 , srcInfoPoints = [] 239 } 240 "Eq"))) 241 (TyVar 242 SrcSpanInfo 243 { srcInfoSpan = 244 SrcSpan "tests/examples/DefaultSignatures.hs" 4 22 4 23 245 , srcInfoPoints = [] 246 } 247 (Ident 248 SrcSpanInfo 249 { srcInfoSpan = 250 SrcSpan 251 "tests/examples/DefaultSignatures.hs" 4 22 4 23 252 , srcInfoPoints = [] 253 } 254 "a"))))))) 255 (TyFun 256 SrcSpanInfo 257 { srcInfoSpan = 258 SrcSpan "tests/examples/DefaultSignatures.hs" 4 28 4 42 259 , srcInfoPoints = 260 [ SrcSpan "tests/examples/DefaultSignatures.hs" 4 30 4 32 ] 261 } 262 (TyVar 263 SrcSpanInfo 264 { srcInfoSpan = 265 SrcSpan "tests/examples/DefaultSignatures.hs" 4 28 4 29 266 , srcInfoPoints = [] 267 } 268 (Ident 269 SrcSpanInfo 270 { srcInfoSpan = 271 SrcSpan "tests/examples/DefaultSignatures.hs" 4 28 4 29 272 , srcInfoPoints = [] 273 } 274 "a")) 275 (TyFun 276 SrcSpanInfo 277 { srcInfoSpan = 278 SrcSpan "tests/examples/DefaultSignatures.hs" 4 33 4 42 279 , srcInfoPoints = 280 [ SrcSpan "tests/examples/DefaultSignatures.hs" 4 35 4 37 ] 281 } 282 (TyVar 283 SrcSpanInfo 284 { srcInfoSpan = 285 SrcSpan "tests/examples/DefaultSignatures.hs" 4 33 4 34 286 , srcInfoPoints = [] 287 } 288 (Ident 289 SrcSpanInfo 290 { srcInfoSpan = 291 SrcSpan "tests/examples/DefaultSignatures.hs" 4 33 4 34 292 , srcInfoPoints = [] 293 } 294 "a")) 295 (TyCon 296 SrcSpanInfo 297 { srcInfoSpan = 298 SrcSpan "tests/examples/DefaultSignatures.hs" 4 38 4 42 299 , srcInfoPoints = [] 300 } 301 (UnQual 302 SrcSpanInfo 303 { srcInfoSpan = 304 SrcSpan "tests/examples/DefaultSignatures.hs" 4 38 4 42 305 , srcInfoPoints = [] 306 } 307 (Ident 308 SrcSpanInfo 309 { srcInfoSpan = 310 SrcSpan "tests/examples/DefaultSignatures.hs" 4 38 4 42 311 , srcInfoPoints = [] 312 } 313 "Bool")))))) 314 , ClsDecl 315 SrcSpanInfo 316 { srcInfoSpan = 317 SrcSpan "tests/examples/DefaultSignatures.hs" 5 5 5 19 318 , srcInfoPoints = [] 319 } 320 (FunBind 321 SrcSpanInfo 322 { srcInfoSpan = 323 SrcSpan "tests/examples/DefaultSignatures.hs" 5 5 5 19 324 , srcInfoPoints = [] 325 } 326 [ Match 327 SrcSpanInfo 328 { srcInfoSpan = 329 SrcSpan "tests/examples/DefaultSignatures.hs" 5 5 5 19 330 , srcInfoPoints = [] 331 } 332 (Ident 333 SrcSpanInfo 334 { srcInfoSpan = 335 SrcSpan "tests/examples/DefaultSignatures.hs" 5 5 5 6 336 , srcInfoPoints = [] 337 } 338 "f") 339 [ PVar 340 SrcSpanInfo 341 { srcInfoSpan = 342 SrcSpan "tests/examples/DefaultSignatures.hs" 5 7 5 8 343 , srcInfoPoints = [] 344 } 345 (Ident 346 SrcSpanInfo 347 { srcInfoSpan = 348 SrcSpan "tests/examples/DefaultSignatures.hs" 5 7 5 8 349 , srcInfoPoints = [] 350 } 351 "x") 352 , PVar 353 SrcSpanInfo 354 { srcInfoSpan = 355 SrcSpan "tests/examples/DefaultSignatures.hs" 5 9 5 10 356 , srcInfoPoints = [] 357 } 358 (Ident 359 SrcSpanInfo 360 { srcInfoSpan = 361 SrcSpan "tests/examples/DefaultSignatures.hs" 5 9 5 10 362 , srcInfoPoints = [] 363 } 364 "y") 365 ] 366 (UnGuardedRhs 367 SrcSpanInfo 368 { srcInfoSpan = 369 SrcSpan "tests/examples/DefaultSignatures.hs" 5 11 5 19 370 , srcInfoPoints = 371 [ SrcSpan "tests/examples/DefaultSignatures.hs" 5 11 5 12 ] 372 } 373 (InfixApp 374 SrcSpanInfo 375 { srcInfoSpan = 376 SrcSpan "tests/examples/DefaultSignatures.hs" 5 13 5 19 377 , srcInfoPoints = [] 378 } 379 (Var 380 SrcSpanInfo 381 { srcInfoSpan = 382 SrcSpan "tests/examples/DefaultSignatures.hs" 5 13 5 14 383 , srcInfoPoints = [] 384 } 385 (UnQual 386 SrcSpanInfo 387 { srcInfoSpan = 388 SrcSpan "tests/examples/DefaultSignatures.hs" 5 13 5 14 389 , srcInfoPoints = [] 390 } 391 (Ident 392 SrcSpanInfo 393 { srcInfoSpan = 394 SrcSpan "tests/examples/DefaultSignatures.hs" 5 13 5 14 395 , srcInfoPoints = [] 396 } 397 "x"))) 398 (QVarOp 399 SrcSpanInfo 400 { srcInfoSpan = 401 SrcSpan "tests/examples/DefaultSignatures.hs" 5 15 5 17 402 , srcInfoPoints = [] 403 } 404 (UnQual 405 SrcSpanInfo 406 { srcInfoSpan = 407 SrcSpan "tests/examples/DefaultSignatures.hs" 5 15 5 17 408 , srcInfoPoints = [] 409 } 410 (Symbol 411 SrcSpanInfo 412 { srcInfoSpan = 413 SrcSpan "tests/examples/DefaultSignatures.hs" 5 15 5 17 414 , srcInfoPoints = [] 415 } 416 "=="))) 417 (Var 418 SrcSpanInfo 419 { srcInfoSpan = 420 SrcSpan "tests/examples/DefaultSignatures.hs" 5 18 5 19 421 , srcInfoPoints = [] 422 } 423 (UnQual 424 SrcSpanInfo 425 { srcInfoSpan = 426 SrcSpan "tests/examples/DefaultSignatures.hs" 5 18 5 19 427 , srcInfoPoints = [] 428 } 429 (Ident 430 SrcSpanInfo 431 { srcInfoSpan = 432 SrcSpan "tests/examples/DefaultSignatures.hs" 5 18 5 19 433 , srcInfoPoints = [] 434 } 435 "y"))))) 436 Nothing 437 ]) 438 ]) 439 ] 440 , [] 441 ) 442