Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | Fix printing of pattern synonym types | Rik Steenkamp | 2016-04-04 | 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 (cherry picked from commit 3ddcbd6b8e6884bd95028381176eb33bee6896fb) | |||||
| * | | Changes due to fix for GHC#11648. | Richard Eisenberg | 2016-03-15 | 1 | -3/+6 | |
| | | | | | | | | | | | | (cherry picked from commit bb994de1ab0c76d1aaf1e39c54158db2526d31f1) | |||||
| * | | Follow-on changes to support RuntimeRep | Richard Eisenberg | 2016-03-13 | 1 | -5/+4 | |
| | | | | | | | | | | | | (cherry picked from commit ab954263a793d8ced734459d6194a5d89214b66c) | |||||
* | | | Update Haddock w.r.t. new HsImplicitBndrs | Richard Eisenberg | 2017-03-14 | 1 | -2/+3 | |
| |/ |/| | ||||||
* | | Upstream changes re levity polymorphism | Richard Eisenberg | 2017-01-19 | 1 | -7/+3 | |
| | | ||||||
* | | HsIParamTy now has a Located name | Alan Zimmerman | 2017-01-10 | 1 | -1/+1 | |
| | | ||||||
* | | Matching changes for GHC wip/T12942 | Alan Zimmerman | 2016-12-12 | 1 | -2/+9 | |
| | | ||||||
* | | Match changes in GHC wip/T3384 branch | Alan Zimmerman | 2016-12-07 | 1 | -8/+8 | |
| | | ||||||
* | | Haddock changes for T10598 | Ryan Scott | 2016-09-30 | 1 | -2/+2 | |
| | | | | | | | | See https://ghc.haskell.org/trac/ghc/ticket/10598 | |||||
* | | Fix rendering of class methods for Eq and Ord | Bartosz Nitka | 2016-09-20 | 1 | -1/+3 | |
| | | | | | | | | See #549 and GHC issue #12519 | |||||
* | | GhcUtils: Changes for multi-pattern signatures | Ben Gamari | 2016-07-01 | 1 | -1/+1 | |
| | | ||||||
* | | Follow GHC re-adding FunTy | Simon Peyton Jones | 2016-06-15 | 1 | -1/+1 | |
| | | ||||||
* | | Follow changes to LHsSigWcType | Simon Peyton Jones | 2016-06-13 | 1 | -1/+1 | |
| | | ||||||
* | | 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) |