aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs
Commit message (Collapse)AuthorAgeFilesLines
* Merge remote-tracking branch 'phadej/orphans' into ghc-headBen Gamari2015-12-201-7/+26
|\
| * Fix orphan instance collapsingOleg Grenrus2015-09-281-7/+11
| |
| * Generate docs for orphan instancesOleg Grenrus2015-09-271-1/+16
| |
* | 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
| |
* | Matching change GHC #11017 BooleanFormula locatedAlan Zimmerman2015-12-141-5/+6
| |
* | More adaption to wildcard-refactorSimon Peyton Jones2015-12-141-79/+83
| |
* | Work on updating Haddock to wip/spj-wildard-recactorSimon Peyton Jones2015-12-141-11/+6
| | | | | | | | Still incomplete
* | Roughly fix up haddock for DuplicateRecordFields changesAdam Gundry2015-12-141-4/+7
| | | | | | | | | | This compiles, but will probably need more work to produce good documentation when the DuplicateRecordFields extension is used.
* | Follow changes from #6018Jan Stolarek2015-12-141-5/+37
| |
* | HsBang is split into HsSrcBang and HsImplBangAdam Sandberg Eriksson2015-12-141-3/+1
| | | | | | | | | | With recent changes in GHC handling of strictness annotations in Haddock is simplified.
* | StrictData: changes in HsBang typeAdam Sandberg Eriksson2015-12-141-5/+5
| |
* | StrictData: print correct strictness marksAdam Sandberg Eriksson2015-12-141-3/+5
| |
* | Update after wild card renaming refactoring in D613Thomas Winant2015-12-141-5/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Summary: * Move `Post*` type instances to `Haddock.Types` as other modules than `Haddock.Interface.Rename` will rely on these type instances. * Update after wild card renaming refactoring in D613. Reviewers: simonpj, austin Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D954 GHC Trac Issues: #10098
* | Track API changes to support empty closed type familesAdam Gundry2015-12-141-2/+2
| |
* | Track changes in HsSyn for quasi-quotesSimon Peyton Jones2015-12-141-1/+0
|/
* Move `InstOrigin` type declaration to more appropriate module.Łukasz Hanuszczak2015-08-211-13/+0
|
* Get rid of dreadful hashing function for generating identifiers.Łukasz Hanuszczak2015-08-211-51/+26
|
* Make identifier generation also architecture-independent.Łukasz Hanuszczak2015-08-211-5/+7
|
* Make section identifier of instance details more GHC-independent.Łukasz Hanuszczak2015-08-211-6/+16
|
* Fix issue with incorrect instance details sections being expanded.Łukasz Hanuszczak2015-08-211-5/+34
|
* Fix bug with missing space in documentation for associated types.Łukasz Hanuszczak2015-08-211-9/+4
|
* Refactor specializer module to be independent from XHTML backend.Łukasz Hanuszczak2015-08-211-11/+7
|
* Create helper method for specializing type signatures.Łukasz Hanuszczak2015-08-211-7/+2
|
* Apply type specializer to associated type family declarations. Łukasz Hanuszczak2015-08-211-3/+4
|
* Implement HTML renderer for pseudo-family declarations.Łukasz Hanuszczak2015-08-211-1/+13
|
* Split printer of type family header to separate functions.Łukasz Hanuszczak2015-08-211-17/+20
|
* Make instance details record use new type for family declarations.Łukasz Hanuszczak2015-08-211-12/+11
|
* Improve look of rendered associated families in instance details.Łukasz Hanuszczak2015-08-211-2/+11
|
* Make instance details section contain associated types information.Łukasz Hanuszczak2015-08-211-1/+12
|
* Rearrange layout of instance methods in generated documentation.Łukasz Hanuszczak2015-08-211-13/+26
|
* Fix bug where instance expander was opening wrong section.Łukasz Hanuszczak2015-08-211-11/+24
|
* Get rid of no longer neccessary instance specification type.Łukasz Hanuszczak2015-08-211-18/+17
|
* Integrate instance specification type into class instance definition.Łukasz Hanuszczak2015-08-211-2/+2
|
* Attach source locations to the specialized class methods.Łukasz Hanuszczak2015-08-211-6/+5
|
* Make specialized methods be nicely formatted again.Łukasz Hanuszczak2015-08-211-4/+8
|
* Make specialized signatures refer to original signature declaration.Łukasz Hanuszczak2015-08-211-2/+9
|
* Hook type renamer with instance method HTML pretty-printer.Łukasz Hanuszczak2015-08-211-1/+5
|
* Create stub functions for sugaring specialized types.Łukasz Hanuszczak2015-08-211-1/+1
|
* Hook type specialization logic with HTML pretty-printer.Łukasz Hanuszczak2015-08-211-12/+16
|
* Add expandable method section for each class instance declaration.Łukasz Hanuszczak2015-08-211-17/+35
|
* Refactor instance head type to record instead of a meaningless tuple.Łukasz Hanuszczak2015-08-211-7/+14
|
* Make HTML class instance printer take optional signature argument.Łukasz Hanuszczak2015-08-211-9/+14
|
* Apply promoted type quoting to type-level consing.Łukasz Hanuszczak2015-08-061-1/+6
|
* Fix quote syntax for promoted types.Łukasz Hanuszczak2015-08-061-2/+4
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-11 12:09:01 +0000