1ParseOk 2 ( Module 3 SrcSpanInfo 4 { srcInfoSpan = 5 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 1 1 4 1 6 , srcInfoPoints = 7 [ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 1 1 1 1 8 , SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 1 2 1 9 , SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 1 2 1 10 , SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 1 2 1 11 , SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 1 3 1 12 , SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 4 1 4 1 13 , SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 4 1 4 1 14 ] 15 } 16 Nothing 17 [ LanguagePragma 18 SrcSpanInfo 19 { srcInfoSpan = 20 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 1 1 1 34 21 , srcInfoPoints = 22 [ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 1 1 1 13 23 , SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 1 31 1 34 24 ] 25 } 26 [ Ident 27 SrcSpanInfo 28 { srcInfoSpan = 29 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 1 14 1 30 30 , srcInfoPoints = [] 31 } 32 "FlexibleContexts" 33 ] 34 ] 35 [] 36 [ TypeSig 37 SrcSpanInfo 38 { srcInfoSpan = 39 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 1 2 25 40 , srcInfoPoints = 41 [ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 3 2 5 ] 42 } 43 [ Ident 44 SrcSpanInfo 45 { srcInfoSpan = 46 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 1 2 2 47 , srcInfoPoints = [] 48 } 49 "f" 50 ] 51 (TyForall 52 SrcSpanInfo 53 { srcInfoSpan = 54 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 6 2 25 55 , srcInfoPoints = [] 56 } 57 Nothing 58 (Just 59 (CxSingle 60 SrcSpanInfo 61 { srcInfoSpan = 62 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 6 2 18 63 , srcInfoPoints = 64 [ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 16 2 18 65 ] 66 } 67 (TypeA 68 SrcSpanInfo 69 { srcInfoSpan = 70 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 6 2 18 71 , srcInfoPoints = 72 [ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 16 2 18 73 ] 74 } 75 (TyCon 76 SrcSpanInfo 77 { srcInfoSpan = 78 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 6 2 18 79 , srcInfoPoints = 80 [ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 16 2 18 81 ] 82 } 83 (Qual 84 SrcSpanInfo 85 { srcInfoSpan = 86 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 6 2 15 87 , srcInfoPoints = [] 88 } 89 (ModuleName 90 SrcSpanInfo 91 { srcInfoSpan = 92 SrcSpan 93 "tests/examples/FlexibleContextsWithoutVars.hs" 2 6 2 15 94 , srcInfoPoints = [] 95 } 96 "Log") 97 (Ident 98 SrcSpanInfo 99 { srcInfoSpan = 100 SrcSpan 101 "tests/examples/FlexibleContextsWithoutVars.hs" 2 6 2 15 102 , srcInfoPoints = [] 103 } 104 "Stack")))))) 105 (TyFun 106 SrcSpanInfo 107 { srcInfoSpan = 108 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 19 2 25 109 , srcInfoPoints = 110 [ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 21 2 23 111 ] 112 } 113 (TyVar 114 SrcSpanInfo 115 { srcInfoSpan = 116 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 19 2 20 117 , srcInfoPoints = [] 118 } 119 (Ident 120 SrcSpanInfo 121 { srcInfoSpan = 122 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 19 2 20 123 , srcInfoPoints = [] 124 } 125 "a")) 126 (TyVar 127 SrcSpanInfo 128 { srcInfoSpan = 129 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 24 2 25 130 , srcInfoPoints = [] 131 } 132 (Ident 133 SrcSpanInfo 134 { srcInfoSpan = 135 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 2 24 2 25 136 , srcInfoPoints = [] 137 } 138 "a")))) 139 , PatBind 140 SrcSpanInfo 141 { srcInfoSpan = 142 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 1 3 7 143 , srcInfoPoints = [] 144 } 145 (PVar 146 SrcSpanInfo 147 { srcInfoSpan = 148 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 1 3 2 149 , srcInfoPoints = [] 150 } 151 (Ident 152 SrcSpanInfo 153 { srcInfoSpan = 154 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 1 3 2 155 , srcInfoPoints = [] 156 } 157 "f")) 158 (UnGuardedRhs 159 SrcSpanInfo 160 { srcInfoSpan = 161 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 3 3 7 162 , srcInfoPoints = 163 [ SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 3 3 4 ] 164 } 165 (Var 166 SrcSpanInfo 167 { srcInfoSpan = 168 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 5 3 7 169 , srcInfoPoints = [] 170 } 171 (UnQual 172 SrcSpanInfo 173 { srcInfoSpan = 174 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 5 3 7 175 , srcInfoPoints = [] 176 } 177 (Ident 178 SrcSpanInfo 179 { srcInfoSpan = 180 SrcSpan "tests/examples/FlexibleContextsWithoutVars.hs" 3 5 3 7 181 , srcInfoPoints = [] 182 } 183 "id")))) 184 Nothing 185 ] 186 , [] 187 ) 188