1ParseOk 2 ( Module 3 SrcSpanInfo 4 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 1 1 6 1 5 , srcInfoPoints = 6 [ SrcSpan "tests/examples/RCategory3.hs" 1 1 1 1 7 , SrcSpan "tests/examples/RCategory3.hs" 3 1 3 1 8 , SrcSpan "tests/examples/RCategory3.hs" 3 1 3 1 9 , SrcSpan "tests/examples/RCategory3.hs" 3 1 3 1 10 , SrcSpan "tests/examples/RCategory3.hs" 6 1 6 1 11 , SrcSpan "tests/examples/RCategory3.hs" 6 1 6 1 12 ] 13 } 14 Nothing 15 [ LanguagePragma 16 SrcSpanInfo 17 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 1 1 1 47 18 , srcInfoPoints = 19 [ SrcSpan "tests/examples/RCategory3.hs" 1 1 1 13 20 , SrcSpan "tests/examples/RCategory3.hs" 1 26 1 27 21 , SrcSpan "tests/examples/RCategory3.hs" 1 44 1 47 22 ] 23 } 24 [ Ident 25 SrcSpanInfo 26 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 1 14 1 26 27 , srcInfoPoints = [] 28 } 29 "TypeFamilies" 30 , Ident 31 SrcSpanInfo 32 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 1 28 1 43 33 , srcInfoPoints = [] 34 } 35 "ConstraintKinds" 36 ] 37 ] 38 [] 39 [ InstDecl 40 SrcSpanInfo 41 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 1 6 0 42 , srcInfoPoints = 43 [ SrcSpan "tests/examples/RCategory3.hs" 3 1 3 9 44 , SrcSpan "tests/examples/RCategory3.hs" 3 25 3 30 45 , SrcSpan "tests/examples/RCategory3.hs" 4 3 4 3 46 , SrcSpan "tests/examples/RCategory3.hs" 6 1 6 0 47 ] 48 } 49 Nothing 50 (IRule 51 SrcSpanInfo 52 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 10 3 24 53 , srcInfoPoints = [] 54 } 55 Nothing 56 Nothing 57 (IHApp 58 SrcSpanInfo 59 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 10 3 24 60 , srcInfoPoints = [] 61 } 62 (IHCon 63 SrcSpanInfo 64 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 10 3 19 65 , srcInfoPoints = [] 66 } 67 (UnQual 68 SrcSpanInfo 69 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 10 3 19 70 , srcInfoPoints = [] 71 } 72 (Ident 73 SrcSpanInfo 74 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 10 3 19 75 , srcInfoPoints = [] 76 } 77 "RCategory"))) 78 (TyCon 79 SrcSpanInfo 80 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 20 3 24 81 , srcInfoPoints = 82 [ SrcSpan "tests/examples/RCategory3.hs" 3 20 3 21 83 , SrcSpan "tests/examples/RCategory3.hs" 3 21 3 23 84 , SrcSpan "tests/examples/RCategory3.hs" 3 23 3 24 85 ] 86 } 87 (Special 88 SrcSpanInfo 89 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 20 3 24 90 , srcInfoPoints = 91 [ SrcSpan "tests/examples/RCategory3.hs" 3 20 3 21 92 , SrcSpan "tests/examples/RCategory3.hs" 3 21 3 23 93 , SrcSpan "tests/examples/RCategory3.hs" 3 23 3 24 94 ] 95 } 96 (FunCon 97 SrcSpanInfo 98 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 3 20 3 24 99 , srcInfoPoints = 100 [ SrcSpan "tests/examples/RCategory3.hs" 3 20 3 21 101 , SrcSpan "tests/examples/RCategory3.hs" 3 21 3 23 102 , SrcSpan "tests/examples/RCategory3.hs" 3 23 3 24 103 ] 104 }))))) 105 (Just 106 [ InsType 107 SrcSpanInfo 108 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 3 4 35 109 , srcInfoPoints = 110 [ SrcSpan "tests/examples/RCategory3.hs" 4 3 4 7 111 , SrcSpan "tests/examples/RCategory3.hs" 4 31 4 32 112 ] 113 } 114 (TyApp 115 SrcSpanInfo 116 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 8 4 30 117 , srcInfoPoints = [] 118 } 119 (TyApp 120 SrcSpanInfo 121 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 8 4 28 122 , srcInfoPoints = [] 123 } 124 (TyApp 125 SrcSpanInfo 126 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 8 4 26 127 , srcInfoPoints = [] 128 } 129 (TyCon 130 SrcSpanInfo 131 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 8 4 21 132 , srcInfoPoints = [] 133 } 134 (UnQual 135 SrcSpanInfo 136 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 8 4 21 137 , srcInfoPoints = [] 138 } 139 (Ident 140 SrcSpanInfo 141 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 8 4 21 142 , srcInfoPoints = [] 143 } 144 "RCategoryCtxt"))) 145 (TyCon 146 SrcSpanInfo 147 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 22 4 26 148 , srcInfoPoints = 149 [ SrcSpan "tests/examples/RCategory3.hs" 4 22 4 23 150 , SrcSpan "tests/examples/RCategory3.hs" 4 23 4 25 151 , SrcSpan "tests/examples/RCategory3.hs" 4 25 4 26 152 ] 153 } 154 (Special 155 SrcSpanInfo 156 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 22 4 26 157 , srcInfoPoints = 158 [ SrcSpan "tests/examples/RCategory3.hs" 4 22 4 23 159 , SrcSpan "tests/examples/RCategory3.hs" 4 23 4 25 160 , SrcSpan "tests/examples/RCategory3.hs" 4 25 4 26 161 ] 162 } 163 (FunCon 164 SrcSpanInfo 165 { srcInfoSpan = 166 SrcSpan "tests/examples/RCategory3.hs" 4 22 4 26 167 , srcInfoPoints = 168 [ SrcSpan "tests/examples/RCategory3.hs" 4 22 4 23 169 , SrcSpan "tests/examples/RCategory3.hs" 4 23 4 25 170 , SrcSpan "tests/examples/RCategory3.hs" 4 25 4 26 171 ] 172 })))) 173 (TyVar 174 SrcSpanInfo 175 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 27 4 28 176 , srcInfoPoints = [] 177 } 178 (Ident 179 SrcSpanInfo 180 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 27 4 28 181 , srcInfoPoints = [] 182 } 183 "a"))) 184 (TyVar 185 SrcSpanInfo 186 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 29 4 30 187 , srcInfoPoints = [] 188 } 189 (Ident 190 SrcSpanInfo 191 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 29 4 30 192 , srcInfoPoints = [] 193 } 194 "a"))) 195 (TyCon 196 SrcSpanInfo 197 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 33 4 35 198 , srcInfoPoints = 199 [ SrcSpan "tests/examples/RCategory3.hs" 4 33 4 34 200 , SrcSpan "tests/examples/RCategory3.hs" 4 34 4 35 201 ] 202 } 203 (Special 204 SrcSpanInfo 205 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 33 4 35 206 , srcInfoPoints = 207 [ SrcSpan "tests/examples/RCategory3.hs" 4 33 4 34 208 , SrcSpan "tests/examples/RCategory3.hs" 4 34 4 35 209 ] 210 } 211 (UnitCon 212 SrcSpanInfo 213 { srcInfoSpan = SrcSpan "tests/examples/RCategory3.hs" 4 33 4 35 214 , srcInfoPoints = 215 [ SrcSpan "tests/examples/RCategory3.hs" 4 33 4 34 216 , SrcSpan "tests/examples/RCategory3.hs" 4 34 4 35 217 ] 218 }))) 219 ]) 220 ] 221 , [] 222 ) 223