1ParseOk 2 ( Module 3 SrcSpanInfo 4 { srcInfoSpan = 5 SrcSpan "tests/examples/ClosedTypeFamily.hs" 1 1 9 1 6 , srcInfoPoints = 7 [ SrcSpan "tests/examples/ClosedTypeFamily.hs" 1 1 1 1 8 , SrcSpan "tests/examples/ClosedTypeFamily.hs" 3 1 3 1 9 , SrcSpan "tests/examples/ClosedTypeFamily.hs" 3 1 3 1 10 , SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 1 5 1 11 , SrcSpan "tests/examples/ClosedTypeFamily.hs" 9 1 9 1 12 , SrcSpan "tests/examples/ClosedTypeFamily.hs" 9 1 9 1 13 ] 14 } 15 (Just 16 (ModuleHead 17 SrcSpanInfo 18 { srcInfoSpan = 19 SrcSpan "tests/examples/ClosedTypeFamily.hs" 3 1 3 30 20 , srcInfoPoints = 21 [ SrcSpan "tests/examples/ClosedTypeFamily.hs" 3 1 3 7 22 , SrcSpan "tests/examples/ClosedTypeFamily.hs" 3 25 3 30 23 ] 24 } 25 (ModuleName 26 SrcSpanInfo 27 { srcInfoSpan = 28 SrcSpan "tests/examples/ClosedTypeFamily.hs" 3 8 3 24 29 , srcInfoPoints = [] 30 } 31 "ClosedTypeFamily") 32 Nothing 33 Nothing)) 34 [ LanguagePragma 35 SrcSpanInfo 36 { srcInfoSpan = 37 SrcSpan "tests/examples/ClosedTypeFamily.hs" 1 1 1 41 38 , srcInfoPoints = 39 [ SrcSpan "tests/examples/ClosedTypeFamily.hs" 1 1 1 13 40 , SrcSpan "tests/examples/ClosedTypeFamily.hs" 1 26 1 27 41 , SrcSpan "tests/examples/ClosedTypeFamily.hs" 1 38 1 41 42 ] 43 } 44 [ Ident 45 SrcSpanInfo 46 { srcInfoSpan = 47 SrcSpan "tests/examples/ClosedTypeFamily.hs" 1 14 1 26 48 , srcInfoPoints = [] 49 } 50 "TypeFamilies" 51 , Ident 52 SrcSpanInfo 53 { srcInfoSpan = 54 SrcSpan "tests/examples/ClosedTypeFamily.hs" 1 28 1 37 55 , srcInfoPoints = [] 56 } 57 "DataKinds" 58 ] 59 ] 60 [] 61 [ ClosedTypeFamDecl 62 SrcSpanInfo 63 { srcInfoSpan = 64 SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 1 5 19 65 , srcInfoPoints = 66 [ SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 1 5 5 67 , SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 6 5 12 68 , SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 20 5 25 69 ] 70 } 71 (DHApp 72 SrcSpanInfo 73 { srcInfoSpan = 74 SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 13 5 19 75 , srcInfoPoints = [] 76 } 77 (DHApp 78 SrcSpanInfo 79 { srcInfoSpan = 80 SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 13 5 17 81 , srcInfoPoints = [] 82 } 83 (DHead 84 SrcSpanInfo 85 { srcInfoSpan = 86 SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 13 5 15 87 , srcInfoPoints = [] 88 } 89 (Ident 90 SrcSpanInfo 91 { srcInfoSpan = 92 SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 13 5 15 93 , srcInfoPoints = [] 94 } 95 "Eq")) 96 (UnkindedVar 97 SrcSpanInfo 98 { srcInfoSpan = 99 SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 16 5 17 100 , srcInfoPoints = [] 101 } 102 (Ident 103 SrcSpanInfo 104 { srcInfoSpan = 105 SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 16 5 17 106 , srcInfoPoints = [] 107 } 108 "x"))) 109 (UnkindedVar 110 SrcSpanInfo 111 { srcInfoSpan = 112 SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 18 5 19 113 , srcInfoPoints = [] 114 } 115 (Ident 116 SrcSpanInfo 117 { srcInfoSpan = 118 SrcSpan "tests/examples/ClosedTypeFamily.hs" 5 18 5 19 119 , srcInfoPoints = [] 120 } 121 "y"))) 122 Nothing 123 Nothing 124 [ TypeEqn 125 SrcSpanInfo 126 { srcInfoSpan = 127 SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 3 6 16 128 , srcInfoPoints = 129 [ SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 10 6 11 ] 130 } 131 (TyApp 132 SrcSpanInfo 133 { srcInfoSpan = 134 SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 3 6 9 135 , srcInfoPoints = [] 136 } 137 (TyApp 138 SrcSpanInfo 139 { srcInfoSpan = 140 SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 3 6 7 141 , srcInfoPoints = [] 142 } 143 (TyCon 144 SrcSpanInfo 145 { srcInfoSpan = 146 SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 3 6 5 147 , srcInfoPoints = [] 148 } 149 (UnQual 150 SrcSpanInfo 151 { srcInfoSpan = 152 SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 3 6 5 153 , srcInfoPoints = [] 154 } 155 (Ident 156 SrcSpanInfo 157 { srcInfoSpan = 158 SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 3 6 5 159 , srcInfoPoints = [] 160 } 161 "Eq"))) 162 (TyVar 163 SrcSpanInfo 164 { srcInfoSpan = 165 SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 6 6 7 166 , srcInfoPoints = [] 167 } 168 (Ident 169 SrcSpanInfo 170 { srcInfoSpan = 171 SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 6 6 7 172 , srcInfoPoints = [] 173 } 174 "x"))) 175 (TyVar 176 SrcSpanInfo 177 { srcInfoSpan = 178 SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 8 6 9 179 , srcInfoPoints = [] 180 } 181 (Ident 182 SrcSpanInfo 183 { srcInfoSpan = 184 SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 8 6 9 185 , srcInfoPoints = [] 186 } 187 "x"))) 188 (TyCon 189 SrcSpanInfo 190 { srcInfoSpan = 191 SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 12 6 16 192 , srcInfoPoints = [] 193 } 194 (UnQual 195 SrcSpanInfo 196 { srcInfoSpan = 197 SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 12 6 16 198 , srcInfoPoints = [] 199 } 200 (Ident 201 SrcSpanInfo 202 { srcInfoSpan = 203 SrcSpan "tests/examples/ClosedTypeFamily.hs" 6 12 6 16 204 , srcInfoPoints = [] 205 } 206 "True"))) 207 , TypeEqn 208 SrcSpanInfo 209 { srcInfoSpan = 210 SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 3 7 17 211 , srcInfoPoints = 212 [ SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 10 7 11 ] 213 } 214 (TyApp 215 SrcSpanInfo 216 { srcInfoSpan = 217 SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 3 7 9 218 , srcInfoPoints = [] 219 } 220 (TyApp 221 SrcSpanInfo 222 { srcInfoSpan = 223 SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 3 7 7 224 , srcInfoPoints = [] 225 } 226 (TyCon 227 SrcSpanInfo 228 { srcInfoSpan = 229 SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 3 7 5 230 , srcInfoPoints = [] 231 } 232 (UnQual 233 SrcSpanInfo 234 { srcInfoSpan = 235 SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 3 7 5 236 , srcInfoPoints = [] 237 } 238 (Ident 239 SrcSpanInfo 240 { srcInfoSpan = 241 SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 3 7 5 242 , srcInfoPoints = [] 243 } 244 "Eq"))) 245 (TyVar 246 SrcSpanInfo 247 { srcInfoSpan = 248 SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 6 7 7 249 , srcInfoPoints = [] 250 } 251 (Ident 252 SrcSpanInfo 253 { srcInfoSpan = 254 SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 6 7 7 255 , srcInfoPoints = [] 256 } 257 "x"))) 258 (TyVar 259 SrcSpanInfo 260 { srcInfoSpan = 261 SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 8 7 9 262 , srcInfoPoints = [] 263 } 264 (Ident 265 SrcSpanInfo 266 { srcInfoSpan = 267 SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 8 7 9 268 , srcInfoPoints = [] 269 } 270 "y"))) 271 (TyCon 272 SrcSpanInfo 273 { srcInfoSpan = 274 SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 12 7 17 275 , srcInfoPoints = [] 276 } 277 (UnQual 278 SrcSpanInfo 279 { srcInfoSpan = 280 SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 12 7 17 281 , srcInfoPoints = [] 282 } 283 (Ident 284 SrcSpanInfo 285 { srcInfoSpan = 286 SrcSpan "tests/examples/ClosedTypeFamily.hs" 7 12 7 17 287 , srcInfoPoints = [] 288 } 289 "False"))) 290 ] 291 ] 292 , [] 293 ) 294