Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update for changes in GHC for branch | Alan Zimmerman | 2021-10-28 | 1 | -6/+6 |
| | | | | wip/az/no-srcspan-anno-instances | ||||
* | HsToken in FunTy, RecConGADT | Vladislav Zavialov | 2021-06-10 | 1 | -4/+4 |
| | |||||
* | Remove Maybe from HsQualTy | Alan Zimmerman | 2021-05-20 | 1 | -5/+5 |
| | | | | Match changes in GHC for #19845 | ||||
* | EPA: match changes from GHC T19834 | Alan Zimmerman | 2021-05-13 | 1 | -2/+2 |
| | |||||
* | Account for HsVersions.h removal | Sylvain Henry | 2021-05-11 | 1 | -8/+6 |
| | |||||
* | Revert "Removal of HsVersions.h (#1388)" | Hécate Moonlight | 2021-05-11 | 1 | -6/+8 |
| | | | | This reverts commit 72118896464f94d81f10c52f5d9261efcacc57a6. | ||||
* | Removal of HsVersions.h (#1388) | Sylvain Henry | 2021-05-11 | 1 | -8/+6 |
| | | | | | | | * Update for EPA changes in GHC * Account for HsVersions.h removal Co-authored-by: Alan Zimmerman <alan.zimm@gmail.com> | ||||
* | Match changes in GHC AST for in-tree API Annotations | Alan Zimmerman | 2021-03-15 | 1 | -92/+95 |
| | | | | As landed via https://gitlab.haskell.org/ghc/ghc/-/merge_requests/2418 | ||||
* | Update for boxed rep | Andrew Martin | 2021-03-07 | 1 | -3/+4 |
| | |||||
* | Context becomes a Maybe in the GHC AST | Alan Zimmerman | 2021-02-22 | 1 | -4/+4 |
| | | | | | | This prevents noLoc's appearing in the ParsedSource. Match the change in GHC. | ||||
* | Merge commit '41964cb2fd54b5a10f8c0f28147015b7d5ad2c02' into wip/ghc-head-merge | Ben Gamari | 2021-02-06 | 1 | -0/+1 |
|\ | |||||
| * | type level characters support for haddock (required for #11342) | Daniel Rogozin | 2021-02-05 | 1 | -0/+1 |
| | | |||||
* | | Merge remote-tracking branch 'origin/ghc-9.0' into ghc-head | Ben Gamari | 2021-01-13 | 1 | -22/+32 |
|\ \ | |/ |/| | |||||
| * | Merge remote-tracking branch 'origin/ghc-8.10' into ghc-9.0 | Ben Gamari | 2021-01-05 | 1 | -23/+31 |
| |\ | |||||
| | * | Fix #1050 by filtering out invisible AppTy arguments | Ryan Scott | 2020-04-05 | 1 | -5/+8 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This makes the `synifyType` case for `AppTy` more intelligent by taking into consideration the visibilities of each `AppTy` argument and filtering out any invisible arguments, as they aren't intended to be displayed in the source code. (See #1050 for an example of what can happen if you fail to filter these out.) Along the way, I noticed that a special `synifyType` case for `AppTy t1 (CoercionTy {})` could be consolidated with the case below it, so I took the opportunity to tidy this up. | ||||
| | * | Merge branch 'ghc-8.8' into ghc-8.10 | Alec Theriault | 2020-03-20 | 1 | -16/+24 |
| | |\ | |||||
| | | * | Changes from #14579 | Ryan Scott | 2019-11-03 | 1 | -22/+5 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | We now have a top-level `tyConAppNeedsKindSig` function, which means that we can delete lots of code in `Convert`. (cherry picked from commit cfd682c5fd03b099a3d78c44f9279faf56a0ac70) | ||||
| | | * | Reify oversaturated data family instances correctly (#1103) | Ryan Scott | 2019-10-23 | 1 | -15/+23 |
| | | | | | | | | | | | | | | | | | | | | | | | | This fixes #1103 by adapting the corresponding patch for GHC (see https://gitlab.haskell.org/ghc/ghc/issues/17296 and https://gitlab.haskell.org/ghc/ghc/merge_requests/1877). | ||||
| * | | | Match GHC, adding IsUnicodeSyntax field to HsFunTy and HsScaled | Alan Zimmerman | 2020-10-21 | 1 | -3/+4 |
| | | | | | | | | | | | | | | | | (cherry picked from commit a7d1d8e034d25612d5d08ed8fdbf6f472aded4a1) | ||||
* | | | | Revert "Update for boxed rep" | Ben Gamari | 2020-12-15 | 1 | -4/+3 |
| | | | | | | | | | | | | | | | | This reverts commit 4ffb30d8b637ccebecc81ce610f0af451ac8088d. | ||||
* | | | | 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 |
| | | | | | | | | | | | | | | | | This is a part of !4434, a fix for GHC#18939. | ||||
* | | | | Adapt to HsOuterTyVarBndrs | Ryan Scott | 2020-10-30 | 1 | -20/+24 |
| | | | | | | | | | | | | | | | | | | | | These changes accompany ghc/ghc!4107, which aims to be a fix for #16762. | ||||
* | | | | Adapt to HsConDecl{H98,GADT}Details split | Ryan Scott | 2020-10-30 | 1 | -27/+37 |
| | | | | | | | | | | | | | | | | Needed for GHC#18844. | ||||
* | | | | Adapt to the removal of Hs{Boxed,Constraint}Tuple | Ryan Scott | 2020-10-29 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | | See ghc/ghc!4097 and GHC#18723. | ||||
* | | | | 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 |
| | | | | | | | | | | | | See ghc/ghc!852. | ||||
* | | | 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 |
| | | | | | | | | | | | | This goes with GHC's !2083. | ||||
* | | | 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 |
| | | | | | | | | | | | | | | | | The `hsq_ext` field of `HsQTvs` is now just the implicit variables (instead of also including information about which of these variables are dependent). This commit shouldn't change any functionality in Haddock. | ||||
* | | 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 |
| | | | | | | | | | | | | | | `FunTy` now has an `AnonArgFlag` that indicates whether the arrow is a `t1 => t2` or `t1 -> t2`. This commit shouldn't change any functionality in Haddock. | ||||
* | | Fix tests broken by GHC | Alec Theriault | 2019-02-16 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | Changes in 19626218566ea709b5f6f287d3c296b0c4021de2 affected some of the hyperlinker output. Accepted the new output (hovering over a `..` now shows you what that wildcard binds). Also fixed some stray deprecation warnings. | ||||
* | | Changes from #14579 | Ryan Scott | 2019-02-04 | 1 | -22/+5 |
|/ | | | | | We now have a top-level `tyConAppNeedsKindSig` function, which means that we can delete lots of code in `Convert`. |