Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Handle promoted tuples in 'synifyType' | Alec Theriault | 2018-08-21 | 1 | -0/+4 |
| | | | | When we have a fully applied promoted tuple, we can expand it out properly. | ||||
* | Better rendering of unboxed sums/tuples | Alec Theriault | 2018-08-21 | 1 | -0/+1 |
| | | | | | * adds space after/before the '#' marks * properly reify 'HsSumTy' in 'synifyType' | ||||
* | Update against new HsImplicitBndrs | Richard Eisenberg | 2018-08-02 | 1 | -2/+1 |
| | |||||
* | eqTyCon_RDR now lives in TysWiredIn | Ryan Scott | 2018-07-27 | 1 | -3/+4 |
| | | | | | After GHC commit http://git.haskell.org/ghc.git/commit/f265008fb6f70830e7e92ce563f6d83833cef071 | ||||
* | tyThingToLHsDecl: Preserve type synonyms that contain a forall (#880) | Simon Jakobi | 2018-07-20 | 1 | -2/+46 |
| | | | | | | | | | | | | * tyThingToLHsDecls: Preserve type synonyms that contain a forall Fixes #879. * Add Note [Invariant: Never expand type synonyms] * Clarify Note [Invariant: Never expand type synonyms] (cherry picked from commit c3eb3f0581f69e816f9453b1747a9f2a3ba02bb9) | ||||
* | Remove HsEqTy and XEqTy | Ryan Scott | 2018-06-19 | 1 | -2/+5 |
| | |||||
* | Match changes in GHC for #14259 | Alan Zimmerman | 2018-06-19 | 1 | -2/+2 |
| | |||||
* | Revert unintentional reversion of fix of #548 | Ben Gamari | 2018-06-14 | 1 | -2/+23 |
| | |||||
* | Handle -XStarIsType | Vladislav Zavialov | 2018-06-14 | 1 | -26/+5 |
| | |||||
* | Merge branch 'ghc-head' with 'ghc-8.4' | Herbert Valerio Riedel | 2018-05-01 | 1 | -71/+84 |
|\ | |||||
| * | Match changes in GHC for TTG | Alan Zimmerman | 2018-04-27 | 1 | -35/+42 |
| | | |||||
| * | Match GHC for TTG implemented on HsBinds, D4581 | Alan Zimmerman | 2018-04-13 | 1 | -5/+5 |
| | | |||||
| * | Match GHC changes for TTG | Alan Zimmerman | 2018-04-09 | 1 | -24/+30 |
| | | |||||
| * | Track changes to follow Trac #14529 | Simon Peyton Jones | 2017-12-07 | 1 | -13/+13 |
| | | | | | | | | This tracks the refactoring of HsDecl.ConDecl. | ||||
* | | Warning free compilation | Alexander Biehl | 2018-02-01 | 1 | -1/+1 |
| | | |||||
* | | Convert: Correct pass type | Alexander Biehl | 2018-02-01 | 1 | -2/+1 |
| | | |||||
* | | 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) |