aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/src/Haddock/Interface/Rename.hs
Commit message (Collapse)AuthorAgeFilesLines
* Abstract Monad for interface creationAlex Biehl2021-01-091-1/+0
| | | | | | | | | | 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.
* Enable two warnings (#1245) (#1268)tomjaguarpaw2020-12-191-0/+1
| | | | | | 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 synonymRyan Scott2020-12-161-1/+1
| | | | Needed for !4417, the fix for GHC#15706 and GHC#18914.
* Revert "Enable two warnings (#1245) (#1268)"Ben Gamari2020-12-151-1/+0
| | | | | | As this does not build on GHC `master`. This reverts commit 7936692badfe38f23ae95b51fb7bd7c2ff7e9bce.
* Enable two warnings (#1245) (#1268)tomjaguarpaw2020-12-101-0/+1
| | | | | because they will be soon be added to -Wall. See https://gitlab.haskell.org/ghc/ghc/-/issues/15656
* Add type arguments to PrefixConCale Gibbard2020-11-251-1/+1
|
* Adapt to HsOuterTyVarBndrsRyan Scott2020-10-301-36/+34
| | | | | These changes accompany ghc/ghc!4107, which aims to be a fix for #16762.
* Adapt to HsConDecl{H98,GADT}Details splitRyan Scott2020-10-301-10/+16
| | | | Needed for GHC#18844.
* Match GHC, adding IsUnicodeSyntax field to HsFunTy and HsScaledAlan Zimmerman2020-10-191-3/+3
|
* Update for modular ping pongZubin Duggal2020-07-231-6/+10
|
* Use functions exported from HsToCoreZubin Duggal2020-06-211-0/+1
|
* Adapt Haddock to LinearTypesKrzysztof Gogolewski2020-06-171-5/+17
| | | | See ghc/ghc!852.
* Use HsForAllTelescope (GHC#18235)Ryan Scott2020-06-131-5/+12
|
* Explicit Specificity Support for HaddockGert-Jan Bottu2020-05-201-6/+6
|
* Module structureSylvain Henry2020-04-241-2/+1
|
* Module renamingSylvain Henry2020-04-101-1/+1
|
* Make NoExtCon fields strictRyan Scott2020-04-071-17/+0
| | | | | These changes are a part of a fix for [GHC#17992](https://gitlab.haskell.org/ghc/ghc/issues/17992).
* Modules: TypesSylvain Henry2020-03-201-2/+2
|
* Changes for #15247Ryan Scott2019-07-031-67/+67
|
* Changes for #16110/#16356Ryan Scott2019-05-141-18/+7
|
* Visible dependent quantification (#16326) changesRyan Scott2019-02-271-2/+3
|
* Matching changes in GHC for #16236Alan Zimmerman2019-02-051-2/+2
|
* Visible kind application haddock updatemynguyen2018-12-301-6/+15
|
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-231-0/+1
| | | | | | | | | | | Trac Issues #15495 This patch removes the ping-pong style from HsPat (only, for now), using the plan laid out at https://ghc.haskell.org/trac/ghc/wiki/ImplementingTreesThatGrow/HandlingSourceLocations (solution A). - the class `HasSrcSpan`, and its functions (e.g., `cL` and `dL`), are introduced - some instances of `HasSrcSpan` are introduced - some constructors `L` are replaced with `cL` - some patterns `L` are replaced with `dL->L` view pattern - some type annotation are necessarily updated (e.g., `Pat p` --> `Pat (GhcPass p)`)
* Improve perf of renamingAlec Theriault2018-11-051-36/+33
| | | | | | | | Perf only change: * don't look up type variable names (they're never in the environment) * use a difference list for accumulating missing names * more efficient 'Functor'/'Applicative' instances for 'RnM'
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-271-4/+11
|
* eqTyCon_RDR now lives in TysWiredInRyan Scott2018-07-271-1/+1
| | | | | After GHC commit http://git.haskell.org/ghc.git/commit/f265008fb6f70830e7e92ce563f6d83833cef071
* Remove HsEqTy and XEqTyRyan Scott2018-06-191-1/+0
|
* Handle -XStarIsTypeVladislav Zavialov2018-06-141-1/+2
|
* DerivingVia changesRyan Scott2018-06-131-2/+9
|
* Remove ParallelArrays and Data Parallel HaskellBen Gamari2018-06-131-1/+0
|
* Merge branch 'ghc-head' with 'ghc-8.4'Herbert Valerio Riedel2018-05-011-111/+142
|\
| * Match changes in GHC for TTGAlan Zimmerman2018-04-271-66/+89
| |
| * Match GHC for TTG implemented on HsBinds, D4581Alan Zimmerman2018-04-131-10/+10
| |
| * Match GHC changes for TTGAlan Zimmerman2018-04-091-35/+37
| |
| * Updates for #13324Ryan Scott2018-03-061-1/+1
| |
| * Track changes to follow Trac #14529Simon Peyton Jones2017-12-071-20/+26
| | | | | | | | This tracks the refactoring of HsDecl.ConDecl.
* | Show where instances are defined (#748)Alec Theriault2018-03-211-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | * Indicate source module of instances Above instance, we now also display a link to the module where the instance was defined. This is sometimes helpful in figuring out what to import. * Source module for type/data families too * Remove parens * Accept tests
* | Rename: renameHsSpliceTy ttgalexbiehl2018-02-061-1/+1
| |
* | Don't barf on 'HsSpliceTy' (#745)Alec Theriault2018-02-061-1/+12
| | | | | | | | | | | | | | | | This handles 'HsSpliceTy's by replacing them with what they expand to. IIUC everything that is happening, 'renameHsSpliceTy' should not be able to fail for the inputs we feed it from GHC. This fixes #574.
* | Don't warn about missing '~' (#746)Alec Theriault2018-02-061-5/+14
|/ | | | | | | This manually filters out '~' from the list of things to warn about. It truly makes no sense to warn on this since '~' has nothing it could link to - it is magical. This fixes #532.
* Revert "Match changes for Trees that Grow in GHC"Ben Gamari2017-11-211-37/+35
| | | | This reverts commit 01eeeb048acd2dd05ff6471ae148a97cf0720547.
* Revert "Clean up use of PlaceHolder, to match TTG"Ben Gamari2017-11-211-23/+22
| | | | This reverts commit 134a7bb054ea730b13c8629a76232d73e3ace049.
* Clean up use of PlaceHolder, to match TTGAlan Zimmerman2017-11-141-22/+23
|
* Match changes for Trees that Grow in GHCAlan Zimmerman2017-11-071-35/+37
|
* Overhaul Haddock's rendering of kind signatures (#681)Ryan Scott2017-10-241-2/+0
| | | | | | | | | | | | | | | * Overhaul Haddock's rendering of kind signatures * Strip off kind signatures when specializing As an added bonus, this lets us remove an ugly hack specifically for `(->)`. Yay! * Update due to 0390e4a0f61e37bd1dcc24a36d499e92f2561b67 * @alexbiehl's suggestions * Import injectiveVarsOfBinder from GHC
* Update for #14131Ryan Scott2017-08-231-27/+42
|
* Merge remote-tracking branch 'origin/master' into ghc-headalexbiehl2017-08-211-3/+9
|\
| * Haddock support for bundled pattern synonyms (#627)Christiaan Baaij2017-06-091-3/+9
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Haddock support for bundled pattern synonyms * Add fixities to bundled pattern synonyms * Add bundled pattern synonyms to the synopsis * Store bundled pattern fixities in expItemFixities * Add test for bundled pattern synonyms * Stop threading fixities * Include bundled pattern synonyms for re-exported data types Sadly, fixity information isn't found for re-exported data types * Support for pattern synonyms * Modify tests after #631 * Test some reexport variations * Also lookup bundled pattern synonyms from `InstalledInterface`s * Check isExported for bundled pattern synonyms * Pattern synonym is exported check * Always look for pattern synonyms in the current module Another overlooked cornercase * Account for types named twice in export lists Also introduce a fast function for nubbing on a `Name` and use it throughout the code base. * correct fixities for reexported pattern synonyms * Fuse concatMap and map * Remove obsolete import * Add pattern synonyms to visible exports * Fix test * Remove corner case
| * Update Haddock w.r.t. new HsImplicitBndrsRichard Eisenberg2017-03-141-1/+2
| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-14 11:53:04 +0000