Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename getErrorMessages Lexer import | Alfredo Di Napoli | 2021-07-05 | 1 | -2/+2 |
| | | | | | | This commit renames the Lexer import in `Hyperlinker.Parser` from `getErrorMessages` to `getPsErrorMessages` to eliminate the ambiguity with the `getErrorMessages` function defined in `GHC.Types.Error`. | ||||
* | Fix mkParserOpts (#1411) | Sylvain Henry | 2021-06-28 | 2 | -5/+4 |
| | |||||
* | HsToken in FunTy, RecConGADT | Vladislav Zavialov | 2021-06-10 | 3 | -9/+9 |
| | |||||
* | Adapt Haddock to Logger and Parser changes (#1399) | Sylvain Henry | 2021-06-01 | 1 | -0/+3 |
| | |||||
* | Revert "Add Haddock support for the OPAQUE pragma (#1380)" | Ben Gamari | 2021-05-24 | 1 | -2/+0 |
| | | | | | | This reverts commit a1337c599ef7720b0482a25c55f11794112496dc. The GHC patch associated with this change is not yet ready to be merged. | ||||
* | Merge pull request #1394 from adinapoli/wip/adinapoli-align-ps-messages | Ben Gamari | 2021-05-24 | 1 | -3/+5 |
|\ | | | | | Align Haddock to use the new Parser diagnostics interface | ||||
| * | New Parser diagnostics interface | Alfredo Di Napoli | 2021-05-24 | 1 | -3/+5 |
| | | |||||
* | | Merge commit '3b6a8774bdb543dad59b2618458b07feab8a55e9' into ghc-head | Ben Gamari | 2021-05-21 | 3 | -21/+24 |
|\| | |||||
| * | FieldOcc: rename extFieldOcc to foExt | Shayne Fletcher | 2021-05-22 | 3 | -7/+7 |
| | | |||||
| * | Remove Maybe from HsQualTy | Alan Zimmerman | 2021-05-20 | 3 | -14/+17 |
| | | | | | | | | Match changes in GHC for #19845 | ||||
* | | Add Haddock support for the OPAQUE pragma (#1380) | Christiaan Baaij | 2021-05-13 | 1 | -0/+2 |
|/ | |||||
* | pprError changed name in GHC | Alfredo Di Napoli | 2021-03-29 | 1 | -2/+2 |
| | |||||
* | Fix after NameCache changes | Sylvain Henry | 2021-03-22 | 1 | -5/+4 |
| | |||||
* | Match changes in GHC AST for in-tree API Annotations | Alan Zimmerman | 2021-03-15 | 8 | -78/+85 |
| | | | | As landed via https://gitlab.haskell.org/ghc/ghc/-/merge_requests/2418 | ||||
* | 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 | 3 | -19/+23 |
| | | | | | | This prevents noLoc's appearing in the ParsedSource. Match the change in GHC. | ||||
* | Fix to build with HEAD | Sylvain Henry | 2021-02-09 | 1 | -1/+2 |
| | |||||
* | Merge branch 'ghc-head' into ghc-9.0 | alexbiehl-gc | 2021-02-07 | 7 | -170/+239 |
|\ | |||||
| * | Merge commit '41964cb2fd54b5a10f8c0f28147015b7d5ad2c02' into wip/ghc-head-merge | Ben Gamari | 2021-02-06 | 2 | -0/+2 |
| |\ | |||||
| | * | 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 | 2 | -0/+2 |
| | |/ | |||||
| * | | Merge remote-tracking branch 'origin/ghc-head' into wip/ghc-head-merge | Ben Gamari | 2021-02-06 | 2 | -6/+3 |
| |\| | |||||
| | * | 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) | ||||
| | * | Abstract Monad for interface creation | Alex Biehl | 2021-01-09 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. | ||||
| * | | Merge remote-tracking branch 'origin/ghc-9.0' into ghc-head | Ben Gamari | 2021-01-13 | 11 | -250/+324 |
| |\ \ | | |/ | |/| | |||||
| * | | Inline and fix getGADTConTypeG | Vladislav Zavialov | 2020-12-29 | 1 | -6/+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. | ||||
| * | | Enable two warnings (#1245) (#1268) | tomjaguarpaw | 2020-12-19 | 2 | -0/+2 |
| | | | | | | | | | | | | | | | | | | 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 | 2 | -2/+2 |
| | | | | | | | | | | | | 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. | ||||
| * | | Revert "Enable two warnings (#1245) (#1268)" | Ben Gamari | 2020-12-15 | 2 | -2/+0 |
| | | | | | | | | | | | | | | | | | | As this does not build on GHC `master`. This reverts commit 7936692badfe38f23ae95b51fb7bd7c2ff7e9bce. | ||||
| * | | Enable two warnings (#1245) (#1268) | tomjaguarpaw | 2020-12-10 | 2 | -0/+2 |
| | | | | | | | | | | | | | | | because they will be soon be added to -Wall. See https://gitlab.haskell.org/ghc/ghc/-/issues/15656 | ||||
| * | | Merge pull request #1257 from AndreasPK/wip/andreask/opt_dumps | Ben Gamari | 2020-12-03 | 1 | -1/+1 |
| |\ \ | | | | | | | | | Update for changes in GHC's Pretty | ||||
| | * | | Update for changes in GHC's Pretty | Andreas Klebinger | 2020-11-24 | 1 | -1/+1 |
| | | | | |||||
| * | | | DynFlags's unit fields moved to HscEnv | Sylvain Henry | 2020-11-30 | 1 | -9/+10 |
| | | | | |||||
| * | | | Add type arguments to PrefixCon | Cale Gibbard | 2020-11-25 | 3 | -8/+8 |
| |/ / | |||||
| * | | Adapt to HsOuterTyVarBndrs | Ryan Scott | 2020-10-30 | 3 | -82/+139 |
| | | | | | | | | | | | | | | | 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 | 3 | -30/+34 |
| | | | | | | | | | | | | Needed for GHC#18844. | ||||
| * | | GHC.Driver.Types refactoring (#1242) | Sylvain Henry | 2020-10-26 | 2 | -3/+4 |
| | | | |||||
| * | | Match GHC, adding IsUnicodeSyntax field to HsFunTy and HsScaled | Alan Zimmerman | 2020-10-19 | 1 | -1/+2 |
| | | | |||||
| * | | Add whitespace in: map ($ v) | Vladislav Zavialov | 2020-10-15 | 1 | -3/+3 |
| | | | |||||
| * | | Don't pass the HomeUnitId (#1239) | Sylvain Henry | 2020-10-12 | 1 | -1/+0 |
| | | | |||||
| * | | Adapt to GHC parser changes | Sylvain Henry | 2020-09-30 | 1 | -1/+2 |
| | | | |||||
| * | | Update for parser (#1234) | Sylvain Henry | 2020-09-29 | 2 | -5/+3 |
| | | | |||||
| * | | Updates for the new linear types syntax: a %p -> b | Vladislav Zavialov | 2020-09-26 | 1 | -0/+1 |
| | | | |||||
| * | | Match GHC for #18639, remove GENERATED pragma | Alan Zimmerman | 2020-09-07 | 1 | -2/+0 |
| | | | |||||
| * | | Remove Ord FastString instance | Sylvain Henry | 2020-08-17 | 1 | -2/+2 |
| | | | |||||
| * | | Fix after HomeUnit | Sylvain Henry | 2020-08-12 | 1 | -1/+2 |
| | | | |||||
| * | | Fix after Outputable refactoring | Sylvain Henry | 2020-08-05 | 4 | -6/+10 |
| | | | |||||
| * | | Update for modular ping pong | Zubin Duggal | 2020-07-23 | 3 | -6/+2 |
| | | |