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