diff options
author | Christiaan Baaij <christiaan.baaij@gmail.com> | 2021-05-13 08:21:56 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-13 08:21:56 +0200 |
commit | a1337c599ef7720b0482a25c55f11794112496dc (patch) | |
tree | 8d5bfcb09a26448441c0c01003c6eb83761191bd /haddock-api/src/Haddock | |
parent | ef2304bbff1e30fcd9306b5b211f045d608753c0 (diff) |
Add Haddock support for the OPAQUE pragma (#1380)
Diffstat (limited to 'haddock-api/src/Haddock')
-rw-r--r-- | haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs b/haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs index e6748937..f4bc038c 100644 --- a/haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs +++ b/haddock-api/src/Haddock/Backends/Hyperlinker/Parser.hs @@ -233,6 +233,7 @@ classify tok = ITrequires -> TkKeyword ITinline_prag {} -> TkPragma + ITopaque_prag {} -> TkPragma ITspec_prag {} -> TkPragma ITspec_inline_prag {} -> TkPragma ITsource_prag {} -> TkPragma @@ -374,6 +375,7 @@ inPragma True _ = True inPragma False tok = case tok of ITinline_prag {} -> True + ITopaque_prag {} -> True ITspec_prag {} -> True ITspec_inline_prag {} -> True ITsource_prag {} -> True |