Vladislav Zavialov pushed to branch wip/int-index/remove-outdated-note at Glasgow Haskell Compiler / GHC

Commits:

3 changed files:

Changes:

  • compiler/GHC/Parser/PostProcess/Haddock.hs
    ... ... @@ -1115,7 +1115,6 @@ runHdkA (HdkA _ m) = unHdkM m mempty
    1115 1115
     -- To take it into account, we must register its location using registerLocHdkA
    
    1116 1116
     -- or registerHdkA.
    
    1117 1117
     --
    
    1118
    --- See Note [Register keyword location].
    
    1119 1118
     -- See Note [Adding Haddock comments to the syntax tree].
    
    1120 1119
     registerLocHdkA :: SrcSpan -> HdkA ()
    
    1121 1120
     registerLocHdkA l = HdkA (getBufSpan l) (pure ())
    
    ... ... @@ -1544,18 +1543,3 @@ that GHC could parse successfully:
    1544 1543
     
    
    1545 1544
     This declaration was accepted by ghc but rejected by ghc -haddock.
    
    1546 1545
     -}
    1547
    -
    
    1548
    -{- Note [Register keyword location]
    
    1549
    -~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    
    1550
    -At the moment, 'addHaddock' erroneously associates some comments with
    
    1551
    -constructs that are separated by a keyword. For example:
    
    1552
    -
    
    1553
    -    data Foo -- | Comment for MkFoo
    
    1554
    -      where MkFoo :: Foo
    
    1555
    -
    
    1556
    -We could use EPA (exactprint annotations) to fix this, but not without
    
    1557
    -modification. For example, EpaLocation contains RealSrcSpan but not BufSpan.
    
    1558
    -Also, the fix would be more straightforward after #19623.
    
    1559
    -
    
    1560
    -For examples, see tests/haddock/should_compile_flag_haddock/T17544_kw.hs
    
    1561
    --}

  • testsuite/tests/haddock/should_compile_flag_haddock/T17544_kw.hs
    ... ... @@ -2,8 +2,6 @@
    2 2
     {-# OPTIONS -haddock -ddump-parsed-ast #-}
    
    3 3
     
    
    4 4
     -- Haddock comments in this test case are all rejected.
    
    5
    ---
    
    6
    --- See Note [Register keyword location] in GHC.Parser.PostProcess.Haddock
    
    7 5
     
    
    8 6
     module
    
    9 7
       -- | Bad comment for the module
    

  • testsuite/tests/haddock/should_compile_flag_haddock/T17544_kw.stderr
    ... ... @@ -10,15 +10,15 @@
    10 10
         (AnnsModule
    
    11 11
          (NoEpTok)
    
    12 12
          (EpTok
    
    13
    -      (EpaSpan { T17544_kw.hs:8:1-6 }))
    
    13
    +      (EpaSpan { T17544_kw.hs:6:1-6 }))
    
    14 14
          (EpTok
    
    15
    -      (EpaSpan { T17544_kw.hs:13:12-16 }))
    
    15
    +      (EpaSpan { T17544_kw.hs:11:12-16 }))
    
    16 16
          []
    
    17 17
          []
    
    18 18
          (Just
    
    19 19
           ((,)
    
    20
    -       { T17544_kw.hs:25:1 }
    
    21
    -       { T17544_kw.hs:24:18 })))
    
    20
    +       { T17544_kw.hs:23:1 }
    
    21
    +       { T17544_kw.hs:22:18 })))
    
    22 22
         (EpaCommentsBalanced
    
    23 23
          []
    
    24 24
          []))
    
    ... ... @@ -29,7 +29,7 @@
    29 29
       (Just
    
    30 30
        (L
    
    31 31
         (EpAnn
    
    32
    -     (EpaSpan { T17544_kw.hs:10:3-11 })
    
    32
    +     (EpaSpan { T17544_kw.hs:8:3-11 })
    
    33 33
          (AnnListItem
    
    34 34
           [])
    
    35 35
          (EpaComments
    
    ... ... @@ -38,14 +38,14 @@
    38 38
       (Just
    
    39 39
        (L
    
    40 40
         (EpAnn
    
    41
    -     (EpaSpan { T17544_kw.hs:(10,13)-(13,10) })
    
    41
    +     (EpaSpan { T17544_kw.hs:(8,13)-(11,10) })
    
    42 42
          (AnnList
    
    43 43
           (Nothing)
    
    44 44
           (ListParens
    
    45 45
            (EpTok
    
    46
    -        (EpaSpan { T17544_kw.hs:10:13 }))
    
    46
    +        (EpaSpan { T17544_kw.hs:8:13 }))
    
    47 47
            (EpTok
    
    48
    -        (EpaSpan { T17544_kw.hs:13:10 })))
    
    48
    +        (EpaSpan { T17544_kw.hs:11:10 })))
    
    49 49
           []
    
    50 50
           ((,)
    
    51 51
            (NoEpTok)
    
    ... ... @@ -55,26 +55,24 @@
    55 55
           []))
    
    56 56
         [(L
    
    57 57
           (EpAnn
    
    58
    -       (EpaSpan { T17544_kw.hs:11:3-9 })
    
    58
    +       (EpaSpan { T17544_kw.hs:9:3-9 })
    
    59 59
            (AnnListItem
    
    60 60
             [(AddCommaAnn
    
    61 61
               (EpTok
    
    62
    -           (EpaSpan { T17544_kw.hs:11:10 })))])
    
    62
    +           (EpaSpan { T17544_kw.hs:9:10 })))])
    
    63 63
            (EpaComments
    
    64 64
             []))
    
    65
    -      (IEThingAll
    
    65
    +      (IEThingWith
    
    66 66
            ((,)
    
    67 67
             (Nothing)
    
    68
    -        ((,,)
    
    69
    -         (EpTok
    
    70
    -          (EpaSpan { T17544_kw.hs:11:6 }))
    
    68
    +        ((,)
    
    71 69
              (EpTok
    
    72
    -          (EpaSpan { T17544_kw.hs:11:7-8 }))
    
    70
    +          (EpaSpan { T17544_kw.hs:9:6 }))
    
    73 71
              (EpTok
    
    74
    -          (EpaSpan { T17544_kw.hs:11:9 }))))
    
    72
    +          (EpaSpan { T17544_kw.hs:9:9 }))))
    
    75 73
            (L
    
    76 74
             (EpAnn
    
    77
    -         (EpaSpan { T17544_kw.hs:11:3-5 })
    
    75
    +         (EpaSpan { T17544_kw.hs:9:3-5 })
    
    78 76
              (AnnListItem
    
    79 77
               [])
    
    80 78
              (EpaComments
    
    ... ... @@ -83,36 +81,45 @@
    83 81
              (NoExtField)
    
    84 82
              (L
    
    85 83
               (EpAnn
    
    86
    -           (EpaSpan { T17544_kw.hs:11:3-5 })
    
    84
    +           (EpaSpan { T17544_kw.hs:9:3-5 })
    
    87 85
                (NameAnnTrailing
    
    88 86
                 [])
    
    89 87
                (EpaComments
    
    90 88
                 []))
    
    91 89
               (Unqual
    
    92 90
                {OccName: Foo}))))
    
    91
    +       [(L
    
    92
    +         (EpAnn
    
    93
    +          (EpaSpan { T17544_kw.hs:9:7-8 })
    
    94
    +          (AnnListItem
    
    95
    +           [])
    
    96
    +          (EpaComments
    
    97
    +           []))
    
    98
    +         (IEWildcard
    
    99
    +          (EpTok
    
    100
    +           (EpaSpan { T17544_kw.hs:9:7-8 }))))]
    
    101
    +       []
    
    93 102
            (Nothing)))
    
    94 103
         ,(L
    
    95 104
           (EpAnn
    
    96
    -       (EpaSpan { T17544_kw.hs:12:3-9 })
    
    105
    +       (EpaSpan { T17544_kw.hs:10:3-9 })
    
    97 106
            (AnnListItem
    
    98 107
             [(AddCommaAnn
    
    99 108
               (EpTok
    
    100
    -           (EpaSpan { T17544_kw.hs:12:10 })))])
    
    109
    +           (EpaSpan { T17544_kw.hs:10:10 })))])
    
    101 110
            (EpaComments
    
    102 111
             []))
    
    103
    -      (IEThingAll
    
    112
    +      (IEThingWith
    
    104 113
            ((,)
    
    105 114
             (Nothing)
    
    106
    -        ((,,)
    
    115
    +        ((,)
    
    107 116
              (EpTok
    
    108
    -          (EpaSpan { T17544_kw.hs:12:6 }))
    
    117
    +          (EpaSpan { T17544_kw.hs:10:6 }))
    
    109 118
              (EpTok
    
    110
    -          (EpaSpan { T17544_kw.hs:12:7-8 }))
    
    111
    -         (EpTok
    
    112
    -          (EpaSpan { T17544_kw.hs:12:9 }))))
    
    119
    +          (EpaSpan { T17544_kw.hs:10:9 }))))
    
    113 120
            (L
    
    114 121
             (EpAnn
    
    115
    -         (EpaSpan { T17544_kw.hs:12:3-5 })
    
    122
    +         (EpaSpan { T17544_kw.hs:10:3-5 })
    
    116 123
              (AnnListItem
    
    117 124
               [])
    
    118 125
              (EpaComments
    
    ... ... @@ -121,34 +128,43 @@
    121 128
              (NoExtField)
    
    122 129
              (L
    
    123 130
               (EpAnn
    
    124
    -           (EpaSpan { T17544_kw.hs:12:3-5 })
    
    131
    +           (EpaSpan { T17544_kw.hs:10:3-5 })
    
    125 132
                (NameAnnTrailing
    
    126 133
                 [])
    
    127 134
                (EpaComments
    
    128 135
                 []))
    
    129 136
               (Unqual
    
    130 137
                {OccName: Bar}))))
    
    138
    +       [(L
    
    139
    +         (EpAnn
    
    140
    +          (EpaSpan { T17544_kw.hs:10:7-8 })
    
    141
    +          (AnnListItem
    
    142
    +           [])
    
    143
    +          (EpaComments
    
    144
    +           []))
    
    145
    +         (IEWildcard
    
    146
    +          (EpTok
    
    147
    +           (EpaSpan { T17544_kw.hs:10:7-8 }))))]
    
    148
    +       []
    
    131 149
            (Nothing)))
    
    132 150
         ,(L
    
    133 151
           (EpAnn
    
    134
    -       (EpaSpan { T17544_kw.hs:13:3-9 })
    
    152
    +       (EpaSpan { T17544_kw.hs:11:3-9 })
    
    135 153
            (AnnListItem
    
    136 154
             [])
    
    137 155
            (EpaComments
    
    138 156
             []))
    
    139
    -      (IEThingAll
    
    157
    +      (IEThingWith
    
    140 158
            ((,)
    
    141 159
             (Nothing)
    
    142
    -        ((,,)
    
    160
    +        ((,)
    
    143 161
              (EpTok
    
    144
    -          (EpaSpan { T17544_kw.hs:13:6 }))
    
    145
    -         (EpTok
    
    146
    -          (EpaSpan { T17544_kw.hs:13:7-8 }))
    
    162
    +          (EpaSpan { T17544_kw.hs:11:6 }))
    
    147 163
              (EpTok
    
    148
    -          (EpaSpan { T17544_kw.hs:13:9 }))))
    
    164
    +          (EpaSpan { T17544_kw.hs:11:9 }))))
    
    149 165
            (L
    
    150 166
             (EpAnn
    
    151
    -         (EpaSpan { T17544_kw.hs:13:3-5 })
    
    167
    +         (EpaSpan { T17544_kw.hs:11:3-5 })
    
    152 168
              (AnnListItem
    
    153 169
               [])
    
    154 170
              (EpaComments
    
    ... ... @@ -157,18 +173,29 @@
    157 173
              (NoExtField)
    
    158 174
              (L
    
    159 175
               (EpAnn
    
    160
    -           (EpaSpan { T17544_kw.hs:13:3-5 })
    
    176
    +           (EpaSpan { T17544_kw.hs:11:3-5 })
    
    161 177
                (NameAnnTrailing
    
    162 178
                 [])
    
    163 179
                (EpaComments
    
    164 180
                 []))
    
    165 181
               (Unqual
    
    166 182
                {OccName: Cls}))))
    
    183
    +       [(L
    
    184
    +         (EpAnn
    
    185
    +          (EpaSpan { T17544_kw.hs:11:7-8 })
    
    186
    +          (AnnListItem
    
    187
    +           [])
    
    188
    +          (EpaComments
    
    189
    +           []))
    
    190
    +         (IEWildcard
    
    191
    +          (EpTok
    
    192
    +           (EpaSpan { T17544_kw.hs:11:7-8 }))))]
    
    193
    +       []
    
    167 194
            (Nothing)))]))
    
    168 195
       []
    
    169 196
       [(L
    
    170 197
         (EpAnn
    
    171
    -     (EpaSpan { T17544_kw.hs:(15,1)-(16,20) })
    
    198
    +     (EpaSpan { T17544_kw.hs:(13,1)-(14,20) })
    
    172 199
          (AnnListItem
    
    173 200
           [])
    
    174 201
          (EpaComments
    
    ... ... @@ -179,7 +206,7 @@
    179 206
           (NoExtField)
    
    180 207
           (L
    
    181 208
            (EpAnn
    
    182
    -        (EpaSpan { T17544_kw.hs:15:6-8 })
    
    209
    +        (EpaSpan { T17544_kw.hs:13:6-8 })
    
    183 210
             (NameAnnTrailing
    
    184 211
              [])
    
    185 212
             (EpaComments
    
    ... ... @@ -197,11 +224,11 @@
    197 224
             (NoEpTok)
    
    198 225
             (NoEpTok)
    
    199 226
             (EpTok
    
    200
    -         (EpaSpan { T17544_kw.hs:15:1-4 }))
    
    227
    +         (EpaSpan { T17544_kw.hs:13:1-4 }))
    
    201 228
             (NoEpTok)
    
    202 229
             (NoEpUniTok)
    
    203 230
             (EpTok
    
    204
    -         (EpaSpan { T17544_kw.hs:16:3-7 }))
    
    231
    +         (EpaSpan { T17544_kw.hs:14:3-7 }))
    
    205 232
             (NoEpTok)
    
    206 233
             (NoEpTok)
    
    207 234
             (NoEpTok))
    
    ... ... @@ -212,7 +239,7 @@
    212 239
             (False)
    
    213 240
             [(L
    
    214 241
               (EpAnn
    
    215
    -           (EpaSpan { T17544_kw.hs:16:9-20 })
    
    242
    +           (EpaSpan { T17544_kw.hs:14:9-20 })
    
    216 243
                (AnnListItem
    
    217 244
                 [])
    
    218 245
                (EpaComments
    
    ... ... @@ -222,12 +249,12 @@
    222 249
                 []
    
    223 250
                 []
    
    224 251
                 (EpUniTok
    
    225
    -             (EpaSpan { T17544_kw.hs:16:15-16 })
    
    252
    +             (EpaSpan { T17544_kw.hs:14:15-16 })
    
    226 253
                  (NormalSyntax)))
    
    227 254
                (:|
    
    228 255
                 (L
    
    229 256
                  (EpAnn
    
    230
    -              (EpaSpan { T17544_kw.hs:16:9-13 })
    
    257
    +              (EpaSpan { T17544_kw.hs:14:9-13 })
    
    231 258
                   (NameAnnTrailing
    
    232 259
                    [])
    
    233 260
                   (EpaComments
    
    ... ... @@ -237,7 +264,7 @@
    237 264
                 [])
    
    238 265
                (L
    
    239 266
                 (EpAnn
    
    240
    -             (EpaSpan { T17544_kw.hs:16:18-20 })
    
    267
    +             (EpaSpan { T17544_kw.hs:14:18-20 })
    
    241 268
                  (AnnListItem
    
    242 269
                   [])
    
    243 270
                  (EpaComments
    
    ... ... @@ -251,7 +278,7 @@
    251 278
                 [])
    
    252 279
                (L
    
    253 280
                 (EpAnn
    
    254
    -             (EpaSpan { T17544_kw.hs:16:18-20 })
    
    281
    +             (EpaSpan { T17544_kw.hs:14:18-20 })
    
    255 282
                  (AnnListItem
    
    256 283
                   [])
    
    257 284
                  (EpaComments
    
    ... ... @@ -261,7 +288,7 @@
    261 288
                  (NotPromoted)
    
    262 289
                  (L
    
    263 290
                   (EpAnn
    
    264
    -               (EpaSpan { T17544_kw.hs:16:18-20 })
    
    291
    +               (EpaSpan { T17544_kw.hs:14:18-20 })
    
    265 292
                    (NameAnnTrailing
    
    266 293
                     [])
    
    267 294
                    (EpaComments
    
    ... ... @@ -272,7 +299,7 @@
    272 299
            []))))
    
    273 300
       ,(L
    
    274 301
         (EpAnn
    
    275
    -     (EpaSpan { T17544_kw.hs:(18,1)-(19,26) })
    
    302
    +     (EpaSpan { T17544_kw.hs:(16,1)-(17,26) })
    
    276 303
          (AnnListItem
    
    277 304
           [])
    
    278 305
          (EpaComments
    
    ... ... @@ -283,7 +310,7 @@
    283 310
           (NoExtField)
    
    284 311
           (L
    
    285 312
            (EpAnn
    
    286
    -        (EpaSpan { T17544_kw.hs:18:9-11 })
    
    313
    +        (EpaSpan { T17544_kw.hs:16:9-11 })
    
    287 314
             (NameAnnTrailing
    
    288 315
              [])
    
    289 316
             (EpaComments
    
    ... ... @@ -300,12 +327,12 @@
    300 327
             []
    
    301 328
             (NoEpTok)
    
    302 329
             (EpTok
    
    303
    -         (EpaSpan { T17544_kw.hs:18:1-7 }))
    
    330
    +         (EpaSpan { T17544_kw.hs:16:1-7 }))
    
    304 331
             (NoEpTok)
    
    305 332
             (NoEpTok)
    
    306 333
             (NoEpUniTok)
    
    307 334
             (EpTok
    
    308
    -         (EpaSpan { T17544_kw.hs:19:3-7 }))
    
    335
    +         (EpaSpan { T17544_kw.hs:17:3-7 }))
    
    309 336
             (NoEpTok)
    
    310 337
             (NoEpTok)
    
    311 338
             (NoEpTok))
    
    ... ... @@ -315,7 +342,7 @@
    315 342
            (NewTypeCon
    
    316 343
             (L
    
    317 344
              (EpAnn
    
    318
    -          (EpaSpan { T17544_kw.hs:19:9-26 })
    
    345
    +          (EpaSpan { T17544_kw.hs:17:9-26 })
    
    319 346
               (AnnListItem
    
    320 347
                [])
    
    321 348
               (EpaComments
    
    ... ... @@ -325,12 +352,12 @@
    325 352
                []
    
    326 353
                []
    
    327 354
                (EpUniTok
    
    328
    -            (EpaSpan { T17544_kw.hs:19:15-16 })
    
    355
    +            (EpaSpan { T17544_kw.hs:17:15-16 })
    
    329 356
                 (NormalSyntax)))
    
    330 357
               (:|
    
    331 358
                (L
    
    332 359
                 (EpAnn
    
    333
    -             (EpaSpan { T17544_kw.hs:19:9-13 })
    
    360
    +             (EpaSpan { T17544_kw.hs:17:9-13 })
    
    334 361
                  (NameAnnTrailing
    
    335 362
                   [])
    
    336 363
                  (EpaComments
    
    ... ... @@ -340,7 +367,7 @@
    340 367
                [])
    
    341 368
               (L
    
    342 369
                (EpAnn
    
    343
    -            (EpaSpan { T17544_kw.hs:19:18-26 })
    
    370
    +            (EpaSpan { T17544_kw.hs:17:18-26 })
    
    344 371
                 (AnnListItem
    
    345 372
                  [])
    
    346 373
                 (EpaComments
    
    ... ... @@ -363,11 +390,11 @@
    363 390
                  (HsUnannotated
    
    364 391
                   (EpArrow
    
    365 392
                    (EpUniTok
    
    366
    -                (EpaSpan { T17544_kw.hs:19:21-22 })
    
    393
    +                (EpaSpan { T17544_kw.hs:17:21-22 })
    
    367 394
                     (NormalSyntax))))
    
    368 395
                  (L
    
    369 396
                   (EpAnn
    
    370
    -               (EpaSpan { T17544_kw.hs:19:18-19 })
    
    397
    +               (EpaSpan { T17544_kw.hs:17:18-19 })
    
    371 398
                    (AnnListItem
    
    372 399
                     [])
    
    373 400
                    (EpaComments
    
    ... ... @@ -375,15 +402,15 @@
    375 402
                   (HsTupleTy
    
    376 403
                    (AnnParens
    
    377 404
                     (EpTok
    
    378
    -                 (EpaSpan { T17544_kw.hs:19:18 }))
    
    405
    +                 (EpaSpan { T17544_kw.hs:17:18 }))
    
    379 406
                     (EpTok
    
    380
    -                 (EpaSpan { T17544_kw.hs:19:19 })))
    
    407
    +                 (EpaSpan { T17544_kw.hs:17:19 })))
    
    381 408
                    (HsBoxedOrConstraintTuple)
    
    382 409
                    []))
    
    383 410
                  (Nothing))])
    
    384 411
               (L
    
    385 412
                (EpAnn
    
    386
    -            (EpaSpan { T17544_kw.hs:19:24-26 })
    
    413
    +            (EpaSpan { T17544_kw.hs:17:24-26 })
    
    387 414
                 (AnnListItem
    
    388 415
                  [])
    
    389 416
                 (EpaComments
    
    ... ... @@ -393,7 +420,7 @@
    393 420
                 (NotPromoted)
    
    394 421
                 (L
    
    395 422
                  (EpAnn
    
    396
    -              (EpaSpan { T17544_kw.hs:19:24-26 })
    
    423
    +              (EpaSpan { T17544_kw.hs:17:24-26 })
    
    397 424
                   (NameAnnTrailing
    
    398 425
                    [])
    
    399 426
                   (EpaComments
    
    ... ... @@ -404,7 +431,7 @@
    404 431
            []))))
    
    405 432
       ,(L
    
    406 433
         (EpAnn
    
    407
    -     (EpaSpan { T17544_kw.hs:(21,1)-(24,18) })
    
    434
    +     (EpaSpan { T17544_kw.hs:(19,1)-(22,18) })
    
    408 435
          (AnnListItem
    
    409 436
           [])
    
    410 437
          (EpaComments
    
    ... ... @@ -415,12 +442,12 @@
    415 442
           ((,,)
    
    416 443
            (AnnClassDecl
    
    417 444
             (EpTok
    
    418
    -         (EpaSpan { T17544_kw.hs:21:1-5 }))
    
    445
    +         (EpaSpan { T17544_kw.hs:19:1-5 }))
    
    419 446
             []
    
    420 447
             []
    
    421 448
             (NoEpTok)
    
    422 449
             (EpTok
    
    423
    -         (EpaSpan { T17544_kw.hs:23:3-7 }))
    
    450
    +         (EpaSpan { T17544_kw.hs:21:3-7 }))
    
    424 451
             (NoEpTok)
    
    425 452
             (NoEpTok)
    
    426 453
             [])
    
    ... ... @@ -430,7 +457,7 @@
    430 457
           (Nothing)
    
    431 458
           (L
    
    432 459
            (EpAnn
    
    433
    -        (EpaSpan { T17544_kw.hs:21:7-9 })
    
    460
    +        (EpaSpan { T17544_kw.hs:19:7-9 })
    
    434 461
             (NameAnnTrailing
    
    435 462
              [])
    
    436 463
             (EpaComments
    
    ... ... @@ -441,7 +468,7 @@
    441 468
            (NoExtField)
    
    442 469
            [(L
    
    443 470
              (EpAnn
    
    444
    -          (EpaSpan { T17544_kw.hs:21:11 })
    
    471
    +          (EpaSpan { T17544_kw.hs:19:11 })
    
    445 472
               (AnnListItem
    
    446 473
                [])
    
    447 474
               (EpaComments
    
    ... ... @@ -458,7 +485,7 @@
    458 485
                (NoExtField)
    
    459 486
                (L
    
    460 487
                 (EpAnn
    
    461
    -             (EpaSpan { T17544_kw.hs:21:11 })
    
    488
    +             (EpaSpan { T17544_kw.hs:19:11 })
    
    462 489
                  (NameAnnTrailing
    
    463 490
                   [])
    
    464 491
                  (EpaComments
    
    ... ... @@ -471,7 +498,7 @@
    471 498
           []
    
    472 499
           [(L
    
    473 500
             (EpAnn
    
    474
    -         (EpaSpan { T17544_kw.hs:24:5-18 })
    
    501
    +         (EpaSpan { T17544_kw.hs:22:5-18 })
    
    475 502
              (AnnListItem
    
    476 503
               [])
    
    477 504
              (EpaComments
    
    ... ... @@ -479,14 +506,14 @@
    479 506
             (ClassOpSig
    
    480 507
              (AnnSig
    
    481 508
               (EpUniTok
    
    482
    -           (EpaSpan { T17544_kw.hs:24:15-16 })
    
    509
    +           (EpaSpan { T17544_kw.hs:22:15-16 })
    
    483 510
                (NormalSyntax))
    
    484 511
               (Nothing)
    
    485 512
               (Nothing))
    
    486 513
              (False)
    
    487 514
              [(L
    
    488 515
                (EpAnn
    
    489
    -            (EpaSpan { T17544_kw.hs:24:5-13 })
    
    516
    +            (EpaSpan { T17544_kw.hs:22:5-13 })
    
    490 517
                 (NameAnnTrailing
    
    491 518
                  [])
    
    492 519
                 (EpaComments
    
    ... ... @@ -495,7 +522,7 @@
    495 522
                 {OccName: clsmethod}))]
    
    496 523
              (L
    
    497 524
               (EpAnn
    
    498
    -           (EpaSpan { T17544_kw.hs:24:18 })
    
    525
    +           (EpaSpan { T17544_kw.hs:22:18 })
    
    499 526
                (AnnListItem
    
    500 527
                 [])
    
    501 528
                (EpaComments
    
    ... ... @@ -506,7 +533,7 @@
    506 533
                 (NoExtField))
    
    507 534
                (L
    
    508 535
                 (EpAnn
    
    509
    -             (EpaSpan { T17544_kw.hs:24:18 })
    
    536
    +             (EpaSpan { T17544_kw.hs:22:18 })
    
    510 537
                  (AnnListItem
    
    511 538
                   [])
    
    512 539
                  (EpaComments
    
    ... ... @@ -516,7 +543,7 @@
    516 543
                  (NotPromoted)
    
    517 544
                  (L
    
    518 545
                   (EpAnn
    
    519
    -               (EpaSpan { T17544_kw.hs:24:18 })
    
    546
    +               (EpaSpan { T17544_kw.hs:22:18 })
    
    520 547
                    (NameAnnTrailing
    
    521 548
                     [])
    
    522 549
                    (EpaComments
    
    ... ... @@ -529,15 +556,15 @@
    529 556
           [])))]))
    
    530 557
     
    
    531 558
     
    
    532
    -T17544_kw.hs:9:3: warning: [GHC-94458] [-Winvalid-haddock]
    
    559
    +T17544_kw.hs:7:3: warning: [GHC-94458] [-Winvalid-haddock]
    
    533 560
         A Haddock comment cannot appear in this position and will be ignored.
    
    534 561
     
    
    535
    -T17544_kw.hs:15:10: warning: [GHC-94458] [-Winvalid-haddock]
    
    562
    +T17544_kw.hs:13:10: warning: [GHC-94458] [-Winvalid-haddock]
    
    536 563
         A Haddock comment cannot appear in this position and will be ignored.
    
    537 564
     
    
    538
    -T17544_kw.hs:18:13: warning: [GHC-94458] [-Winvalid-haddock]
    
    565
    +T17544_kw.hs:16:13: warning: [GHC-94458] [-Winvalid-haddock]
    
    539 566
         A Haddock comment cannot appear in this position and will be ignored.
    
    540 567
     
    
    541
    -T17544_kw.hs:22:5: warning: [GHC-94458] [-Winvalid-haddock]
    
    568
    +T17544_kw.hs:20:5: warning: [GHC-94458] [-Winvalid-haddock]
    
    542 569
         A Haddock comment cannot appear in this position and will be ignored.
    
    543 570