Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge remote-tracking branch 'upstream/ghc-head' into ghc-head | Ben Gamari | 2021-03-31 | 1 | -2/+2 |
|\ | |||||
| * | pprError changed name in GHC | Alfredo Di Napoli | 2021-03-29 | 1 | -2/+2 |
| | | |||||
* | | EPA : Rename ApiAnn to EpAnn | Alan Zimmerman | 2021-03-29 | 2 | -28/+25 |
|/ | |||||
* | Add UnitId to Target record | Fendor | 2021-03-27 | 1 | -1/+1 |
| | | | | | | This way we always know to which home-unit a given target belongs to. So far, there only exists a single home-unit at a time, but it enables having multiple home-units at the same time. | ||||
* | NameCache doesn't store a UniqSupply anymore | Sylvain Henry | 2021-03-22 | 1 | -12/+2 |
| | |||||
* | Fix after NameCache changes | Sylvain Henry | 2021-03-22 | 4 | -157/+36 |
| | |||||
* | Match changes in GHC AST for in-tree API Annotations | Alan Zimmerman | 2021-03-15 | 17 | -336/+387 |
| | | | | As landed via https://gitlab.haskell.org/ghc/ghc/-/merge_requests/2418 | ||||
* | Implement template-haskell's putDoc | Luke Lau | 2021-03-10 | 2 | -12/+47 |
| | | | | | | | | | This catches up to GHC using the new extractTHDocs function, which returns documentation added via the putDoc function (provided it was compiled with Opt_Haddock). Since it's already a map from names -> docs, there's no need to do traversal etc. It also matches the change from the argument map being made an IntMap rather than a Map Int | ||||
* | Update for "FastString: Use FastMutInt instead of IORef Int" | Ben Gamari | 2021-03-10 | 1 | -4/+2 |
| | |||||
* | Update for boxed rep | Andrew Martin | 2021-03-07 | 2 | -5/+6 |
| | |||||
* | Merge remote-tracking branch 'origin/ghc-head' into HEAD | Ben Gamari | 2021-03-06 | 4 | -73/+99 |
|\ | |||||
| * | Fix the call-site of guessTarget in Interface.hs | Hécate Moonlight | 2021-02-23 | 1 | -2/+2 |
| | | | | | | | | Explicit the imports from GHC.HsToCore.Docs | ||||
| * | Explicit imports for Haddock.Interface and Haddock.Interface.Create | Hécate Moonlight | 2021-02-22 | 2 | -47/+50 |
| | | |||||
| * | Clean-up of Interface and Interface.Create's imports and pragmata | Hécate Moonlight | 2021-02-22 | 2 | -33/+41 |
| | | |||||
| * | Merge pull request #1311 from fendor/wip/add-targetUnitId-to-target | Hécate Moonlight | 2021-02-21 | 1 | -1/+1 |
| |\ | | | | | | | Add UnitId to Target record | ||||
| | * | Add UnitId to Target record | Fendor | 2021-02-09 | 1 | -1/+1 |
| | | | |||||
| * | | Add import list to Data.List in Haddock.Interface.Create | Oleg Grenrus | 2021-02-14 | 2 | -1/+2 |
| | | | |||||
| * | | Merge pull request #1329 from hsyl20/hsyl20/stabe_iface | Hécate Moonlight | 2021-02-11 | 1 | -10/+24 |
| |\ \ | | |/ | |/| | Stable sort for instances | ||||
| | * | Also make TyLit deterministic | alexbiehl | 2021-02-11 | 1 | -2/+7 |
| | | | |||||
| | * | Stable sort for (data/newtype) instances | alexbiehl | 2021-02-11 | 1 | -8/+17 |
| | | | |||||
* | | | Add ITproj to parser | Shayne Fletcher | 2021-03-06 | 1 | -0/+1 |
| | | | |||||
* | | | Context becomes a Maybe in the GHC AST | Alan Zimmerman | 2021-02-22 | 8 | -34/+49 |
|/ / | | | | | | | | | | | This prevents noLoc's appearing in the ParsedSource. Match the change in GHC. | ||||
* | | Fix to build with HEAD | Sylvain Henry | 2021-02-09 | 3 | -4/+3 |
| | | |||||
* | | Merge pull request #1310 from hsyl20/wip/hsyl20/logger2 | Alexander Biehl | 2021-02-08 | 3 | -26/+31 |
|\ \ | | | | | | | Logger refactoring | ||||
| * | | Update for Logger | Sylvain Henry | 2021-02-08 | 3 | -26/+31 |
| |/ | |||||
* | | Merge branch 'ghc-head' into ghc-9.0 | alexbiehl-gc | 2021-02-07 | 23 | -924/+1287 |
|\| | |||||
| * | Merge commit '41964cb2fd54b5a10f8c0f28147015b7d5ad2c02' into wip/ghc-head-merge | Ben Gamari | 2021-02-06 | 3 | -0/+3 |
| |\ | |||||
| | * | Merge commit 'a917dfd29f3103b69378138477514cbfa38558a9' into ghc-head | Vladislav Zavialov | 2021-02-05 | 1 | -2/+2 |
| | |\ | |||||
| | | * | Rename pprLogErrMsg to new name | Alfredo Di Napoli | 2021-02-01 | 1 | -2/+2 |
| | | | | |||||
| | * | | type level characters support for haddock (required for #11342) | Daniel Rogozin | 2021-02-05 | 3 | -0/+3 |
| | |/ | |||||
| * | | Fix partial record selector warning | Ben Gamari | 2021-02-06 | 1 | -3/+3 |
| | | | |||||
| * | | Merge remote-tracking branch 'origin/ghc-head' into wip/ghc-head-merge | Ben Gamari | 2021-02-06 | 10 | -420/+607 |
| |\| | |||||
| | * | Merge pull request #1293 from obsidiansystems/wip/fix-18936 | Alan Zimmerman | 2021-01-23 | 1 | -0/+2 |
| | |\ | | | | | | | | | Add `NoGhcTc` instance now that it's not closed | ||||
| | | * | Add `NoGhcTc` instance now that it's not closed | John Ericson | 2021-01-22 | 1 | -0/+2 |
| | | | | |||||
| | * | | Make haddock more robust to changes to the `Language` data type | Joachim Breitner | 2021-01-22 | 1 | -4/+1 |
| | |/ | | | | | | | | | | | | | | | | | | | | | | | | | With the introduction of GHC2021, the `Languages` data type in GHC will grow. In preparation of that (and to avoid changing haddock with each new language), this change makes the code handle extensions to that data type gracefully. (cherry picked from commit c341dd7c9c3fc5ebc83a2d577c5a726f3eb152a5) | ||||
| | * | Merge pull request #1273 from hsyl20/wip/hsyl20/arrows | Hécate Moonlight | 2021-01-14 | 3 | -3/+3 |
| | |\ | | | | | | | | | Fix after binder collect changes | ||||
| | | * | Fix after binder collect changes | Sylvain Henry | 2020-12-21 | 3 | -3/+3 |
| | | | | |||||
| | * | | Abstract Monad for interface creation | Alex Biehl | 2021-01-09 | 10 | -275/+180 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | I found that when running as a plugin the lookupName function (which runs in Ghc monad) does not work correctly from the typeCheckResultAction hook. Instead, we abstracted the monad used when creating interfaces, so that access to GHC session specific parts is explicit and so that the TcM can provide their (correct) implementation of lookupName. | ||||
| | * | | Add -j[n] CLI param to Haddock executable | Alex Biehl | 2021-01-09 | 2 | -3/+13 |
| | | | | | | | | | | | | | | | | It translates to `--ghcopt=-j[n]` | ||||
| | * | | Make Haddock a GHC Plugin | Alex Biehl | 2021-01-09 | 1 | -96/+212 |
| | | | | |||||
| | * | | Prepare Haddock for being a GHC Plugin | Alex Biehl | 2021-01-09 | 2 | -33/+222 |
| | | | | |||||
| * | | | Merge remote-tracking branch 'origin/ghc-9.0' into ghc-head | Ben Gamari | 2021-01-13 | 40 | -1157/+2039 |
| |\ \ \ | | |/ / | |/| | | |||||
| * | | | Merge pull request #1281 from obsidiansystems/wip/backpack-j | Ben Gamari | 2020-12-31 | 1 | -2/+4 |
| |\ \ \ | | | | | | | | | | | Changes to support -j with backpack | ||||
| | * | | | Support a new ghc --make node type for parallel backpack upsweep | John Ericson | 2020-12-28 | 1 | -2/+4 |
| | | | | | |||||
| * | | | | Inline and fix getGADTConTypeG | Vladislav Zavialov | 2020-12-29 | 2 | -36/+16 |
| |/ / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The getGADTConTypeG used HsRecTy, which is at odds with GHC issue #18782. I noticed that getGADTConTypeG was only used in the Hoogle backend. Interestingly, when handling H98 constructors, Hoogle converts RecCon to PrefixCon (see Haddock.Backends.Hoogle.ppCtor). So I changed getGADTConTypeG to handle RecConGADT in the same manner as PrefixConGADT, and after this simplification moved it into the 'where' clause of ppCtor, to the only place where it is used. The practical effect of this change is as follows. Consider this example: data TestH98 = T98 { bar::Int } data TestGADT where TG :: { foo :: Int } -> TestGADT Before this patch, haddock --hoogle used to produce: T98 :: Int -> TestH98 [TG] :: {foo :: Int} -> TestGADT Notice how the record syntax was discarded in T98 but not TG. With this patch, we always produce signatures without record syntax: T98 :: Int -> TestH98 [TG] :: Int -> TestGADT I suspect this might also be a bugfix, as currently Hoogle doesn't seem to render GADT record constructors properly. | ||||
| * | / | Adapt to changes to GlobalRdrElt and AvailInfo | Adam Gundry | 2020-12-23 | 3 | -14/+6 |
| | |/ | |/| | | | | | | | Needed for ghc/ghc!4467 | ||||
| * | | Enable two warnings (#1245) (#1268) | tomjaguarpaw | 2020-12-19 | 8 | -1/+11 |
| | | | | | | | | | | | | | | | | | | because they will be soon be added to -Wall. See https://gitlab.haskell.org/ghc/ghc/-/issues/15656 | ||||
| * | | Adapt to HsCoreTy (formerly NewHsTypeX) becoming a type synonym | Ryan Scott | 2020-12-16 | 5 | -5/+5 |
| | | | | | | | | | | | | Needed for !4417, the fix for GHC#15706 and GHC#18914. | ||||
| * | | Display linear/multiplicity arrows correctly (#1238) | Krzysztof Gogolewski | 2020-12-16 | 3 | -7/+25 |
| | | | | | | | | | | | | Previously we were ignoring multiplicity and displayed a %1 -> b as a -> b. | ||||
| * | | Merge remote-tracking branch 'upstream/ghc-head' into ghc-head | Ben Gamari | 2020-12-15 | 7 | -9/+1 |
| |\ \ |