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