diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-07-23 09:11:50 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2020-07-23 09:11:50 -0400 |
commit | 7e1ae9b519e16bd93fafcc653e38524fa17b38b9 (patch) | |
tree | 241184db448a755465a1bf9a7be8dbd3d3097199 | |
parent | 8a61923802aa10853e557e216a845109d3798480 (diff) | |
parent | 904dce0cafe0a241dd3ef355775db47fc12f434d (diff) |
Merge commit '904dce0cafe0a241dd3ef355775db47fc12f434d' into ghc-head
-rw-r--r-- | haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs b/haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs index fc277daf..5fd040a8 100644 --- a/haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs +++ b/haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs @@ -240,7 +240,6 @@ classify tok = ITcolumn_prag {} -> TkPragma ITscc_prag {} -> TkPragma ITgenerated_prag {} -> TkPragma - ITcore_prag {} -> TkPragma ITunpack_prag {} -> TkPragma ITnounpack_prag {} -> TkPragma ITann_prag {} -> TkPragma @@ -381,7 +380,6 @@ inPragma False tok = ITcolumn_prag {} -> True ITscc_prag {} -> True ITgenerated_prag {} -> True - ITcore_prag {} -> True ITunpack_prag {} -> True ITnounpack_prag {} -> True ITann_prag {} -> True |