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,11 +55,11 @@
    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 65
           (IEThingAll
    
    ... ... @@ -67,14 +67,14 @@
    67 67
             (Nothing)
    
    68 68
             ((,,)
    
    69 69
              (EpTok
    
    70
    -          (EpaSpan { T17544_kw.hs:11:6 }))
    
    70
    +          (EpaSpan { T17544_kw.hs:9:6 }))
    
    71 71
              (EpTok
    
    72
    -          (EpaSpan { T17544_kw.hs:11:7-8 }))
    
    72
    +          (EpaSpan { T17544_kw.hs:9:7-8 }))
    
    73 73
              (EpTok
    
    74
    -          (EpaSpan { T17544_kw.hs:11:9 }))))
    
    74
    +          (EpaSpan { T17544_kw.hs:9:9 }))))
    
    75 75
            (L
    
    76 76
             (EpAnn
    
    77
    -         (EpaSpan { T17544_kw.hs:11:3-5 })
    
    77
    +         (EpaSpan { T17544_kw.hs:9:3-5 })
    
    78 78
              (AnnListItem
    
    79 79
               [])
    
    80 80
              (EpaComments
    
    ... ... @@ -83,7 +83,7 @@
    83 83
              (NoExtField)
    
    84 84
              (L
    
    85 85
               (EpAnn
    
    86
    -           (EpaSpan { T17544_kw.hs:11:3-5 })
    
    86
    +           (EpaSpan { T17544_kw.hs:9:3-5 })
    
    87 87
                (NameAnnTrailing
    
    88 88
                 [])
    
    89 89
                (EpaComments
    
    ... ... @@ -93,11 +93,11 @@
    93 93
            (Nothing)))
    
    94 94
         ,(L
    
    95 95
           (EpAnn
    
    96
    -       (EpaSpan { T17544_kw.hs:12:3-9 })
    
    96
    +       (EpaSpan { T17544_kw.hs:10:3-9 })
    
    97 97
            (AnnListItem
    
    98 98
             [(AddCommaAnn
    
    99 99
               (EpTok
    
    100
    -           (EpaSpan { T17544_kw.hs:12:10 })))])
    
    100
    +           (EpaSpan { T17544_kw.hs:10:10 })))])
    
    101 101
            (EpaComments
    
    102 102
             []))
    
    103 103
           (IEThingAll
    
    ... ... @@ -105,14 +105,14 @@
    105 105
             (Nothing)
    
    106 106
             ((,,)
    
    107 107
              (EpTok
    
    108
    -          (EpaSpan { T17544_kw.hs:12:6 }))
    
    108
    +          (EpaSpan { T17544_kw.hs:10:6 }))
    
    109 109
              (EpTok
    
    110
    -          (EpaSpan { T17544_kw.hs:12:7-8 }))
    
    110
    +          (EpaSpan { T17544_kw.hs:10:7-8 }))
    
    111 111
              (EpTok
    
    112
    -          (EpaSpan { T17544_kw.hs:12:9 }))))
    
    112
    +          (EpaSpan { T17544_kw.hs:10:9 }))))
    
    113 113
            (L
    
    114 114
             (EpAnn
    
    115
    -         (EpaSpan { T17544_kw.hs:12:3-5 })
    
    115
    +         (EpaSpan { T17544_kw.hs:10:3-5 })
    
    116 116
              (AnnListItem
    
    117 117
               [])
    
    118 118
              (EpaComments
    
    ... ... @@ -121,7 +121,7 @@
    121 121
              (NoExtField)
    
    122 122
              (L
    
    123 123
               (EpAnn
    
    124
    -           (EpaSpan { T17544_kw.hs:12:3-5 })
    
    124
    +           (EpaSpan { T17544_kw.hs:10:3-5 })
    
    125 125
                (NameAnnTrailing
    
    126 126
                 [])
    
    127 127
                (EpaComments
    
    ... ... @@ -131,7 +131,7 @@
    131 131
            (Nothing)))
    
    132 132
         ,(L
    
    133 133
           (EpAnn
    
    134
    -       (EpaSpan { T17544_kw.hs:13:3-9 })
    
    134
    +       (EpaSpan { T17544_kw.hs:11:3-9 })
    
    135 135
            (AnnListItem
    
    136 136
             [])
    
    137 137
            (EpaComments
    
    ... ... @@ -141,14 +141,14 @@
    141 141
             (Nothing)
    
    142 142
             ((,,)
    
    143 143
              (EpTok
    
    144
    -          (EpaSpan { T17544_kw.hs:13:6 }))
    
    144
    +          (EpaSpan { T17544_kw.hs:11:6 }))
    
    145 145
              (EpTok
    
    146
    -          (EpaSpan { T17544_kw.hs:13:7-8 }))
    
    146
    +          (EpaSpan { T17544_kw.hs:11:7-8 }))
    
    147 147
              (EpTok
    
    148
    -          (EpaSpan { T17544_kw.hs:13:9 }))))
    
    148
    +          (EpaSpan { T17544_kw.hs:11:9 }))))
    
    149 149
            (L
    
    150 150
             (EpAnn
    
    151
    -         (EpaSpan { T17544_kw.hs:13:3-5 })
    
    151
    +         (EpaSpan { T17544_kw.hs:11:3-5 })
    
    152 152
              (AnnListItem
    
    153 153
               [])
    
    154 154
              (EpaComments
    
    ... ... @@ -157,7 +157,7 @@
    157 157
              (NoExtField)
    
    158 158
              (L
    
    159 159
               (EpAnn
    
    160
    -           (EpaSpan { T17544_kw.hs:13:3-5 })
    
    160
    +           (EpaSpan { T17544_kw.hs:11:3-5 })
    
    161 161
                (NameAnnTrailing
    
    162 162
                 [])
    
    163 163
                (EpaComments
    
    ... ... @@ -168,7 +168,7 @@
    168 168
       []
    
    169 169
       [(L
    
    170 170
         (EpAnn
    
    171
    -     (EpaSpan { T17544_kw.hs:(15,1)-(16,20) })
    
    171
    +     (EpaSpan { T17544_kw.hs:(13,1)-(14,20) })
    
    172 172
          (AnnListItem
    
    173 173
           [])
    
    174 174
          (EpaComments
    
    ... ... @@ -179,7 +179,7 @@
    179 179
           (NoExtField)
    
    180 180
           (L
    
    181 181
            (EpAnn
    
    182
    -        (EpaSpan { T17544_kw.hs:15:6-8 })
    
    182
    +        (EpaSpan { T17544_kw.hs:13:6-8 })
    
    183 183
             (NameAnnTrailing
    
    184 184
              [])
    
    185 185
             (EpaComments
    
    ... ... @@ -197,11 +197,11 @@
    197 197
             (NoEpTok)
    
    198 198
             (NoEpTok)
    
    199 199
             (EpTok
    
    200
    -         (EpaSpan { T17544_kw.hs:15:1-4 }))
    
    200
    +         (EpaSpan { T17544_kw.hs:13:1-4 }))
    
    201 201
             (NoEpTok)
    
    202 202
             (NoEpUniTok)
    
    203 203
             (EpTok
    
    204
    -         (EpaSpan { T17544_kw.hs:16:3-7 }))
    
    204
    +         (EpaSpan { T17544_kw.hs:14:3-7 }))
    
    205 205
             (NoEpTok)
    
    206 206
             (NoEpTok)
    
    207 207
             (NoEpTok))
    
    ... ... @@ -212,7 +212,7 @@
    212 212
             (False)
    
    213 213
             [(L
    
    214 214
               (EpAnn
    
    215
    -           (EpaSpan { T17544_kw.hs:16:9-20 })
    
    215
    +           (EpaSpan { T17544_kw.hs:14:9-20 })
    
    216 216
                (AnnListItem
    
    217 217
                 [])
    
    218 218
                (EpaComments
    
    ... ... @@ -222,12 +222,12 @@
    222 222
                 []
    
    223 223
                 []
    
    224 224
                 (EpUniTok
    
    225
    -             (EpaSpan { T17544_kw.hs:16:15-16 })
    
    225
    +             (EpaSpan { T17544_kw.hs:14:15-16 })
    
    226 226
                  (NormalSyntax)))
    
    227 227
                (:|
    
    228 228
                 (L
    
    229 229
                  (EpAnn
    
    230
    -              (EpaSpan { T17544_kw.hs:16:9-13 })
    
    230
    +              (EpaSpan { T17544_kw.hs:14:9-13 })
    
    231 231
                   (NameAnnTrailing
    
    232 232
                    [])
    
    233 233
                   (EpaComments
    
    ... ... @@ -237,7 +237,7 @@
    237 237
                 [])
    
    238 238
                (L
    
    239 239
                 (EpAnn
    
    240
    -             (EpaSpan { T17544_kw.hs:16:18-20 })
    
    240
    +             (EpaSpan { T17544_kw.hs:14:18-20 })
    
    241 241
                  (AnnListItem
    
    242 242
                   [])
    
    243 243
                  (EpaComments
    
    ... ... @@ -251,7 +251,7 @@
    251 251
                 [])
    
    252 252
                (L
    
    253 253
                 (EpAnn
    
    254
    -             (EpaSpan { T17544_kw.hs:16:18-20 })
    
    254
    +             (EpaSpan { T17544_kw.hs:14:18-20 })
    
    255 255
                  (AnnListItem
    
    256 256
                   [])
    
    257 257
                  (EpaComments
    
    ... ... @@ -261,7 +261,7 @@
    261 261
                  (NotPromoted)
    
    262 262
                  (L
    
    263 263
                   (EpAnn
    
    264
    -               (EpaSpan { T17544_kw.hs:16:18-20 })
    
    264
    +               (EpaSpan { T17544_kw.hs:14:18-20 })
    
    265 265
                    (NameAnnTrailing
    
    266 266
                     [])
    
    267 267
                    (EpaComments
    
    ... ... @@ -272,7 +272,7 @@
    272 272
            []))))
    
    273 273
       ,(L
    
    274 274
         (EpAnn
    
    275
    -     (EpaSpan { T17544_kw.hs:(18,1)-(19,26) })
    
    275
    +     (EpaSpan { T17544_kw.hs:(16,1)-(17,26) })
    
    276 276
          (AnnListItem
    
    277 277
           [])
    
    278 278
          (EpaComments
    
    ... ... @@ -283,7 +283,7 @@
    283 283
           (NoExtField)
    
    284 284
           (L
    
    285 285
            (EpAnn
    
    286
    -        (EpaSpan { T17544_kw.hs:18:9-11 })
    
    286
    +        (EpaSpan { T17544_kw.hs:16:9-11 })
    
    287 287
             (NameAnnTrailing
    
    288 288
              [])
    
    289 289
             (EpaComments
    
    ... ... @@ -300,12 +300,12 @@
    300 300
             []
    
    301 301
             (NoEpTok)
    
    302 302
             (EpTok
    
    303
    -         (EpaSpan { T17544_kw.hs:18:1-7 }))
    
    303
    +         (EpaSpan { T17544_kw.hs:16:1-7 }))
    
    304 304
             (NoEpTok)
    
    305 305
             (NoEpTok)
    
    306 306
             (NoEpUniTok)
    
    307 307
             (EpTok
    
    308
    -         (EpaSpan { T17544_kw.hs:19:3-7 }))
    
    308
    +         (EpaSpan { T17544_kw.hs:17:3-7 }))
    
    309 309
             (NoEpTok)
    
    310 310
             (NoEpTok)
    
    311 311
             (NoEpTok))
    
    ... ... @@ -315,7 +315,7 @@
    315 315
            (NewTypeCon
    
    316 316
             (L
    
    317 317
              (EpAnn
    
    318
    -          (EpaSpan { T17544_kw.hs:19:9-26 })
    
    318
    +          (EpaSpan { T17544_kw.hs:17:9-26 })
    
    319 319
               (AnnListItem
    
    320 320
                [])
    
    321 321
               (EpaComments
    
    ... ... @@ -325,12 +325,12 @@
    325 325
                []
    
    326 326
                []
    
    327 327
                (EpUniTok
    
    328
    -            (EpaSpan { T17544_kw.hs:19:15-16 })
    
    328
    +            (EpaSpan { T17544_kw.hs:17:15-16 })
    
    329 329
                 (NormalSyntax)))
    
    330 330
               (:|
    
    331 331
                (L
    
    332 332
                 (EpAnn
    
    333
    -             (EpaSpan { T17544_kw.hs:19:9-13 })
    
    333
    +             (EpaSpan { T17544_kw.hs:17:9-13 })
    
    334 334
                  (NameAnnTrailing
    
    335 335
                   [])
    
    336 336
                  (EpaComments
    
    ... ... @@ -340,7 +340,7 @@
    340 340
                [])
    
    341 341
               (L
    
    342 342
                (EpAnn
    
    343
    -            (EpaSpan { T17544_kw.hs:19:18-26 })
    
    343
    +            (EpaSpan { T17544_kw.hs:17:18-26 })
    
    344 344
                 (AnnListItem
    
    345 345
                  [])
    
    346 346
                 (EpaComments
    
    ... ... @@ -363,11 +363,11 @@
    363 363
                  (HsUnannotated
    
    364 364
                   (EpArrow
    
    365 365
                    (EpUniTok
    
    366
    -                (EpaSpan { T17544_kw.hs:19:21-22 })
    
    366
    +                (EpaSpan { T17544_kw.hs:17:21-22 })
    
    367 367
                     (NormalSyntax))))
    
    368 368
                  (L
    
    369 369
                   (EpAnn
    
    370
    -               (EpaSpan { T17544_kw.hs:19:18-19 })
    
    370
    +               (EpaSpan { T17544_kw.hs:17:18-19 })
    
    371 371
                    (AnnListItem
    
    372 372
                     [])
    
    373 373
                    (EpaComments
    
    ... ... @@ -375,15 +375,15 @@
    375 375
                   (HsTupleTy
    
    376 376
                    (AnnParens
    
    377 377
                     (EpTok
    
    378
    -                 (EpaSpan { T17544_kw.hs:19:18 }))
    
    378
    +                 (EpaSpan { T17544_kw.hs:17:18 }))
    
    379 379
                     (EpTok
    
    380
    -                 (EpaSpan { T17544_kw.hs:19:19 })))
    
    380
    +                 (EpaSpan { T17544_kw.hs:17:19 })))
    
    381 381
                    (HsBoxedOrConstraintTuple)
    
    382 382
                    []))
    
    383 383
                  (Nothing))])
    
    384 384
               (L
    
    385 385
                (EpAnn
    
    386
    -            (EpaSpan { T17544_kw.hs:19:24-26 })
    
    386
    +            (EpaSpan { T17544_kw.hs:17:24-26 })
    
    387 387
                 (AnnListItem
    
    388 388
                  [])
    
    389 389
                 (EpaComments
    
    ... ... @@ -393,7 +393,7 @@
    393 393
                 (NotPromoted)
    
    394 394
                 (L
    
    395 395
                  (EpAnn
    
    396
    -              (EpaSpan { T17544_kw.hs:19:24-26 })
    
    396
    +              (EpaSpan { T17544_kw.hs:17:24-26 })
    
    397 397
                   (NameAnnTrailing
    
    398 398
                    [])
    
    399 399
                   (EpaComments
    
    ... ... @@ -404,7 +404,7 @@
    404 404
            []))))
    
    405 405
       ,(L
    
    406 406
         (EpAnn
    
    407
    -     (EpaSpan { T17544_kw.hs:(21,1)-(24,18) })
    
    407
    +     (EpaSpan { T17544_kw.hs:(19,1)-(22,18) })
    
    408 408
          (AnnListItem
    
    409 409
           [])
    
    410 410
          (EpaComments
    
    ... ... @@ -415,12 +415,12 @@
    415 415
           ((,,)
    
    416 416
            (AnnClassDecl
    
    417 417
             (EpTok
    
    418
    -         (EpaSpan { T17544_kw.hs:21:1-5 }))
    
    418
    +         (EpaSpan { T17544_kw.hs:19:1-5 }))
    
    419 419
             []
    
    420 420
             []
    
    421 421
             (NoEpTok)
    
    422 422
             (EpTok
    
    423
    -         (EpaSpan { T17544_kw.hs:23:3-7 }))
    
    423
    +         (EpaSpan { T17544_kw.hs:21:3-7 }))
    
    424 424
             (NoEpTok)
    
    425 425
             (NoEpTok)
    
    426 426
             [])
    
    ... ... @@ -430,7 +430,7 @@
    430 430
           (Nothing)
    
    431 431
           (L
    
    432 432
            (EpAnn
    
    433
    -        (EpaSpan { T17544_kw.hs:21:7-9 })
    
    433
    +        (EpaSpan { T17544_kw.hs:19:7-9 })
    
    434 434
             (NameAnnTrailing
    
    435 435
              [])
    
    436 436
             (EpaComments
    
    ... ... @@ -441,7 +441,7 @@
    441 441
            (NoExtField)
    
    442 442
            [(L
    
    443 443
              (EpAnn
    
    444
    -          (EpaSpan { T17544_kw.hs:21:11 })
    
    444
    +          (EpaSpan { T17544_kw.hs:19:11 })
    
    445 445
               (AnnListItem
    
    446 446
                [])
    
    447 447
               (EpaComments
    
    ... ... @@ -458,7 +458,7 @@
    458 458
                (NoExtField)
    
    459 459
                (L
    
    460 460
                 (EpAnn
    
    461
    -             (EpaSpan { T17544_kw.hs:21:11 })
    
    461
    +             (EpaSpan { T17544_kw.hs:19:11 })
    
    462 462
                  (NameAnnTrailing
    
    463 463
                   [])
    
    464 464
                  (EpaComments
    
    ... ... @@ -471,7 +471,7 @@
    471 471
           []
    
    472 472
           [(L
    
    473 473
             (EpAnn
    
    474
    -         (EpaSpan { T17544_kw.hs:24:5-18 })
    
    474
    +         (EpaSpan { T17544_kw.hs:22:5-18 })
    
    475 475
              (AnnListItem
    
    476 476
               [])
    
    477 477
              (EpaComments
    
    ... ... @@ -479,14 +479,14 @@
    479 479
             (ClassOpSig
    
    480 480
              (AnnSig
    
    481 481
               (EpUniTok
    
    482
    -           (EpaSpan { T17544_kw.hs:24:15-16 })
    
    482
    +           (EpaSpan { T17544_kw.hs:22:15-16 })
    
    483 483
                (NormalSyntax))
    
    484 484
               (Nothing)
    
    485 485
               (Nothing))
    
    486 486
              (False)
    
    487 487
              [(L
    
    488 488
                (EpAnn
    
    489
    -            (EpaSpan { T17544_kw.hs:24:5-13 })
    
    489
    +            (EpaSpan { T17544_kw.hs:22:5-13 })
    
    490 490
                 (NameAnnTrailing
    
    491 491
                  [])
    
    492 492
                 (EpaComments
    
    ... ... @@ -495,7 +495,7 @@
    495 495
                 {OccName: clsmethod}))]
    
    496 496
              (L
    
    497 497
               (EpAnn
    
    498
    -           (EpaSpan { T17544_kw.hs:24:18 })
    
    498
    +           (EpaSpan { T17544_kw.hs:22:18 })
    
    499 499
                (AnnListItem
    
    500 500
                 [])
    
    501 501
                (EpaComments
    
    ... ... @@ -506,7 +506,7 @@
    506 506
                 (NoExtField))
    
    507 507
                (L
    
    508 508
                 (EpAnn
    
    509
    -             (EpaSpan { T17544_kw.hs:24:18 })
    
    509
    +             (EpaSpan { T17544_kw.hs:22:18 })
    
    510 510
                  (AnnListItem
    
    511 511
                   [])
    
    512 512
                  (EpaComments
    
    ... ... @@ -516,7 +516,7 @@
    516 516
                  (NotPromoted)
    
    517 517
                  (L
    
    518 518
                   (EpAnn
    
    519
    -               (EpaSpan { T17544_kw.hs:24:18 })
    
    519
    +               (EpaSpan { T17544_kw.hs:22:18 })
    
    520 520
                    (NameAnnTrailing
    
    521 521
                     [])
    
    522 522
                    (EpaComments
    
    ... ... @@ -529,15 +529,15 @@
    529 529
           [])))]))
    
    530 530
     
    
    531 531
     
    
    532
    -T17544_kw.hs:9:3: warning: [GHC-94458] [-Winvalid-haddock]
    
    532
    +T17544_kw.hs:7:3: warning: [GHC-94458] [-Winvalid-haddock]
    
    533 533
         A Haddock comment cannot appear in this position and will be ignored.
    
    534 534
     
    
    535
    -T17544_kw.hs:15:10: warning: [GHC-94458] [-Winvalid-haddock]
    
    535
    +T17544_kw.hs:13:10: warning: [GHC-94458] [-Winvalid-haddock]
    
    536 536
         A Haddock comment cannot appear in this position and will be ignored.
    
    537 537
     
    
    538
    -T17544_kw.hs:18:13: warning: [GHC-94458] [-Winvalid-haddock]
    
    538
    +T17544_kw.hs:16:13: warning: [GHC-94458] [-Winvalid-haddock]
    
    539 539
         A Haddock comment cannot appear in this position and will be ignored.
    
    540 540
     
    
    541
    -T17544_kw.hs:22:5: warning: [GHC-94458] [-Winvalid-haddock]
    
    541
    +T17544_kw.hs:20:5: warning: [GHC-94458] [-Winvalid-haddock]
    
    542 542
         A Haddock comment cannot appear in this position and will be ignored.
    
    543 543