aboutsummaryrefslogtreecommitdiff
path: root/haddock-api
diff options
context:
space:
mode:
authorJakob Brünker <jakob.bruenker@gmail.com>2022-03-27 12:03:12 +0000
committerMatthew Pickering <matthewtpickering@gmail.com>2022-04-01 15:46:22 +0000
commitfb0e9bac0a5297f995b151f25aa1ce3e622e12ea (patch)
tree78c39d8082f06b8affe99747606c95fd88a12ded /haddock-api
parent58237d76c96325f25627bfd7cdad5b93364d29a4 (diff)
Add support for \cases
See merge request ghc/ghc!7873
Diffstat (limited to 'haddock-api')
-rw-r--r--haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs b/haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs
index 76ae5be3..9f28d72a 100644
--- a/haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs
+++ b/haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs
@@ -269,6 +269,7 @@ classify tok =
ITequal -> TkGlyph
ITlam -> TkGlyph
ITlcase -> TkGlyph
+ ITlcases -> TkGlyph
ITvbar -> TkGlyph
ITlarrow {} -> TkGlyph
ITrarrow {} -> TkGlyph