Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge pull request #1314 from tweag/show-linear-backport | Hécate Moonlight | 2021-02-07 | 2 | -4/+14 |
|\ | |||||
| * | Display linear/multiplicity arrows correctly (#1238) | Krzysztof Gogolewski | 2021-02-05 | 2 | -4/+14 |
* | | Add support for labeled module references | Iñaki García Etxebarria | 2021-02-07 | 2 | -10/+14 |
|/ | |||||
* | Merge remote-tracking branch 'origin/ghc-8.10' into ghc-9.0 | Ben Gamari | 2021-01-05 | 5 | -93/+127 |
|\ | |||||
| * | Changes for GHC#17566 | Alex Biehl | 2020-12-08 | 1 | -1/+3 |
| * | Use `unLoc`/`noLoc` from GHC instead of `unL`/`reL` | Alec Theriault | 2020-03-28 | 1 | -2/+2 |
| * | Use TTG empty extensions to remove some `error`'s | Alec Theriault | 2020-03-28 | 1 | -1/+2 |
| * | Clean up warnings | Alec Theriault | 2020-03-22 | 2 | -2/+1 |
| * | Merge branch 'ghc-8.8' into ghc-8.10 | Alec Theriault | 2020-03-20 | 5 | -99/+136 |
| |\ | |||||
| | * | Replace the 'caption' class so that the collapsible sections are shown | Kleidukos | 2020-03-19 | 1 | -1/+1 |
| | * | Matching changes in GHC for #16236 | Alan Zimmerman | 2019-03-29 | 1 | -2/+2 |
| | * | Better support for default methods in classes | Alec Theriault | 2019-03-09 | 2 | -28/+75 |
| | * | Merge branch 'ghc-8.6' into ghc-8.8 | Alec Theriault | 2019-03-03 | 2 | -43/+26 |
| | |\ | |||||
| | | * | Keep forall on H98 existential data constructors (#1003) | Alec Theriault | 2019-01-23 | 1 | -2/+2 |
| | | * | More uniform handling of `forall`'s in HTML/LaTeX | Alec Theriault | 2018-11-26 | 1 | -39/+22 |
| | | * | Rename 'NewOcean' theme to 'Linuwial' | Alec Theriault | 2018-11-11 | 1 | -1/+1 |
| | * | | Better identifier parsing | Alec Theriault | 2019-02-25 | 2 | -14/+30 |
* | | | | Adapt Haddock to LinearTypes | Krzysztof Gogolewski | 2020-06-17 | 1 | -12/+14 |
* | | | | Use HsForAllTelescope (GHC#18235) | Ryan Scott | 2020-06-13 | 1 | -28/+32 |
* | | | | Changes for GHC#18191 | Ryan Scott | 2020-06-05 | 1 | -1/+1 |
* | | | | Explicit Specificity Support for Haddock | Gert-Jan Bottu | 2020-05-20 | 1 | -11/+31 |
* | | | | Fix for GHC.Unit.* modules | Sylvain Henry | 2020-04-27 | 1 | -1/+1 |
* | | | | UnitId has been renamed into Unit | Sylvain Henry | 2020-04-27 | 2 | -2/+2 |
* | | | | Module structure | Sylvain Henry | 2020-04-24 | 3 | -3/+3 |
* | | | | Module renaming | Sylvain Henry | 2020-04-10 | 1 | -1/+0 |
* | | | | Make NoExtCon fields strict | Ryan Scott | 2020-04-07 | 1 | -12/+0 |
* | | | | Modules: Types | Sylvain Henry | 2020-03-20 | 5 | -10/+10 |
* | | | | Ignore the BufLoc/BufSpan added in GHC's !2516 | Vladislav Zavialov | 2020-02-28 | 2 | -3/+3 |
* | | | | Changes for GHC#17566 | Ryan Scott | 2020-01-25 | 1 | -2/+2 |
|/ / / | |||||
* | | | Changes for #15247 | Ryan Scott | 2019-07-03 | 1 | -24/+24 |
* | | | Visible dependent quantification (#16326) changes | Ryan Scott | 2019-02-27 | 1 | -15/+24 |
* | | | Matching changes in GHC for #16236 | Alan Zimmerman | 2019-02-05 | 1 | -2/+2 |
|/ / | |||||
* | | Visible kind application haddock update | mynguyen | 2018-12-30 | 2 | -5/+19 |
* | | Properly synify and render promoted type variables (#985) | Alec Theriault | 2018-12-23 | 1 | -3/+4 |
* | | Refactor names + unused functions (#982) | Alec Theriault | 2018-12-17 | 1 | -1/+1 |
* | | [TTG: Handling Source Locations] Foundation and Pat | Shayan-Najd | 2018-11-23 | 1 | -1/+2 |
* | | Follow GHC HEAD's HsTypes.Promoted -> BasicTypes.PromotionFlag change | Alp Mestanogullari | 2018-11-15 | 1 | -1/+2 |
* | | Merge branch 'ghc-8.6' into ghc-head | Alec Theriault | 2018-11-10 | 3 | -15/+21 |
|\| | |||||
| * | Merge branch 'ghc-8.6' into wip/new-ocean | Alec Theriault | 2018-11-09 | 1 | -2/+2 |
| |\ | |||||
| | * | Only run MathJax on entities with "mathjax" class (#960) | Alec Theriault | 2018-11-05 | 1 | -2/+2 |
| * | | Allow "Contents" summary to scroll in a fixed div | Alec Theriault | 2018-11-07 | 1 | -2/+3 |
| * | | Fix issues around plus/minus | Alec Theriault | 2018-11-07 | 1 | -3/+4 |
| * | | Merge branch 'ghc-8.6' into wip/new-ocean | Alec Theriault | 2018-10-25 | 1 | -6/+10 |
| |\| | |||||
| | * | Avoid more conflicts in generated ids (#954) | Alec Theriault | 2018-10-25 | 1 | -6/+10 |
| * | | Make package-header caption backward-compatible | Nuno Alexandre | 2018-10-18 | 1 | -2/+2 |
| * | | Make the style consistent with hackage | Nuno Alexandre | 2018-10-18 | 1 | -2/+2 |
| |/ | |||||
| * | Latex type families (#734) | Alec Theriault | 2018-10-16 | 1 | -120/+102 |
| * | Update the ghc-8.6 branch (#889) | Simon Jakobi | 2018-07-20 | 2 | -94/+69 |
* | | Support hyperlink labels with inline markup | Alec Theriault | 2018-11-06 | 1 | -2/+2 |
* | | Better rendering of unboxed sums/tuples | Alec Theriault | 2018-08-21 | 1 | -1/+1 |