aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/src/Haddock/Backends
Commit message (Collapse)AuthorAgeFilesLines
* Fix: Generate pattern signatures for constructors exported as patterns (#663)Tim Baumann2017-08-061-107/+135
| | | | | | | | | | | | | | | | | | | | | | | | * Fix pretty-printing of pattern signatures Pattern synonyms can have up to two contexts, both having a different semantic meaning: The first holds the constraints required to perform the matching, the second contains the constraints provided by a successful pattern match. When the first context is empty but the second is not it is necessary to render the first, empty context. * Generate pattern synonym signatures for ctors exported as patterns This fixes #653. * Simplify extractPatternSyn It is not necessary to generate the simplest type signature since it will be simplified when pretty-printed. * Add changelog entries for PR #663 * Fix extractPatternSyn error message
* Move `DocMarkup` from haddock-api to haddock-library (#659)Alexander Biehl2017-07-313-0/+3
| | | | | | | | | | * Move `DocMarkup` from haddock-api to haddock-library * Move more markup related functions * Markup module * CHANGELOG
* Fix haddock: internal error: links: UnhelpfulSpan (#561)Bartosz Nitka2017-07-021-2/+4
| | | | | | | | | * Fix haddock: internal error: links: UnhelpfulSpan This fixes #554 for me. I believe this is another fall out of `wildcard-refactor`, like #549. * Comment to clarify why we take the methods name location
* Haddock support for bundled pattern synonyms (#627)Christiaan Baaij2017-06-094-25/+71
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Haddock support for bundled pattern synonyms * Add fixities to bundled pattern synonyms * Add bundled pattern synonyms to the synopsis * Store bundled pattern fixities in expItemFixities * Add test for bundled pattern synonyms * Stop threading fixities * Include bundled pattern synonyms for re-exported data types Sadly, fixity information isn't found for re-exported data types * Support for pattern synonyms * Modify tests after #631 * Test some reexport variations * Also lookup bundled pattern synonyms from `InstalledInterface`s * Check isExported for bundled pattern synonyms * Pattern synonym is exported check * Always look for pattern synonyms in the current module Another overlooked cornercase * Account for types named twice in export lists Also introduce a fast function for nubbing on a `Name` and use it throughout the code base. * correct fixities for reexported pattern synonyms * Fuse concatMap and map * Remove obsolete import * Add pattern synonyms to visible exports * Fix test * Remove corner case
* Clear fixme comment (#625)Alex Biehl2017-05-301-3/+2
|
* Improve Syb code (#621)Doug Wilson2017-05-271-12/+16
| | | | | | | | | | | | Specialize.hs and Ast.hs are modified to have their Syb code not recurse into Name or Id in HsSyn types. Specialize.hs is refactored to have fewer calls to Syb functions. Syb.hs has some foldl calls replaced with foldl' calls. There is still a lot of performance on the floor of Ast.hs. The RenamedSource is traversed many times, and lookupBySpan is very inefficient. everywhereBut and lookupBySpan dominate the runtime whenever --hyperlinked-source is passed.
* Remove anything related to obsolete frames modealexbiehl2017-04-261-62/+8
|
* Render (signature) only if it actually is a signature!Edward Z. Yang2017-04-251-2/+5
| | | | | | | I forgot a conditional, oops! Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> (cherry picked from commit a0c4790e15a2d3fab8d830eee8fcd639fe6d39c9)
* Hoogle: Correctly print classes with associated data typesAlexander Biehl2017-04-251-1/+4
|
* Update MathJax URLPhil Ruffwind2017-04-031-1/+1
| | | | | | | MathJax is shutting down their CDN: https://www.mathjax.org/cdn-shutting-down/ They recommend migrating to cdnjs.
* Render help documentation link next to (signature) in title.Edward Z. Yang2017-03-231-1/+8
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> (cherry picked from commit 4eb765ca4205c79539d60b7afa9b7e261a4a49fe)
* Annotate signature docs with (signature)Edward Z. Yang2017-03-231-2/+5
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> (cherry picked from commit 07b88c5d4e79b87a319fbb08f8ea01dbb41063c1)
* Render signature module tree separately from modules.Edward Z. Yang2017-03-231-1/+14
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> (cherry picked from commit 2067a2d0afa9cef381d26fb7140b67c62f433fc0)
* Print any user-supplied kind signatures on type parameters.Brian Huffman2017-03-231-23/+14
| | | | | This applies to type parameters on data, newtype, type, and class declarations, and also to forall-bound type vars in type signatures.
* Merge branch 'ghc-head'Ben Gamari2017-03-109-49/+78
|\
| * Changes to match #13163 in GHCAlan Zimmerman2017-01-261-4/+4
| |
| * HsIParamTy now has a Located nameAlan Zimmerman2017-01-102-2/+2
| |
| * Matching changes for GHC wip/T12942Alan Zimmerman2016-12-125-5/+6
| |
| * Match changes in GHC wip/T3384 branchAlan Zimmerman2016-12-074-10/+13
| |
| * Haddock changes for T10598Ryan Scott2016-09-301-1/+1
| | | | | | | | See https://ghc.haskell.org/trac/ghc/ticket/10598
| * Add support for unboxed sumsÖmer Sinan Ağacan2016-07-213-1/+14
| |
| * GhcUtils: Changes for multi-pattern signaturesBen Gamari2016-07-012-22/+20
| |
| * Follow changes to LHsSigWcTypeSimon Peyton Jones2016-06-131-3/+1
| |
| * Merge pull request #512 from phadej/oleg-fixesSebastian Méric de Bellefon2016-06-063-3/+15
| |\ | | | | | | Fixes for #508 and #510
| | * Change Hyperlinked lexer to know about DataKinds ticksOleg Grenrus2016-05-242-1/+14
| | |
| | * UnfelpfulSpan line number omittedOleg Grenrus2016-05-241-2/+1
| | | | | | | | | | | | Kind of resolves https://github.com/haskell/haddock/issues/508
| * | Matching changes for #12105Alan Zimmerman2016-05-294-4/+6
| | |
| * | Render Haddocks for derived instancesRyan Scott2016-05-042-0/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Currently, one can document top-level instance declarations, but derived instances (both those in `deriving` clauses and standalone `deriving` instances) do not enjoy the same privilege. This makes the necessary changes to the Haddock API to enable rendering Haddock comments for derived instances. This is part of a fix for Trac #11768.
| * | Merge pull request #482 from RyanGlScott/ghc-headBen Gamari2016-04-162-12/+26
| |\ \ | | | | | | | | Collapse type/data family instances by default
| | * | Ensure expanded family instances render correctlyRyanGlScott2016-02-112-3/+4
| | | |
| | * | Collapse type/data family instances by defaultRyanGlScott2016-02-112-10/+23
| | | |
| | * | Update to match wip/T11430 in GHCAlan Zimmerman2016-01-151-1/+1
| | | |
| * | | Changes due to fix for GHC#11648.Richard Eisenberg2016-03-143-4/+4
| | | |
* | | | Copyright holders shown on several lines. Fix #279Sebastian Meric de Bellefon2016-06-161-4/+14
| | | |
* | | | remove framed view of the HTML documentation (see #114 and #274)Sebastian Meric de Bellefon2016-05-241-39/+3
| |_|/ |/| | | | | | | | | | | Frames are a bit broken, ignored by Hackage, and considered obsolete in general. This patch disables frames generation. The mini_*.html files are still used in the synopsis.
* | | Ensure expanded family instances render correctlyRyanGlScott2016-04-162-3/+4
| | | | | | | | | | | | (cherry picked from commit 1338b5d7c32939de6bbc31af0049477e4f847103)
* | | Collapse type/data family instances by defaultRyanGlScott2016-04-162-10/+23
| | | | | | | | | | | | (cherry picked from commit 2da130a8db8f995c119b544fad807533236cf088)
* | | Changes due to fix for GHC#11648.Richard Eisenberg2016-03-153-4/+4
|/ / | | | | | | (cherry picked from commit bb994de1ab0c76d1aaf1e39c54158db2526d31f1)
* | Xhtml.Decl: Show 'where ...' after closed type familyBen Gamari2016-02-181-0/+5
| | | | | | | | | | Seems like we should ideally show the actual equations as well but that seems like it would be a fair amount of work
* | Xhtml.Decl: Show kind signatures for type family variablesBen Gamari2016-02-181-4/+11
| | | | | | | | Addresses GHC #11588.
* | Xhtml.Decl: Various cleanupsBen Gamari2016-02-181-5/+6
| |
* | Move the permalinks to "#" on the right sidePhil Ruffwind2016-02-083-8/+11
| | | | | | | | | | | | | | | | | | Since pull request #407, the identifiers have been permalinked to themselves, but this makes it difficult to copy the identifier by double-clicking. To work around this usability problem, the permalinks are now placed on the far right adjacent to "Source", indicated by "#". Also, 'namedAnchor' now uses 'id' instead of 'name' (which is obsolete).
* | Make sure --mathjax affects all written HTML filesJoachim Breitner2016-01-191-15/+16
| | | | | | | | This fixes #475.
* | Update to match wip/T11430 in GHCAlan Zimmerman2016-01-161-1/+1
|/
* Merge remote-tracking branch 'idontgetoutmuch/ghc-head' into ghc-headBen Gamari2015-12-254-10/+25
|\
| * Fix the documentation for haddock itself.Dominic Steinitz2015-12-214-13/+20
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Change notation and add support for inline math. Allow newlines in display math. Add a command line option for the mathjax url (you might want to use a locally installed version). Rebase tests because of extra url and version change. Respond to (some of the) comments. Fix warnings in InterfaceFile.hs
| * Handle inline math with mathjax.Dominic Steinitz2015-12-214-0/+8
| |
* | Merge remote-tracking branch 'origin/ghc-head' into ghc-headBen Gamari2015-12-232-8/+3
|\ \
| * | Follow removal of NamedWildCard from HsTypeSimon Peyton Jones2015-12-222-5/+0
| | |
| * | Update for GHC trac#11258Alan Zimmerman2015-12-202-3/+3
| |/ | | | | | | Adding locations to RdrName in FieldOcc and AmbiguousFieldOcc