| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Revert "Update for boxed rep" | Ben Gamari | 2020-12-15 | 1 | -4/+3 |
| * | Update for boxed rep | Andrew Martin | 2020-12-14 | 1 | -3/+4 |
| * | Add type arguments to PrefixCon | Cale Gibbard | 2020-11-25 | 1 | -1/+1 |
| * | Avoid GHC#18932. | Richard Eisenberg | 2020-11-25 | 1 | -1/+2 |
| * | Adapt to splitPiTysInvisible being renamed to splitInvisPiTys | Ryan Scott | 2020-11-13 | 1 | -1/+1 |
| * | Adapt to HsOuterTyVarBndrs | Ryan Scott | 2020-10-30 | 1 | -20/+24 |
| * | Adapt to HsConDecl{H98,GADT}Details split | Ryan Scott | 2020-10-30 | 1 | -27/+37 |
| * | Adapt to the removal of Hs{Boxed,Constraint}Tuple | Ryan Scott | 2020-10-29 | 1 | -2/+2 |
| * | GHC.Driver.Types refactoring (#1242) | Sylvain Henry | 2020-10-26 | 1 | -2/+4 |
| * | Match GHC, adding IsUnicodeSyntax field to HsFunTy and HsScaled | Alan Zimmerman | 2020-10-19 | 1 | -3/+4 |
| * | Fix after Outputable refactoring | Sylvain Henry | 2020-08-05 | 1 | -1/+1 |
| * | Update for modular ping pong | Zubin Duggal | 2020-07-23 | 1 | -2/+0 |
| * | Adapt Haddock to LinearTypes | Krzysztof Gogolewski | 2020-06-17 | 1 | -11/+24 |
| * | Use HsForAllTelescope (GHC#18235) | Ryan Scott | 2020-06-13 | 1 | -47/+92 |
| * | Explicit Specificity Support for Haddock | Gert-Jan Bottu | 2020-05-20 | 1 | -22/+44 |
| * | Module structure | Sylvain Henry | 2020-04-24 | 1 | -2/+2 |
| * | Module renaming | Sylvain Henry | 2020-04-10 | 1 | -3/+3 |
| * | Module renaming: amend previous patch | Sylvain Henry | 2020-04-05 | 1 | -1/+1 |
| * | Modules: type checker | Sylvain Henry | 2020-03-30 | 1 | -2/+2 |
| * | Modules: Types | Sylvain Henry | 2020-03-20 | 1 | -8/+8 |
| * | Modules: Core (#13009) | Sylvain Henry | 2020-03-02 | 1 | -9/+9 |
| * | Echo GHC's removal of PlaceHolder module | Richard Eisenberg | 2020-02-04 | 1 | -3/+3 |
| * | Fix after Iface modules renaming | Sylvain Henry | 2020-01-02 | 1 | -1/+1 |
| * | Fix for GHC module renaming | Sylvain Henry | 2019-09-12 | 1 | -1/+1 |
| * | Changes for #15247 | Ryan Scott | 2019-07-03 | 1 | -52/+52 |
| * | Changes for #16110/#16356 | Ryan Scott | 2019-05-14 | 1 | -7/+9 |
| * | Match changes for "Stop inferring over-polymorphic kinds" | Alec Theriault | 2019-03-09 | 1 | -5/+2 |
| * | Visible dependent quantification (#16326) changes | Ryan Scott | 2019-02-27 | 1 | -14/+19 |
| * | Match GHC changes for T16185 | Alec Theriault | 2019-02-22 | 1 | -11/+9 |
| * | Fix tests broken by GHC | Alec Theriault | 2019-02-16 | 1 | -1/+1 |
| * | Changes from #14579 | Ryan Scott | 2019-02-04 | 1 | -22/+5 |
| * | Fix #1015 with dataConUserTyVars (#1022) | Ryan Scott | 2019-02-04 | 1 | -3/+4 |
| * | Miscellaneous improvements to `Convert` (#1020) | Alec Theriault | 2019-02-03 | 1 | -143/+322 |
| * | Visible kind application haddock update | mynguyen | 2018-12-30 | 1 | -1/+1 |
| * | Properly synify and render promoted type variables (#985) | Alec Theriault | 2018-12-23 | 1 | -1/+2 |
| * | Follow GHC HEAD's HsTypes.Promoted -> BasicTypes.PromotionFlag change | Alp Mestanogullari | 2018-11-15 | 1 | -4/+5 |
| * | More explicit foralls (GHC Proposal 0007) | Matthew Yacavone | 2018-10-27 | 1 | -0/+2 |
| * | update dataFullSig to work with Co Quantification | ningning | 2018-09-15 | 1 | -1/+1 |
| * | Update according to GHC Core changes | ningning | 2018-09-15 | 1 | -3/+3 |
| * | Only look at visible types when synifying a 'HsListTy' | Alec Theriault | 2018-09-03 | 1 | -1/+1 |
| * | Properly synify promoted list types | Alec Theriault | 2018-08-27 | 1 | -1/+15 |
| * | Handle promoted tuples in 'synifyType' | Alec Theriault | 2018-08-21 | 1 | -0/+4 |
| * | Better rendering of unboxed sums/tuples | Alec Theriault | 2018-08-21 | 1 | -0/+1 |
| * | 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 |
| * | tyThingToLHsDecl: Preserve type synonyms that contain a forall (#880) | Simon Jakobi | 2018-07-20 | 1 | -2/+46 |
| * | 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 |
