aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/src/Haddock/Interface/Specialize.hs
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Follow changes to LHsSigWcTypeSimon Peyton Jones2016-06-131-2/+2
|
* WarningsMatthew Pickering2015-12-141-5/+6
|
* Changes to compile with 8.0Matthew Pickering2015-12-141-40/+38
|
* Add support for sugaring built-in function syntax.Łukasz Hanuszczak2015-08-211-1/+4
|
* Add basic support for sugaring infix type operators.Łukasz Hanuszczak2015-08-211-1/+7
|
* Add some documentation for instance head specializer.Łukasz Hanuszczak2015-08-211-0/+2
|
* Refactor specializer module to be independent from XHTML backend.Łukasz Hanuszczak2015-08-211-0/+396