diff options
| author | Jakob Brünker <jakob.bruenker@gmail.com> | 2022-03-27 12:03:12 +0000 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2022-04-01 15:46:22 +0000 |
| commit | fb0e9bac0a5297f995b151f25aa1ce3e622e12ea (patch) | |
| tree | 78c39d8082f06b8affe99747606c95fd88a12ded /haddock-api | |
| parent | 58237d76c96325f25627bfd7cdad5b93364d29a4 (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.hs | 1 |
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 |