aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/src/Haddock/Interface/Specialize.hs
Commit message (Collapse)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/ghc-9.0' into ghc-headBen Gamari2021-01-131-6/+3
|\
| * Merge remote-tracking branch 'origin/ghc-8.10' into ghc-9.0Ben Gamari2021-01-051-14/+5
| |\
| | * Enable two warnings (#1245)tomjaguarpaw2020-12-081-0/+1
| | | | | | | | | | | | | | | because they will be soon be added to -Wall. See https://gitlab.haskell.org/ghc/ghc/-/issues/15656
| | * Cleanup up GHC flags in `.cabal` filesAlec Theriault2020-03-281-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | * enable more useful warning flags in `haddock-api`, handle the new warnings generated * remove `-fwarn-tabs` (now we'd use `-Wtabs`, but this has been in `-Wall` for a while now)
| | * Use TTG empty extensions to remove some `error`'sAlec Theriault2020-03-281-12/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | None of these error cases should ever have been reachable, so this is just a matter of leveraging the type system to assert this. * Use the `NoExtCon` and `noExtCon` to handle case matches for no extension constructors, instead of throwing an `error`. * Use the extension field of `HsSpliceTy` to ensure that this variant of `HsType` cannot exist in an `HsType DocNameI`.
| * | Match GHC, adding IsUnicodeSyntax field to HsFunTy and HsScaledAlan Zimmerman2020-10-211-2/+3
| | | | | | | | | | | | (cherry picked from commit a7d1d8e034d25612d5d08ed8fdbf6f472aded4a1)
* | | 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
* | | Adapt to HsOuterTyVarBndrsRyan Scott2020-10-301-23/+46
| | | | | | | | | | | | | | | These changes accompany ghc/ghc!4107, which aims to be a fix for #16762.
* | | Adapt to the removal of Hs{Boxed,Constraint}TupleRyan Scott2020-10-291-1/+1
| | | | | | | | | | | | See ghc/ghc!4097 and GHC#18723.
* | | Match GHC, adding IsUnicodeSyntax field to HsFunTy and HsScaledAlan Zimmerman2020-10-191-2/+3
| | |
* | | Remove Ord FastString instanceSylvain Henry2020-08-171-5/+11
| | |
* | | Update for modular ping pongZubin Duggal2020-07-231-4/+5
|/ /
* | Adapt Haddock to LinearTypesKrzysztof Gogolewski2020-06-171-3/+7
| | | | | | | | See ghc/ghc!852.
* | Use HsForAllTelescope (GHC#18235)Ryan Scott2020-06-131-5/+19
| |
* | Explicit Specificity Support for HaddockGert-Jan Bottu2020-05-201-9/+9
| |
* | Module structureSylvain Henry2020-04-241-1/+1
| |
* | Module renamingSylvain Henry2020-04-101-2/+2
| |
* | Make NoExtCon fields strictRyan Scott2020-04-071-1/+0
| | | | | | | | | | These changes are a part of a fix for [GHC#17992](https://gitlab.haskell.org/ghc/ghc/issues/17992).
* | Modules: TypesSylvain Henry2020-03-181-1/+1
|/
* Changes for #15247Ryan Scott2019-07-031-4/+4
|
* Visible dependent quantification (#16326) changesRyan Scott2019-02-271-3/+3
|
* Visible kind application haddock updatemynguyen2018-12-301-0/+3
|
* Refactor names + unused functions (#982)Alec Theriault2018-12-171-7/+6
| | | | | | | This commit should not introduce any change in functionality! * consistently use `getOccString` to convert `Name`s to strings * compare names directly when possible (instead of comparing strings) * get rid of unused utility functions
* Specialize some SYB functionsAlec Theriault2018-11-051-4/+4
| | | | | | | Perf only change: * Add a 'SPECIALIZE' pragma to help GHC optimize a 'Data a =>' constraint * Manually specialize the needlessly general type of 'specializeTyVarBndrs'
* Remove HsEqTy and XEqTyRyan Scott2018-06-191-1/+0
|
* Handle -XStarIsTypeVladislav Zavialov2018-06-141-1/+1
|
* Remove ParallelArrays and Data Parallel HaskellBen Gamari2018-06-131-1/+0
|
* Merge branch 'ghc-head' with 'ghc-8.4'Herbert Valerio Riedel2018-05-011-90/+78
|\
| * Match changes in GHC for TTGAlan Zimmerman2018-04-271-3/+3
| |
| * Match GHC for TTG implemented on HsBinds, D4581Alan Zimmerman2018-04-131-2/+2
| |
| * Match GHC changes for TTGAlan Zimmerman2018-04-091-87/+75
| |
* | Specialize: Add missing IdP annotationsAlexander Biehl2018-02-011-2/+2
| |
* | Fix infinite loop when specializing instance heads (#723)Alec Theriault2018-02-011-10/+10
|/ | | | | | | | | * Fix infinite loop when specializing instance heads The bug can only be triggered from TH, hence why it went un-noticed for so long. * Add test for #679 and #710
* Revert "Match changes for Trees that Grow in GHC"Ben Gamari2017-11-211-77/+87
| | | | This reverts commit 01eeeb048acd2dd05ff6471ae148a97cf0720547.
* Revert "Match Trees That Grow"Ben Gamari2017-11-211-2/+3
| | | | This reverts commit 73a26af844ac50b8bec39de11d64452a6286b00c.
* Revert "Clean up use of PlaceHolder, to match TTG"Ben Gamari2017-11-211-3/+3
| | | | This reverts commit 134a7bb054ea730b13c8629a76232d73e3ace049.
* Clean up use of PlaceHolder, to match TTGAlan Zimmerman2017-11-141-3/+3
|
* Match Trees That GrowAlan Zimmerman2017-11-081-3/+2
|
* Match changes for Trees that Grow in GHCAlan Zimmerman2017-11-071-87/+77
|
* Overhaul Haddock's rendering of kind signatures (#681)Ryan Scott2017-10-241-1/+7
| | | | | | | | | | | | | | | * 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
* Merge remote-tracking branch 'origin/master' into ghc-headalexbiehl2017-08-211-116/+70
|\
| * Fix renaming after instance signature specializing (#660)Moritz Drexl2017-08-051-81/+51
| | | | | | | | | | | | | | | | | | | | * rework rename * Add regression test for Bug 613 * update tests * update changelog
| * Make haddock-library and haddock-api warning free (#626)Alex Biehl2017-05-301-1/+0
| |
| * Improve Syb code (#621)Doug Wilson2017-05-271-35/+23
| | | | | | | | | | | | | | | | | | | | | | | | Specialize.hs and Ast.hs are modified to have their Syb code not recurse into Name or Id in HsSyn types. Specialize.hs is refactored to have fewer calls to Syb functions. Syb.hs has some foldl calls replaced with foldl' calls. There is still a lot of performance on the floor of Ast.hs. The RenamedSource is traversed many times, and lookupBySpan is very inefficient. everywhereBut and lookupBySpan dominate the runtime whenever --hyperlinked-source is passed.
* | Match new AST as per GHC wip/new-tree-one-paramAlan Zimmerman2017-06-051-27/+27
|/ | | | See https://ghc.haskell.org/trac/ghc/wiki/ImplementingTreesThatGrow
* Match changes in GHC wip/T3384 branchAlan Zimmerman2016-12-071-8/+8
|
* Add support for unboxed sumsÖmer Sinan Ağacan2016-07-211-0/+1
|