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