1ParseOk 2 ( Module 3 SrcSpanInfo 4 { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 1 1 5 1 5 , srcInfoPoints = 6 [ SrcSpan "tests/examples/GADTRecord.hs" 1 1 1 1 7 , SrcSpan "tests/examples/GADTRecord.hs" 3 1 3 1 8 , SrcSpan "tests/examples/GADTRecord.hs" 3 1 3 1 9 , SrcSpan "tests/examples/GADTRecord.hs" 3 1 3 1 10 , SrcSpan "tests/examples/GADTRecord.hs" 5 1 5 1 11 , SrcSpan "tests/examples/GADTRecord.hs" 5 1 5 1 12 ] 13 } 14 Nothing 15 [ LanguagePragma 16 SrcSpanInfo 17 { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 1 1 1 23 18 , srcInfoPoints = 19 [ SrcSpan "tests/examples/GADTRecord.hs" 1 1 1 13 20 , SrcSpan "tests/examples/GADTRecord.hs" 1 20 1 23 21 ] 22 } 23 [ Ident 24 SrcSpanInfo 25 { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 1 14 1 19 26 , srcInfoPoints = [] 27 } 28 "GADTs" 29 ] 30 ] 31 [] 32 [ GDataDecl 33 SrcSpanInfo 34 { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 3 1 5 0 35 , srcInfoPoints = 36 [ SrcSpan "tests/examples/GADTRecord.hs" 3 8 3 13 37 , SrcSpan "tests/examples/GADTRecord.hs" 4 3 4 3 38 , SrcSpan "tests/examples/GADTRecord.hs" 5 1 5 0 39 ] 40 } 41 (DataType 42 SrcSpanInfo 43 { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 3 1 3 5 44 , srcInfoPoints = [] 45 }) 46 Nothing 47 (DHead 48 SrcSpanInfo 49 { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 3 6 3 7 50 , srcInfoPoints = [] 51 } 52 (Ident 53 SrcSpanInfo 54 { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 3 6 3 7 55 , srcInfoPoints = [] 56 } 57 "T")) 58 Nothing 59 [ GadtDecl 60 SrcSpanInfo 61 { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 4 3 4 29 62 , srcInfoPoints = 63 [ SrcSpan "tests/examples/GADTRecord.hs" 4 5 4 7 64 , SrcSpan "tests/examples/GADTRecord.hs" 4 8 4 9 65 , SrcSpan "tests/examples/GADTRecord.hs" 4 23 4 24 66 , SrcSpan "tests/examples/GADTRecord.hs" 4 25 4 27 67 ] 68 } 69 (Ident 70 SrcSpanInfo 71 { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 4 3 4 4 72 , srcInfoPoints = [] 73 } 74 "T") 75 Nothing 76 Nothing 77 (Just 78 [ FieldDecl 79 SrcSpanInfo 80 { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 4 10 4 22 81 , srcInfoPoints = 82 [ SrcSpan "tests/examples/GADTRecord.hs" 4 16 4 18 ] 83 } 84 [ Ident 85 SrcSpanInfo 86 { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 4 10 4 15 87 , srcInfoPoints = [] 88 } 89 "field" 90 ] 91 (TyCon 92 SrcSpanInfo 93 { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 4 19 4 22 94 , srcInfoPoints = [] 95 } 96 (UnQual 97 SrcSpanInfo 98 { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 4 19 4 22 99 , srcInfoPoints = [] 100 } 101 (Ident 102 SrcSpanInfo 103 { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 4 19 4 22 104 , srcInfoPoints = [] 105 } 106 "Int"))) 107 ]) 108 (TyCon 109 SrcSpanInfo 110 { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 4 28 4 29 111 , srcInfoPoints = [] 112 } 113 (UnQual 114 SrcSpanInfo 115 { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 4 28 4 29 116 , srcInfoPoints = [] 117 } 118 (Ident 119 SrcSpanInfo 120 { srcInfoSpan = SrcSpan "tests/examples/GADTRecord.hs" 4 28 4 29 121 , srcInfoPoints = [] 122 } 123 "T"))) 124 ] 125 [] 126 ] 127 , [] 128 ) 129