Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Fix printing of pattern synonym types | Rik Steenkamp | 2016-04-02 | 1 | -3/+22 | |
| | | | | | | | | | | | | | | | | | | | | | | Removes the call to `patSynType :: PatSyn -> Type` in `Convert.hs` as this function will be removed from GHC. Instead, we use the function `patSynSig` and build the `HsDecl` manually. This also fixes the printing of the two contexts and the quantified type variables in a pattern synonym type. Reviewers: goldfire, bgamari, mpickering Differential Revision: https://phabricator.haskell.org/D2048 | |||||
* | | Changes due to fix for GHC#11648. | Richard Eisenberg | 2016-03-14 | 1 | -3/+6 | |
| | | ||||||
* | | Follow-on changes to support RuntimeRep | Richard Eisenberg | 2016-02-24 | 1 | -5/+4 | |
| | | ||||||
* | | Merge branch 'master' into ghc-head | Ben Gamari | 2016-02-07 | 1 | -3/+13 | |
|\| | ||||||
| * | Render */# instead of TYPE 'Lifted/TYPE 'Unlifted (fixes #473) | RyanGlScott | 2016-02-07 | 1 | -3/+14 | |
| | | ||||||
| * | deal with un-wiring of IP class | Eric Seidel | 2016-01-18 | 1 | -3/+3 | |
| | | | | | | | | (cherry picked from commit 17388b0f0029d969d79353be7737eb01c7b8dc5f) | |||||
* | | deal with un-wiring of IP class | Eric Seidel | 2016-01-11 | 1 | -3/+3 | |
|/ | ||||||
* | Update for GHC trac#11258 | Alan Zimmerman | 2015-12-20 | 1 | -1/+1 | |
| | | | | Adding locations to RdrName in FieldOcc and AmbiguousFieldOcc | |||||
* | Warnings | Matthew Pickering | 2015-12-14 | 1 | -2/+1 | |
| | ||||||
* | Changes to compile with 8.0 | Matthew Pickering | 2015-12-14 | 1 | -9/+3 | |
| | ||||||
* | Update for type=kinds | Richard Eisenberg | 2015-12-14 | 1 | -21/+22 | |
| | ||||||
* | Matching changes for #11028 | Alan Zimmerman | 2015-12-14 | 1 | -11/+13 | |
| | ||||||
* | Update to match GHC wip/T11019 | Alan Zimmerman | 2015-12-14 | 1 | -3/+3 | |
| | ||||||
* | Eliminate support for deprecated GADT syntax | Ben Gamari | 2015-12-14 | 1 | -4/+2 | |
| | | | | Follows from GHC D1460. | |||||
* | Matching change GHC #11017 BooleanFormula located | Alan Zimmerman | 2015-12-14 | 1 | -1/+1 | |
| | ||||||
* | Account for Typeable changes | Ben Gamari | 2015-12-14 | 1 | -37/+32 | |
| | | | | The treatment of type families changed. | |||||
* | Track change to PatSyn.patSynSig | Simon Peyton Jones | 2015-12-14 | 1 | -1/+8 | |
| | ||||||
* | Follow changes to HsTYpe | Simon Peyton Jones | 2015-12-14 | 1 | -21/+25 | |
| | | | | Not yet complete (but on a wip/ branch) | |||||
* | Track wip/spj-wildcard-refactor on main repo | Simon Peyton Jones | 2015-12-14 | 1 | -15/+18 | |
| | ||||||
* | Roughly fix up haddock for DuplicateRecordFields changes | Adam Gundry | 2015-12-14 | 1 | -3/+5 | |
| | | | | | This compiles, but will probably need more work to produce good documentation when the DuplicateRecordFields extension is used. | |||||
* | React to refactoring CoAxiom branch lists. | Richard Eisenberg | 2015-12-14 | 1 | -1/+1 | |
| | ||||||
* | Follow changes from #6018 | Jan Stolarek | 2015-12-14 | 1 | -11/+31 | |
| | ||||||
* | account for changes to ipClass | Eric Seidel | 2015-12-14 | 1 | -3/+2 | |
| | ||||||
* | HsBang is split into HsSrcBang and HsImplBang | Adam Sandberg Eriksson | 2015-12-14 | 1 | -12/+8 | |
| | | | | | 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 | -4/+4 | |
| | ||||||
* | StrictData: print correct strictness marks | Adam Sandberg Eriksson | 2015-12-14 | 1 | -4/+4 | |
| | ||||||
* | Track API changes to support empty closed type familes | Adam Gundry | 2015-12-14 | 1 | -6/+10 | |
| | ||||||
* | Track change in API of TyCon | Simon Peyton Jones | 2015-12-14 | 1 | -2/+3 | |
| | ||||||
* | Refactor specializer module to be independent from XHTML backend. | Łukasz Hanuszczak | 2015-08-21 | 1 | -2/+4 | |
| | ||||||
* | Make instance details record use new type for family declarations. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+1 | |
| | ||||||
* | Attach associated types information to instance header. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+3 | |
| | ||||||
* | Fix bug with types not being specialized at all. | Łukasz Hanuszczak | 2015-08-21 | 1 | -2/+2 | |
| | ||||||
* | Fix declaration converter to use more appropriate mode for methods. | Łukasz Hanuszczak | 2015-08-21 | 1 | -10/+12 | |
| | ||||||
* | Integrate instance specification type into class instance definition. | Łukasz Hanuszczak | 2015-08-21 | 1 | -2/+6 | |
| | ||||||
* | Refactor instance head type to record instead of a meaningless tuple. | Łukasz Hanuszczak | 2015-08-21 | 1 | -16/+22 | |
| | ||||||
* | Follow API changes in D538 | Alan Zimmerman | 2015-01-23 | 1 | -11/+11 | |
| | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com> (cherry picked from commit d61bbc75890e4eb0ad508b9c2a27b91f691213e6) | |||||
* | Track naming change in DataCon | Simon Peyton Jones | 2015-01-23 | 1 | -3/+3 | |
| | | | | (cherry picked from commit 04cf63d0195837ed52075ed7d2676e71831e8a0b) | |||||
* | Sort out some module import warnings | Mateusz Kowalczyk | 2015-01-22 | 1 | -1/+0 | |
| | ||||||
* | Remove redundant wild-card pattern match | Herbert Valerio Riedel | 2014-12-14 | 1 | -1/+0 | |
| | | | | (this would otherwise cause a build-failure with `-Werror`) | |||||
* | Support for PartialTypeSignatures | Thomas Winant | 2014-12-12 | 1 | -4/+5 | |
| | | | | | | | 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 D426 | Alan Zimmerman | 2014-12-12 | 1 | -4/+3 | |
| | | | | | | | | | 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 | |||||
* | Follow changes from #9812 | Jan Stolarek | 2014-12-12 | 1 | -11/+8 | |
| | | | | | Conflicts: haddock-api/src/Haddock/Convert.hs | |||||
* | Update Haddock to new pattern synonym type signature syntax | Dr. ERDI Gergo | 2014-12-12 | 1 | -14/+7 | |
| | | | | | | Conflicts: haddock-api/src/Haddock/Backends/Xhtml/Decl.hs haddock-api/src/Haddock/Convert.hs | |||||
* | Follow changes to TypeAnnot in GHC HEAD | Alan Zimmerman | 2014-12-12 | 1 | -5/+5 | |
| | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com> Conflicts: haddock-api/src/Haddock/Convert.hs | |||||
* | Revert "Merge branch 'reverts'" | Mateusz Kowalczyk | 2014-12-12 | 1 | -6/+6 | |
| | | | | | | | | This reverts commit 5c93cc347773c7634321edd5f808d5b55b46301f, reversing changes made to 5b81a9e53894d2ae591ca0c6c96199632d39eb06. Conflicts: haddock-api/src/Haddock/Convert.hs | |||||
* | Fix warnings | Mateusz Kowalczyk | 2014-11-04 | 1 | -2/+1 | |
| | ||||||
* | Turn some uses of error into recoverable warnings | Mateusz Kowalczyk | 2014-11-04 | 1 | -78/+97 | |
| | | | | | | | 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. | |||||
* | Fix re-exports of built-in type families | Mateusz Kowalczyk | 2014-11-04 | 1 | -4/+7 | |
| | | | | Fixes #310 | |||||
* | whitespace only | Mateusz Kowalczyk | 2014-11-04 | 1 | -9/+9 | |
| | ||||||
* | Move sources under haddock-api/src | Mateusz Kowalczyk | 2014-08-23 | 1 | -0/+403 | |