aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/src/Haddock/Backends/Xhtml
Commit message (Collapse)AuthorAgeFilesLines
* Overhaul Haddock's rendering of kind signatures (#681)Ryan Scott2017-10-241-12/+11
| | | | | | | | | | | | | | | * Overhaul Haddock's rendering of kind signatures * Strip off kind signatures when specializing As an added bonus, this lets us remove an ugly hack specifically for `(->)`. Yay! * Update due to 0390e4a0f61e37bd1dcc24a36d499e92f2561b67 * @alexbiehl's suggestions * Import injectiveVarsOfBinder from GHC
* Update for #14131Ryan Scott2017-08-231-2/+3
|
* Merge remote-tracking branch 'origin/master' into ghc-headalexbiehl2017-08-213-148/+198
|\
| * 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-311-0/+1
| | | | | | | | | | | | | | | | | | | | * 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-092-15/+45
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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
| |
| * 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.
* | Match new AST as per GHC wip/new-tree-one-paramAlan Zimmerman2017-06-051-67/+67
|/ | | | See https://ghc.haskell.org/trac/ghc/wiki/ImplementingTreesThatGrow
* HsIParamTy now has a Located nameAlan Zimmerman2017-01-101-1/+1
|
* Matching changes for GHC wip/T12942Alan Zimmerman2016-12-122-2/+2
|
* Match changes in GHC wip/T3384 branchAlan Zimmerman2016-12-071-3/+4
|
* Add support for unboxed sumsÖmer Sinan Ağacan2016-07-212-1/+9
|
* GhcUtils: Changes for multi-pattern signaturesBen Gamari2016-07-011-16/+14
|
* Follow changes to LHsSigWcTypeSimon Peyton Jones2016-06-131-3/+1
|
* Merge pull request #512 from phadej/oleg-fixesSebastian Méric de Bellefon2016-06-061-2/+1
|\ | | | | Fixes for #508 and #510
| * UnfelpfulSpan line number omittedOleg Grenrus2016-05-241-2/+1
| | | | | | | | Kind of resolves https://github.com/haskell/haddock/issues/508
| * 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-151-2/+2
| | | | | | | | (cherry picked from commit bb994de1ab0c76d1aaf1e39c54158db2526d31f1)
* | Matching changes for #12105Alan Zimmerman2016-05-292-2/+2
| |
* | Render Haddocks for derived instancesRyan Scott2016-05-041-0/+1
| | | | | | | | | | | | | | | | | | | | 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-141-2/+2
| |/ |/|
* | 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).
* | Update to match wip/T11430 in GHCAlan Zimmerman2016-01-161-1/+1
|/
* Merge remote-tracking branch 'idontgetoutmuch/ghc-head' into ghc-headBen Gamari2015-12-251-0/+3
|\
| * Fix the documentation for haddock itself.Dominic Steinitz2015-12-211-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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-211-0/+2
| |
* | Merge remote-tracking branch 'origin/ghc-head' into ghc-headBen Gamari2015-12-231-5/+2
|\ \
| * | Follow removal of NamedWildCard from HsTypeSimon Peyton Jones2015-12-221-3/+0
| | |
| * | Update for GHC trac#11258Alan Zimmerman2015-12-201-2/+2
| |/ | | | | | | Adding locations to RdrName in FieldOcc and AmbiguousFieldOcc
* | Merge remote-tracking branch 'phadej/orphans' into ghc-headBen Gamari2015-12-202-9/+38
|\ \ | |/ |/|
| * Fix orphan instance collapsingOleg Grenrus2015-09-281-7/+11
| |
| * Print orphan instances header only if requiredOleg Grenrus2015-09-281-1/+2
| |
| * Generate docs for orphan instancesOleg Grenrus2015-09-272-3/+27
| |
* | Fix fallout from wildcards refactoringBen Gamari2015-12-161-2/+2
| | | | | | | | | | | | | | | | | | | | | | The wildcard refactoring was introduced a new type of signature, `ClassOpSig`, which is carried by typeclasses. The original patch adapting Haddock for this change missed a few places where this constructor needed to be handled, resulting in no class methods in documentation produced by Haddock. Additionally, this moves and renames the `isVanillaLSig` helper from GHC's HsBinds module into GhcUtils, since it is only used by Haddock.
* | WarningsMatthew Pickering2015-12-141-8/+1
| |
* | Changes to compile with 8.0Matthew Pickering2015-12-141-10/+14
| |
* | Update for type=kindsRichard Eisenberg2015-12-141-8/+6
| |
* | Placeholder for record style GADT declarationAlan Zimmerman2015-12-141-3/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | A GADT Declaration is now presented as CmmCondBranch :: {..} -> CmmNode O C cml_pred :: CmmExpr cml_true, cml_false :: !Label cml_likely :: Maybe Bool for CmmCondBranch :: { -- conditional branch cml_pred :: CmmExpr, cml_true, cml_false :: ULabel, cml_likely :: Maybe Bool -- likely result of the conditional, -- if known } -> CmmNode O C
* | Matching changes for #11028Alan Zimmerman2015-12-141-78/+38
| |
* | Update to match GHC wip/T11019Alan Zimmerman2015-12-141-4/+4
| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-16 00:48:42 +0000