Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge pull request #482 from RyanGlScott/ghc-head | Ben Gamari | 2016-04-16 | 1 | -7/+13 |
|\ | | | | | Collapse type/data family instances by default | ||||
| * | Ensure expanded family instances render correctly | RyanGlScott | 2016-02-11 | 1 | -2/+3 |
| | | |||||
| * | Collapse type/data family instances by default | RyanGlScott | 2016-02-11 | 1 | -5/+10 |
| | | |||||
| * | Update to match wip/T11430 in GHC | Alan Zimmerman | 2016-01-15 | 1 | -1/+1 |
| | | |||||
* | | Changes due to fix for GHC#11648. | Richard Eisenberg | 2016-03-14 | 1 | -2/+2 |
| | | |||||
* | | Xhtml.Decl: Show 'where ...' after closed type family | Ben Gamari | 2016-02-18 | 1 | -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 variables | Ben Gamari | 2016-02-18 | 1 | -4/+11 |
| | | | | | | | | Addresses GHC #11588. | ||||
* | | Xhtml.Decl: Various cleanups | Ben Gamari | 2016-02-18 | 1 | -5/+6 |
| | | |||||
* | | Update to match wip/T11430 in GHC | Alan Zimmerman | 2016-01-16 | 1 | -1/+1 |
|/ | |||||
* | Merge remote-tracking branch 'origin/ghc-head' into ghc-head | Ben Gamari | 2015-12-23 | 1 | -5/+2 |
|\ | |||||
| * | Follow removal of NamedWildCard from HsType | Simon Peyton Jones | 2015-12-22 | 1 | -3/+0 |
| | | |||||
| * | Update for GHC trac#11258 | Alan Zimmerman | 2015-12-20 | 1 | -2/+2 |
| | | | | | | | | Adding locations to RdrName in FieldOcc and AmbiguousFieldOcc | ||||
* | | Merge remote-tracking branch 'phadej/orphans' into ghc-head | Ben Gamari | 2015-12-20 | 1 | -7/+26 |
|\ \ | |/ |/| | |||||
| * | Fix orphan instance collapsing | Oleg Grenrus | 2015-09-28 | 1 | -7/+11 |
| | | |||||
| * | Generate docs for orphan instances | Oleg Grenrus | 2015-09-27 | 1 | -1/+16 |
| | | |||||
* | | Fix fallout from wildcards refactoring | Ben Gamari | 2015-12-16 | 1 | -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. | ||||
* | | Warnings | Matthew Pickering | 2015-12-14 | 1 | -8/+1 |
| | | |||||
* | | Changes to compile with 8.0 | Matthew Pickering | 2015-12-14 | 1 | -10/+14 |
| | | |||||
* | | Update for type=kinds | Richard Eisenberg | 2015-12-14 | 1 | -8/+6 |
| | | |||||
* | | Placeholder for record style GADT declaration | Alan Zimmerman | 2015-12-14 | 1 | -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 #11028 | Alan Zimmerman | 2015-12-14 | 1 | -78/+38 |
| | | |||||
* | | Update to match GHC wip/T11019 | Alan Zimmerman | 2015-12-14 | 1 | -4/+4 |
| | | |||||
* | | Matching change GHC #11017 BooleanFormula located | Alan Zimmerman | 2015-12-14 | 1 | -5/+6 |
| | | |||||
* | | More adaption to wildcard-refactor | Simon Peyton Jones | 2015-12-14 | 1 | -79/+83 |
| | | |||||
* | | Work on updating Haddock to wip/spj-wildard-recactor | Simon Peyton Jones | 2015-12-14 | 1 | -11/+6 |
| | | | | | | | | Still incomplete | ||||
* | | Roughly fix up haddock for DuplicateRecordFields changes | Adam Gundry | 2015-12-14 | 1 | -4/+7 |
| | | | | | | | | | | This compiles, but will probably need more work to produce good documentation when the DuplicateRecordFields extension is used. | ||||
* | | Follow changes from #6018 | Jan Stolarek | 2015-12-14 | 1 | -5/+37 |
| | | |||||
* | | HsBang is split into HsSrcBang and HsImplBang | Adam Sandberg Eriksson | 2015-12-14 | 1 | -3/+1 |
| | | | | | | | | | | With recent changes in GHC handling of strictness annotations in Haddock is simplified. | ||||
* | | StrictData: changes in HsBang type | Adam Sandberg Eriksson | 2015-12-14 | 1 | -5/+5 |
| | | |||||
* | | StrictData: print correct strictness marks | Adam Sandberg Eriksson | 2015-12-14 | 1 | -3/+5 |
| | | |||||
* | | Update after wild card renaming refactoring in D613 | Thomas Winant | 2015-12-14 | 1 | -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 familes | Adam Gundry | 2015-12-14 | 1 | -2/+2 |
| | | |||||
* | | Track changes in HsSyn for quasi-quotes | Simon Peyton Jones | 2015-12-14 | 1 | -1/+0 |
|/ | |||||
* | Move `InstOrigin` type declaration to more appropriate module. | Łukasz Hanuszczak | 2015-08-21 | 1 | -13/+0 |
| | |||||
* | Get rid of dreadful hashing function for generating identifiers. | Łukasz Hanuszczak | 2015-08-21 | 1 | -51/+26 |
| | |||||
* | Make identifier generation also architecture-independent. | Łukasz Hanuszczak | 2015-08-21 | 1 | -5/+7 |
| | |||||
* | Make section identifier of instance details more GHC-independent. | Łukasz Hanuszczak | 2015-08-21 | 1 | -6/+16 |
| | |||||
* | Fix issue with incorrect instance details sections being expanded. | Łukasz Hanuszczak | 2015-08-21 | 1 | -5/+34 |
| | |||||
* | Fix bug with missing space in documentation for associated types. | Łukasz Hanuszczak | 2015-08-21 | 1 | -9/+4 |
| | |||||
* | Refactor specializer module to be independent from XHTML backend. | Łukasz Hanuszczak | 2015-08-21 | 1 | -11/+7 |
| | |||||
* | Create helper method for specializing type signatures. | Łukasz Hanuszczak | 2015-08-21 | 1 | -7/+2 |
| | |||||
* | Apply type specializer to associated type family declarations. | Łukasz Hanuszczak | 2015-08-21 | 1 | -3/+4 |
| | |||||
* | Implement HTML renderer for pseudo-family declarations. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+13 |
| | |||||
* | Split printer of type family header to separate functions. | Łukasz Hanuszczak | 2015-08-21 | 1 | -17/+20 |
| | |||||
* | Make instance details record use new type for family declarations. | Łukasz Hanuszczak | 2015-08-21 | 1 | -12/+11 |
| | |||||
* | Improve look of rendered associated families in instance details. | Łukasz Hanuszczak | 2015-08-21 | 1 | -2/+11 |
| | |||||
* | Make instance details section contain associated types information. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+12 |
| | |||||
* | Rearrange layout of instance methods in generated documentation. | Łukasz Hanuszczak | 2015-08-21 | 1 | -13/+26 |
| | |||||
* | Fix bug where instance expander was opening wrong section. | Łukasz Hanuszczak | 2015-08-21 | 1 | -11/+24 |
| | |||||
* | Get rid of no longer neccessary instance specification type. | Łukasz Hanuszczak | 2015-08-21 | 1 | -18/+17 |
| |