aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/src/Haddock/Interface/Rename.hs
Commit message (Collapse)AuthorAgeFilesLines
* Don't warn about missing links in miminal sigsAlec Theriault2020-04-151-1/+14
| | | | | | | | | | | When renaming the Haddock interface, never emit warnings when renaming a minimal signature. Also added some documention around `renameInterface`. Minimal signatures intentionally include references to potentially un-exported methods (see the discussion in #330), so it is expected that they will not always have a link destination. On the principle that warnings should always be resolvable, this shouldn't produce a warning. See #1070.
* Use TTG empty extensions to remove some `error`'sAlec Theriault2020-03-281-2/+2
| | | | | | | | | | | None of these error cases should ever have been reachable, so this is just a matter of leveraging the type system to assert this. * Use the `NoExtCon` and `noExtCon` to handle case matches for no extension constructors, instead of throwing an `error`. * Use the extension field of `HsSpliceTy` to ensure that this variant of `HsType` cannot exist in an `HsType DocNameI`.
* Clean up warningsAlec Theriault2020-03-221-2/+0
| | | | | | * unused imports * imports of `Data.List` without import lists * missing `CompatPrelude` file in `.cabal`
* Merge branch 'ghc-8.8' into ghc-8.10Alec Theriault2020-03-201-2/+2
|\
| * Matching changes in GHC for #16236Alan Zimmerman2019-03-291-2/+2
| | | | | | | | (cherry picked from commit 3ee6526d4ae7bf4deb7cd1caf24b3d7355573576)
| * Better identifier parsingAlec Theriault2019-02-251-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * '(<|>)' and '`elem`' now get parsed and rendered properly as links * 'DbModule'/'DbUnitId' now properly get split apart into two links * tuple names now get parsed properly * some more small niceties... The identifier parsing code is more precise and more efficient (although to be fair: it is also longer and in its own module). On the rendering side, we need to pipe through information about backticks/parens/neither all the way through from renaming to the backends. In terms of impact: a total of 35 modules in the entirety of the bootlib + ghc lib docs change. The only "regression" is things like '\0'. These should be changed to @\\0@ (the path by which this previously worked seems accidental).
* | Changes for #15247Ryan Scott2019-07-031-67/+67
| |
* | Changes for #16110/#16356Ryan Scott2019-05-141-18/+7
| |
* | Visible dependent quantification (#16326) changesRyan Scott2019-02-271-2/+3
| |
* | Matching changes in GHC for #16236Alan Zimmerman2019-02-051-2/+2
|/
* Visible kind application haddock updatemynguyen2018-12-301-6/+15
|
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-231-0/+1
| | | | | | | | | | | Trac Issues #15495 This patch removes the ping-pong style from HsPat (only, for now), using the plan laid out at https://ghc.haskell.org/trac/ghc/wiki/ImplementingTreesThatGrow/HandlingSourceLocations (solution A). - the class `HasSrcSpan`, and its functions (e.g., `cL` and `dL`), are introduced - some instances of `HasSrcSpan` are introduced - some constructors `L` are replaced with `cL` - some patterns `L` are replaced with `dL->L` view pattern - some type annotation are necessarily updated (e.g., `Pat p` --> `Pat (GhcPass p)`)
* Improve perf of renamingAlec Theriault2018-11-051-36/+33
| | | | | | | | Perf only change: * don't look up type variable names (they're never in the environment) * use a difference list for accumulating missing names * more efficient 'Functor'/'Applicative' instances for 'RnM'
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-271-4/+11
|
* eqTyCon_RDR now lives in TysWiredInRyan Scott2018-07-271-1/+1
| | | | | After GHC commit http://git.haskell.org/ghc.git/commit/f265008fb6f70830e7e92ce563f6d83833cef071
* Remove HsEqTy and XEqTyRyan Scott2018-06-191-1/+0
|
* Handle -XStarIsTypeVladislav Zavialov2018-06-141-1/+2
|
* DerivingVia changesRyan Scott2018-06-131-2/+9
|
* Remove ParallelArrays and Data Parallel HaskellBen Gamari2018-06-131-1/+0
|
* Merge branch 'ghc-head' with 'ghc-8.4'Herbert Valerio Riedel2018-05-011-111/+142
|\
| * Match changes in GHC for TTGAlan Zimmerman2018-04-271-66/+89
| |
| * Match GHC for TTG implemented on HsBinds, D4581Alan Zimmerman2018-04-131-10/+10
| |
| * Match GHC changes for TTGAlan Zimmerman2018-04-091-35/+37
| |
| * Updates for #13324Ryan Scott2018-03-061-1/+1
| |
| * Track changes to follow Trac #14529Simon Peyton Jones2017-12-071-20/+26
| | | | | | | | This tracks the refactoring of HsDecl.ConDecl.
* | Show where instances are defined (#748)Alec Theriault2018-03-211-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | * Indicate source module of instances Above instance, we now also display a link to the module where the instance was defined. This is sometimes helpful in figuring out what to import. * Source module for type/data families too * Remove parens * Accept tests
* | Rename: renameHsSpliceTy ttgalexbiehl2018-02-061-1/+1
| |
* | Don't barf on 'HsSpliceTy' (#745)Alec Theriault2018-02-061-1/+12
| | | | | | | | | | | | | | | | This handles 'HsSpliceTy's by replacing them with what they expand to. IIUC everything that is happening, 'renameHsSpliceTy' should not be able to fail for the inputs we feed it from GHC. This fixes #574.
* | Don't warn about missing '~' (#746)Alec Theriault2018-02-061-5/+14
|/ | | | | | | This manually filters out '~' from the list of things to warn about. It truly makes no sense to warn on this since '~' has nothing it could link to - it is magical. This fixes #532.
* Revert "Match changes for Trees that Grow in GHC"Ben Gamari2017-11-211-37/+35
| | | | This reverts commit 01eeeb048acd2dd05ff6471ae148a97cf0720547.
* Revert "Clean up use of PlaceHolder, to match TTG"Ben Gamari2017-11-211-23/+22
| | | | This reverts commit 134a7bb054ea730b13c8629a76232d73e3ace049.
* Clean up use of PlaceHolder, to match TTGAlan Zimmerman2017-11-141-22/+23
|
* Match changes for Trees that Grow in GHCAlan Zimmerman2017-11-071-35/+37
|
* Overhaul Haddock's rendering of kind signatures (#681)Ryan Scott2017-10-241-2/+0
| | | | | | | | | | | | | | | * 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-27/+42
|
* Merge remote-tracking branch 'origin/master' into ghc-headalexbiehl2017-08-211-3/+9
|\
| * Haddock support for bundled pattern synonyms (#627)Christiaan Baaij2017-06-091-3/+9
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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
| * Update Haddock w.r.t. new HsImplicitBndrsRichard Eisenberg2017-03-141-1/+2
| |
* | Rename extension index tagsAlan Zimmerman2017-06-051-39/+39
| |
* | Match new AST as per GHC wip/new-tree-one-paramAlan Zimmerman2017-06-051-43/+43
| | | | | | | | See https://ghc.haskell.org/trac/ghc/wiki/ImplementingTreesThatGrow
* | Update Haddock w.r.t. new HsImplicitBndrsRichard Eisenberg2017-03-141-1/+2
|/
* Matching changes for GHC wip/T12942Alan Zimmerman2016-12-121-10/+18
|
* Match changes in GHC wip/T3384 branchAlan Zimmerman2016-12-071-2/+2
|
* Haddock changes for T10598Ryan Scott2016-09-301-1/+4
| | | | See https://ghc.haskell.org/trac/ghc/ticket/10598
* Add support for unboxed sumsÖmer Sinan Ağacan2016-07-211-0/+1
|
* GhcUtils: Changes for multi-pattern signaturesBen Gamari2016-07-011-3/+3
|
* Follow changes to LHsSigWcTypeSimon Peyton Jones2016-06-131-2/+2
|
* Render Haddocks for derived instancesRyan Scott2016-05-041-0/+10
| | | | | | | | | | 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.
* Changes due to fix for GHC#11648.Richard Eisenberg2016-03-141-2/+2
|
* Merge remote-tracking branch 'origin/ghc-head' into ghc-headBen Gamari2015-12-231-1/+0
|\
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-13 14:16:58 +0000