Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix #548 by rendering datatype kinds more carefully (#702) | Ryan Scott | 2018-02-01 | 1 | -3/+24 |
| | |||||
* | Revert "Match changes for Trees that Grow in GHC" | Ben Gamari | 2017-11-21 | 1 | -32/+27 |
| | | | | This reverts commit 01eeeb048acd2dd05ff6471ae148a97cf0720547. | ||||
* | Actually render infix type operators as infix (#703) | Ryan Scott | 2017-11-14 | 1 | -6/+17 |
| | | | | | | * Actually render infix type operators as infix * Account for things like `(f :*: g) p`, too | ||||
* | Match changes for Trees that Grow in GHC | Alan Zimmerman | 2017-11-07 | 1 | -23/+28 |
| | |||||
* | Fix Haddock rendering of kind-indexed data family instances (#694) | Ryan Scott | 2017-10-28 | 1 | -5/+23 |
| | |||||
* | Overhaul Haddock's rendering of kind signatures (#681) | Ryan Scott | 2017-10-24 | 1 | -49/+120 |
| | | | | | | | | | | | | | | | * 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 | ||||
* | Update for #14131 | Ryan Scott | 2017-08-23 | 1 | -9/+9 |
| | |||||
* | Merge remote-tracking branch 'origin/master' into ghc-head | alexbiehl | 2017-08-21 | 1 | -2/+2 |
|\ | |||||
| * | Fix haddock: internal error: links: UnhelpfulSpan (#561) | Bartosz Nitka | 2017-07-02 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | | | | * Fix haddock: internal error: links: UnhelpfulSpan This fixes #554 for me. I believe this is another fall out of `wildcard-refactor`, like #549. * Comment to clarify why we take the methods name location | ||||
| * | Update Haddock w.r.t. new HsImplicitBndrs | Richard Eisenberg | 2017-03-14 | 1 | -2/+3 |
| | | |||||
* | | Adapt to #14060 | Ryan Scott | 2017-08-14 | 1 | -1/+1 |
| | | |||||
* | | Rename extension index tags | Alan Zimmerman | 2017-06-05 | 1 | -20/+20 |
| | | |||||
* | | Match new AST as per GHC wip/new-tree-one-param | Alan Zimmerman | 2017-06-05 | 1 | -20/+20 |
| | | | | | | | | See https://ghc.haskell.org/trac/ghc/wiki/ImplementingTreesThatGrow | ||||
* | | Merge commit '240bc38b94ed2d0af27333b23392d03eeb615e82' into HEAD | Ben Gamari | 2017-03-23 | 1 | -0/+1 |
|\ \ | |||||
| * | | Fix rendering of class methods for Eq and Ord | Bartosz Nitka | 2016-09-27 | 1 | -1/+3 |
| | | | | | | | | | | | | | | | | | | See #549 and GHC issue #12519 (cherry picked from commit 073d899a8f94ddec698f617a38d3420160a7fd0b) | ||||
| * | | 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 |
| |