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