aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/src/Haddock/Interface/Create.hs
Commit message (Collapse)AuthorAgeFilesLines
* Better Backpack support with signature merging.Edward Z. Yang2017-03-231-12/+34
| | | | | | | | | | | | | | | | | | | | When we merge signatures, we gain exports that don't necessarily have a source-level declaration corresponding to them. This meant Haddock dropped them. There are two big limitations: * If there's no export list, we won't report inherited signatures. * If the type has a subordinate, the current hiDecl implementation doesn't reconstitute them. These are probably worth fixing eventually, but this gets us to minimum viable functionality. Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> (cherry picked from commit 6cc832dfb1de6088a4abcaae62b25a7e944d55c3)
* TODO on moduleExports.Edward Z. Yang2017-03-231-1/+5
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> (cherry picked from commit 94610e9b446324f4231fa6ad4c6ac51e4eba8c0e)
* More docs.Edward Z. Yang2017-03-231-0/+5
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> (cherry picked from commit 3d77b373dd5807d5d956719dd7c849a11534fa6a)
* Documentation.Edward Z. Yang2017-03-231-5/+22
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> (cherry picked from commit 0671abfe7e8ceae2269467a30b77ed9d9656e2cc)
* Add a field marking if interface is a signature or not.Edward Z. Yang2017-03-231-0/+1
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> (cherry picked from commit 930cfbe58e2e87f5a4d431d89a3c204934e6e858)
* Correctly handle Backpack identity/semantic modules.Edward Z. Yang2017-03-231-21/+54
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> (cherry picked from commit 26d6c150b31bc4580ab17cfd07b6e7f9afe10737)
* Merge branch 'ghc-head'Ben Gamari2017-03-101-22/+34
|\
| * Changes to match #13163 in GHCAlan Zimmerman2017-01-261-4/+4
| |
| * Match changes in GHC wip/T3384 branchAlan Zimmerman2016-12-071-5/+5
| |
| * Haddock changes for T10598Ryan Scott2016-09-301-2/+3
| | | | | | | | See https://ghc.haskell.org/trac/ghc/ticket/10598
| * Merge remote-tracking branch 'RyanGlScott/ghc-head' into ghc-headBen Gamari2016-05-111-11/+22
| |\
| | * Render Haddocks for derived instancesRyan Scott2016-05-041-11/+22
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 remote-tracking branch 'origin/master' into ghc-headBen Gamari2016-05-111-1/+1
| |\ \ | | |/ | |/|
| * | Track change to HsGroupSimon Peyton Jones2016-04-201-2/+2
| | | | | | | | | | | | This relates to a big GHC patch for Trac #11348
* | | Remove misplaced haddock commentalexbiehl2016-05-261-1/+1
| | |
* | | Don't consider default class ops when looking for declsBen Gamari2016-05-221-2/+7
| | | | | | | | | | | | | | | When we are looking for an operation within a class we don't care about `default`-type declarations. This was the cause of #505.
* | | Create: Better debug outputBen Gamari2016-05-221-1/+4
| | | | | | | | | | | | For tracking down #505
* | | Create: Remove redundant importsBen Gamari2016-05-221-2/+1
| |/ |/|
* | Create: Mark a comment as TODOBen Gamari2016-05-101-1/+1
|/
* Merge remote-tracking branch 'phadej/orphans' into ghc-headBen Gamari2015-12-201-0/+2
|\
| * Generate docs for orphan instancesOleg Grenrus2015-09-271-0/+2
| |
* | Fix fallout from wildcards refactoringBen Gamari2015-12-161-3/+3
| | | | | | | | | | | | | | | | | | | | | | 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.
* | Matching changes for #11028Alan Zimmerman2015-12-141-5/+8
| |
* | Update to match GHC wip/T11019Alan Zimmerman2015-12-141-1/+1
| |
* | Undo msHsFilePath change.Edward Z. Yang2015-12-141-3/+1
| | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* | Change for IEThingWithMatthew Pickering2015-12-141-1/+1
| |
* | Matching change GHC #11017 BooleanFormula locatedAlan Zimmerman2015-12-141-2/+2
| |
* | Follow changes to HsTYpeSimon Peyton Jones2015-12-141-34/+14
| | | | | | | | Not yet complete (but on a wip/ branch)
* | Roughly fix up haddock for DuplicateRecordFields changesAdam Gundry2015-12-141-7/+10
| | | | | | | | | | This compiles, but will probably need more work to produce good documentation when the DuplicateRecordFields extension is used.
* | s/PackageKey/UnitId/g and s/packageKey/unitId/gEdward Z. Yang2015-12-141-5/+5
| | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* | Track msHsFilePath change.Edward Z. Yang2015-12-141-1/+3
| | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* | Replace (SourceText,FastString) with WithSourceText data typeAlan Zimmerman2015-12-141-3/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | Phab:D907 introduced SourceText for a number of data types, by replacing FastString with (SourceText,FastString). Since this has an Outputable instance, no warnings are generated when ppr is called on it, but unexpected output is generated. See Phab:D1096 for an example of this. Replace the (SourceText,FastString) tuples with a new data type data WithSourceText = WithSourceText SourceText FastString Trac ticket: #10692
* | ApiAnnotations : strings in warnings do not return SourceTextAlan Zimmerman2015-12-141-3/+3
|/ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The strings used in a WARNING pragma are captured via strings :: { Located ([AddAnn],[Located FastString]) } : STRING { sL1 $1 ([],[L (gl $1) (getSTRING $1)]) } .. The STRING token has a method getSTRINGs that returns the original source text for a string. A warning of the form {-# WARNING Logic , mkSolver , mkSimpleSolver , mkSolverForLogic , solverSetParams , solverPush , solverPop , solverReset , solverGetNumScopes , solverAssertCnstr , solverAssertAndTrack , solverCheck , solverCheckAndGetModel , solverGetReasonUnknown "New Z3 API support is still incomplete and fragile: \ \you may experience segmentation faults!" #-} returns the concatenated warning string rather than the original source.
* Extract main hyperlinker types to separate module.Łukasz Hanuszczak2015-07-061-0/+1
|
* Implement source tokenization during interface creation process.Łukasz Hanuszczak2015-06-301-1/+29
|
* Extend module interface with rich source token stream field.Łukasz Hanuszczak2015-06-301-0/+1
|
* Fix haddock: internal error: spliceURL UnhelpfulSpan (#207)Bartosz Nitka2015-06-121-5/+11
| | | | | | | | Inferred type signatures don't have SrcSpans, so let's use the one from the declaration. I've tested this manually on the test-case from #207, but I got stuck at trying to run the test-suite.
* Follow API changes in D538Alan Zimmerman2015-01-231-9/+9
| | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com> (cherry picked from commit d61bbc75890e4eb0ad508b9c2a27b91f691213e6)
* Various fixups and bumps for next releaseMateusz Kowalczyk2014-12-121-8/+0
|
* Support for PartialTypeSignaturesThomas Winant2014-12-121-9/+9
| | | | | | | Conflicts: haddock-api/src/Haddock/Backends/Xhtml/Decl.hs haddock-api/src/Haddock/Convert.hs haddock-api/src/Haddock/Interface/Create.hs
* Follow API changes in D426Alan Zimmerman2014-12-121-14/+17
| | | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com> Conflicts: haddock-api/src/Haddock/Backends/LaTeX.hs haddock-api/src/Haddock/Backends/Xhtml/Decl.hs haddock-api/src/Haddock/Convert.hs
* Update Haddock to new pattern synonym type signature syntaxDr. ERDI Gergo2014-12-121-2/+2
| | | | | | Conflicts: haddock-api/src/Haddock/Backends/Xhtml/Decl.hs haddock-api/src/Haddock/Convert.hs
* Revert "Merge branch 'reverts'"Mateusz Kowalczyk2014-12-121-9/+7
| | | | | | | | This reverts commit 5c93cc347773c7634321edd5f808d5b55b46301f, reversing changes made to 5b81a9e53894d2ae591ca0c6c96199632d39eb06. Conflicts: haddock-api/src/Haddock/Convert.hs
* Allow the parser to spit out meta-infoMateusz Kowalczyk2014-12-101-9/+10
| | | | | | | | | | | | | | | Currently we only use it only for ‘since’ annotations but with these patches it should be fairly simple to add new attributes if we wish to. Closes #26. It seems to work fine but due to 7.10 rush I don't have the chance to do more exhaustive testing right now. The way the meta is output (emphasis at the end of the whole comment) is fairly arbitrary and subject to bikeshedding. Note that this makes test for Bug310 fail due to interface version bump: it can't find the docs for base with this interface version so it fails. There is not much we can do to help this because it tests for ’built-in’ identifier, not something we can provide ourselves.
* Fix warningsMateusz Kowalczyk2014-11-041-2/+2
|
* Turn some uses of error into recoverable warningsMateusz Kowalczyk2014-11-041-3/+10
| | | | | | | This should at the very least not abort when something weird happens. It does feel like we should have a type that carries these errors until the end however as the user might not see them unless they are printed at the end.
* Move sources under haddock-api/srcMateusz Kowalczyk2014-08-231-0/+867