aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/src
Commit message (Collapse)AuthorAgeFilesLines
* Fix Haddock rendering of kind-indexed data family instances (#694)Ryan Scott2017-10-281-5/+23
|
* Overhaul Haddock's rendering of kind signatures (#681)Ryan Scott2017-10-246-75/+148
| | | | | | | | | | | | | | | * 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
* Fix merge falloutalexbiehl2017-10-081-5/+4
|
* Merge remote-tracking branch 'origin/ghc-head' into HEADalexbiehl2017-10-0818-662/+656
|\
| * Precise Haddock: Use Avails for export resolution (#688)Alexander Biehl2017-10-085-244/+220
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Use Avails for export resolution * Support reexported modules * Factor out availExportItem * Use avails for fullModuleExports * Don't use subMap in attachInstances * lookupDocs without subMap * Completely remove subMap * Only calculate unqualified modules when explicit export list is given * Refactor * Refine comment * return * Fix * Refactoring * Split avail if declaration is not exported itself * Move avail splitting
| * Revert "Don't use subMap in attachInstances"Alexander Biehl2017-10-051-3/+3
| | | | | | | | This reverts commit 3adf5bcb1a6c5326ab33dc77b4aa229a91d91ce9.
| * Don't use subMap in attachInstancesAlexander Biehl2017-10-051-3/+3
| |
| * Make compatible with Prelude.<> export in GHC 8.4/base-4.11Herbert Valerio Riedel2017-09-212-1/+2
| |
| * Account for "Remember the AvailInfo for each IE"Ben Gamari2017-09-051-1/+1
| | | | | | | | | | | | As of GHC commit f609374a55bdcf3b79f3a299104767aae2ffbf21 GHC retains the AvailInfo associated with each IE. @alexbiehl has a patch making proper use of this change, but this is just to keep things building.
| * Update for #14131Ryan Scott2017-08-237-61/+83
| |
| * IntefaceFile versionalexbiehl2017-08-221-1/+1
| |
| * Revert "Drop Avails from export list"alexbiehl2017-08-221-1/+1
| | | | | | | | This reverts commit a850ba86d88a4fb9c0bd175453a2580e544e3def.
| * Drop Avails from export listalexbiehl2017-08-211-1/+1
| |
| * Merge remote-tracking branch 'origin/master' into ghc-headalexbiehl2017-08-2124-719/+977
| |\
| * | Adapt to #14060Ryan Scott2017-08-141-1/+1
| | |
| * | Use new function getNameToInstancesIndex instead of tcRnGetInfo (#636)Doug Wilson2017-06-211-41/+41
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | There is some performance improvement. GHC compiler: | version | bytes allocated | cpu_seconds --------------------------------- | before | 56057108648 | 41.0 | after | 51592019560 | 35.1 base: | version | bytes allocated | cpu_seconds --------------------------------- | before | 25174011784 | 14.6 | after | 23712637272 | 13.1 Cabal: | version | bytes allocated | cpu_seconds --------------------------------- | before | 18754966920 | 12.6 | after | 18198208864 | 11.6
| * | Rename extension index tagsAlan Zimmerman2017-06-0510-138/+138
| | |
| * | Match new AST as per GHC wip/new-tree-one-paramAlan Zimmerman2017-06-0514-330/+329
| | | | | | | | | | | | See https://ghc.haskell.org/trac/ghc/wiki/ImplementingTreesThatGrow
| * | Disable pattern match warnings (#628)Doug Wilson2017-06-031-3/+19
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This disables the pattern match checker which can be very expensive in some cases. The disabled warnings include: * Opt_WarnIncompletePatterns * Opt_WarnIncompleteUniPatterns * Opt_WarnIncompletePatternsRecUpd * Opt_WarnOverlappingPatterns
| * | Don't enable compilation for template haskell (#624)Doug Wilson2017-05-271-16/+1
| | | | | | | | | | | | This is no longer necessary after ghc commit 53c78be0aab76a3107c4dacbb1d177afacdd37fa
| * | Haddock: Fix broken lazy IO in prologue reading (#615)Ben Gamari2017-05-121-2/+3
| | | | | | | | | | | | | | | We previously used withFile in conjunction with hGetContents. The list returned by the latter wasn't completely forced by the time we left the withFile block, meaning that we would try to read from a closed handle.
| * | Render (signature) only if it actually is a signature!Edward Z. Yang2017-04-221-2/+5
| | | | | | | | | | | | | | | | | | I forgot a conditional, oops! Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
| * | Merge pull request #568 from awson/ghc-headAlex Biehl2017-03-231-1/+1
| |\ \ | | | | | | | | Prevent GHC API from doing optimization passes.
| | * | Prevent GHC API from doing optimization passes.Kyrill Briantsev2017-01-121-1/+1
| | | |
| * | | Merge commit '240bc38b94ed2d0af27333b23392d03eeb615e82' into HEADBen Gamari2017-03-237-61/+35
| |\ \ \
| * | | | Render help documentation link next to (signature) in title.Edward Z. Yang2017-03-221-1/+8
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
| * | | | Annotate signature docs with (signature)Edward Z. Yang2017-03-221-2/+5
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
| * | | | Better Backpack support with signature merging.Edward Z. Yang2017-03-151-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>
| * | | | TODO on moduleExports.Edward Z. Yang2017-03-151-1/+5
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
| * | | | More docs.Edward Z. Yang2017-03-151-0/+5
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
| * | | | Documentation.Edward Z. Yang2017-03-151-5/+22
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
| * | | | Render signature module tree separately from modules.Edward Z. Yang2017-03-151-1/+16
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
| * | | | Add a field marking if interface is a signature or not.Edward Z. Yang2017-03-153-2/+12
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
| * | | | Correctly handle Backpack identity/semantic modules.Edward Z. Yang2017-03-151-23/+55
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
| * | | | Adapt to EnumSetBen Gamari2017-03-151-1/+2
| | | | |
| * | | | Update Haddock w.r.t. new HsImplicitBndrsRichard Eisenberg2017-03-142-3/+5
| | | | |
| * | | | Bump for GHC 8.3Ben Gamari2017-03-091-2/+2
| | | | |
* | | | | Inhibit output of coverage information for hidden modules. (#687)Merijn Verstraaten2017-10-041-6/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Inhibit output of coverage information for hidden modules. * Add changelog entry.
* | | | | Add compile step that bundles and compresses JS files (#684)Tim Baumann2017-09-232-31/+15
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Add compile step that bundles and compresses JS files Also, manage dependencies on third-party JS libraries using NPM. * Compile JS from TypeScript * Enable 'noImplicitAny' in TypeScript * QuickJump: use JSX syntax * Generate source maps from TypeScript for easier debugging * TypeScript: more accurate type * Separate quick jump css file from ocean theme
* | | | | Write meta.json when generating html output (#676)Alexander Biehl2017-08-302-2/+26
| | | | |
* | | | | QuickNav: Make docbase configurableAlexander Biehl2017-08-291-1/+6
| | | | |
* | | | | Include subordinates in content indexalexbiehl2017-08-291-8/+11
| | | | |
* | | | | Load javascript below the foldalexbiehl2017-08-281-7/+7
| | | | |
* | | | | Content search for haddock html docalexbiehl2017-08-272-1/+15
| | | | |
* | | | | Generate an index for package content search (#662)Florian Eggenhofer2017-08-273-4/+284
| |_|_|/ |/| | | | | | | Generate an index for package content search
* | | | Hyperlinker: Avoid linear lookup in enrichToken (#669)Alexander Biehl2017-08-192-41/+53
| | | | | | | | | | | | | | | | | | | | | | | | * Make Span strict in Position * Hyperlinker: Use a proper map to enrich tokens
* | | | Refactoring: Make doc renaming monadicalexbiehl2017-08-162-95/+113
| | | | | | | | | | | | | | | | This allows us to later throw warnings if can't find an identifier
* | | | Provide --show-interface option to dump interfaces (#645)Alexander Biehl2017-08-063-0/+122
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * WIP: Provide --show-interface option to dump interfaces Like ghcs own --show-iface this flag dumps a binary interface file to stdout in a human (and machine) readable fashion. Currently it uses json as output format. * Fill all the jsonNull stubs * Rework Bifunctor instance of DocH, update changelog and documentation * replace changelog, bring DocMarkupH doc back * Update CHANGES.md * Update CHANGES.md * Move Control.Arrow up It would result in unused import if the Bifunctor instance is not generated.
* | | | Fix: Generate pattern signatures for constructors exported as patterns (#663)Tim Baumann2017-08-063-108/+174
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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
* | | | Fix renaming after instance signature specializing (#660)Moritz Drexl2017-08-051-81/+51
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * rework rename * Add regression test for Bug 613 * update tests * update changelog