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