Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| | | | * | Fix #1004 with a pinch of dropForAlls | Ryan Scott | 2019-01-27 | 3 | -1/+2076 | |
| | | | | | ||||||
| | | | * | Keep forall on H98 existential data constructors (#1003) | Alec Theriault | 2019-01-23 | 4 | -11/+27 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The information about whether or not there is a source-level `forall` is already available on a `ConDecl` (as `con_forall`), so we should use it instead of always assuming `False`! Fixes #1002. | |||||
| | | | * | Print kinded tyvars in constructors for Hoogle (#993) | Alec Theriault | 2019-01-07 | 3 | -2/+22 | |
| | | | | | | | | | | | | | | | Fixes #992 | |||||
| | | | * | Load plugins when compiling each module (#983) | Alec Theriault | 2018-12-20 | 2 | -6/+9 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * WIP: Load (typechecker) plugins from language pragmas * Revert "Load plugins when starting a GHC session (#905)" This reverts commit 72d82e52f2a6225686d9668790ac33c1d1743193. * Simplify plugin initialization code | |||||
| | | | * | More uniform handling of `forall`'s in HTML/LaTeX | Alec Theriault | 2018-11-26 | 7 | -72/+259 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * don't forget to print explicit `forall`'s when there are arg docs * when printing an explicit `forall`, print all tyvars Fixes #973 | |||||
| | | | * | Add blockquote styling | Alec Theriault | 2018-11-12 | 1 | -0/+7 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Matches b71da1feabf33efbbc517ac376bb690b5a604c2f from hackage-server. Fixes #967. | |||||
| | | | * | Rename 'NewOcean' theme to 'Linuwial' | Alec Theriault | 2018-11-11 | 107 | -179/+179 | |
| | | | | | ||||||
| | | * | | Fix bogus identifier defaulting | Alec Theriault | 2019-02-26 | 3 | -9/+160 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This avoids a situation in which an identifier would get defaulted to a completely different identifier. Prior to this commit, the 'Bug1035' test case would hyperlink 'Foo' into 'Bar'! Fixes #1035. | |||||
| | | * | | Better identifier parsing | Alec Theriault | 2019-02-25 | 21 | -135/+679 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * '(<|>)' and '`elem`' now get parsed and rendered properly as links * 'DbModule'/'DbUnitId' now properly get split apart into two links * tuple names now get parsed properly * some more small niceties... The identifier parsing code is more precise and more efficient (although to be fair: it is also longer and in its own module). On the rendering side, we need to pipe through information about backticks/parens/neither all the way through from renaming to the backends. In terms of impact: a total of 35 modules in the entirety of the bootlib + ghc lib docs change. The only "regression" is things like '\0'. These should be changed to @\\0@ (the path by which this previously worked seems accidental). | |||||
| | | * | | Support value/type namespaces on identifier links | Alec Theriault | 2019-02-25 | 17 | -39/+388 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Identifier links can be prefixed with a 'v' or 't' to indicate the value or type namespace of the desired identifier. For example: -- | Some link to a value: v'Data.Functor.Identity' -- -- Some link to a type: t'Data.Functor.Identity' The default is still the type (with a warning about the ambiguity) | |||||
| | * | | | Bump to GHC 8.10 | Ben Gamari | 2019-11-10 | 2 | -4/+3 | |
| | | | | | ||||||
| | * | | | Define `XRec` for location information and get rid of `HasSrcSpan` | Sebastian Graf | 2019-11-01 | 1 | -16/+3 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | In https://gitlab.haskell.org/ghc/ghc/merge_requests/1970 I propose a simpler way to encode location information into the GHC and Haddock AST while incurring no cost for e.g. TH which doesn't need location information. These are just changes that have to happen in lock step. | |||||
| * | | | | Match GHC, adding IsUnicodeSyntax field to HsFunTy and HsScaled | Alan Zimmerman | 2020-10-21 | 6 | -17/+20 | |
| | | | | | | | | | | | | | | | | | | | | (cherry picked from commit a7d1d8e034d25612d5d08ed8fdbf6f472aded4a1) | |||||
| * | | | | Updates for the new linear types syntax: a %p -> b | Vladislav Zavialov | 2020-09-30 | 1 | -0/+1 | |
| | | | | | ||||||
* | | | | | Match GHC, adding IsUnicodeSyntax field to HsFunTy and HsScaled | Alan Zimmerman | 2020-10-21 | 6 | -17/+20 | |
|/ / / / | | | | | | | | | | | | | (cherry picked from commit a7d1d8e034d25612d5d08ed8fdbf6f472aded4a1) | |||||
* | | | | Bump GHC version to 9.0 | Ben Gamari | 2020-07-28 | 3 | -4/+4 | |
| | | | | ||||||
* | | | | Sync with GHC removing {-# CORE #-} pragma | Krzysztof Gogolewski | 2020-07-12 | 1 | -2/+0 | |
| | | | | | | | | | | | | | | | | See ghc ticket #18048 | |||||
* | | | | Update for UniqFM changes. | Andreas Klebinger | 2020-07-02 | 1 | -7/+8 | |
| | | | | ||||||
* | | | | Handle LexicalNegation's ITprefixminus | Vladislav Zavialov | 2020-06-28 | 1 | -0/+1 | |
| | | | | ||||||
* | | | | Adapt Haddock for QualifiedDo | Matthías Páll Gissurarson | 2020-06-26 | 1 | -2/+2 | |
| | | | | ||||||
* | | | | Merge pull request #1204 from wz1000/wip/haddock-hstocore | Ben Gamari | 2020-06-24 | 5 | -224/+4 | |
|\ \ \ \ | | | | | | | | | | | Use functions exported from GHC.HsToCore.Docs | |||||
| * | | | | Use functions exported from HsToCore | Zubin Duggal | 2020-06-21 | 5 | -224/+4 | |
| | | | | | ||||||
* | | | | | Merge remote-tracking branch 'origin/ghc-head' into ghc-head | Ben Gamari | 2020-06-18 | 0 | -0/+0 | |
|\ \ \ \ \ | |/ / / / |/| | | | | ||||||
| * | | | | Merge pull request #1199 from bgamari/wip/ghc-8.12 | Ben Gamari | 2020-06-17 | 3 | -6/+6 | |
| |\ \ \ \ | | | | | | | | | | | | | haddock: Bounds bumps for GHC 8.12 | |||||
| | * | | | | haddock: Bounds bumps for GHC 8.12 | Ben Gamari | 2020-05-29 | 3 | -6/+6 | |
| | | | | | | ||||||
* | | | | | | Adapt Haddock to LinearTypes | Krzysztof Gogolewski | 2020-06-17 | 13 | -76/+118 | |
| | | | | | | | | | | | | | | | | | | | | | | | | See ghc/ghc!852. | |||||
* | | | | | | haddock: Bounds bumps for GHC 8.12 | Ben Gamari | 2020-06-13 | 3 | -6/+6 | |
|/ / / / / | ||||||
* | | | | | Use HsForAllTelescope (GHC#18235) | Ryan Scott | 2020-06-13 | 10 | -112/+198 | |
| | | | | | ||||||
* | | | | | Merge pull request #1202 from hsyl20/wip/hsyl20/unitid-ii | Ben Gamari | 2020-06-09 | 7 | -33/+33 | |
|\ \ \ \ \ | | | | | | | | | | | | | Fix after unit refactoring | |||||
| * | | | | | Fix after unit refactoring | Sylvain Henry | 2020-06-08 | 7 | -33/+33 | |
| | | | | | | ||||||
* | | | | | | Changes for GHC#18191 | Ryan Scott | 2020-06-05 | 3 | -3/+6 | |
|/ / / / / | | | | | | | | | | | | | | | | See https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3337. | |||||
* / / / / | testsuite: Update expected output for simplified subsumption | Ben Gamari | 2020-06-03 | 6 | -32/+32 | |
|/ / / / | ||||||
* | | | | Merge pull request #1185 from obsidiansystems/boot-disambig | Ben Gamari | 2020-05-29 | 1 | -56/+57 | |
|\ \ \ \ | | | | | | | | | | | isBootSummary now produces a result of type IsBootInterface | |||||
| * | | | | isBootSummary now produces a result of type IsBootInterface | Cale Gibbard | 2020-05-21 | 1 | -56/+57 | |
| | | | | | ||||||
* | | | | | update for hiefile-typeclass-info | Zubin Duggal | 2020-05-24 | 2 | -30/+60 | |
| | | | | | ||||||
* | | | | | Merge commit 'a8d7e66da4dcc3b242103271875261604be42d6e' into ghc-head | Ben Gamari | 2020-05-21 | 0 | -0/+0 | |
|\| | | | | ||||||
| * | | | | Explicit Specificity Support for Haddock | Gert-Jan Bottu | 2020-05-15 | 9 | -69/+124 | |
| | | | | | ||||||
* | | | | | Explicit Specificity Support for Haddock | Gert-Jan Bottu | 2020-05-20 | 9 | -69/+124 | |
| | | | | | ||||||
* | | | | | Merge pull request #1192 from hsyl20/hsyl20/modules-config | Ben Gamari | 2020-05-19 | 1 | -1/+1 | |
|\ \ \ \ \ | |/ / / / |/| | | | | Fix after Config module renaming | |||||
| * | | | | Fix after Config module renaming | Sylvain Henry | 2020-05-14 | 1 | -1/+1 | |
|/ / / / | ||||||
* | | | | Atomic update of NameCache in readHieFile | Zubin Duggal | 2020-05-04 | 1 | -3/+5 | |
| | | | | ||||||
* | | | | add dependency on exceptions because GHC.Exception was boiled down (ghc #18075) | Artem Pelenitsyn | 2020-05-03 | 4 | -6/+4 | |
| | | | | ||||||
* | | | | Merge pull request #1183 from hsyl20/wip/hsyl20/unitid | Ben Gamari | 2020-04-29 | 14 | -39/+37 | |
|\ \ \ \ | | | | | | | | | | | Refactoring of Unit code | |||||
| * | | | | Fix for GHC.Unit.* modules | Sylvain Henry | 2020-04-27 | 11 | -15/+13 | |
| | | | | | ||||||
| * | | | | UnitId has been renamed into Unit | Sylvain Henry | 2020-04-27 | 7 | -22/+22 | |
| | | | | | ||||||
| * | | | | Renamed UnitInfo fields | Sylvain Henry | 2020-04-27 | 2 | -4/+4 | |
| | | | | | ||||||
* | | | | | Merge pull request #1166 from hsyl20/wip/hsyl20/modules/utils | Ben Gamari | 2020-04-26 | 24 | -54/+50 | |
|\| | | | | | | | | | | | | | | Module structure | |||||
| * | | | | Module structure | Sylvain Henry | 2020-04-24 | 24 | -54/+50 | |
|/ / / / | ||||||
* | | | | Merge pull request #1165 from obsidiansystems/wip/ttg-con-pat | Ben Gamari | 2020-04-20 | 2 | -1/+4 | |
|\ \ \ \ | | | | | | | | | | | Trees that Grow refactor (GHC !2553) | |||||
| * \ \ \ | Merge remote-tracking branch 'origin/ghc-head' into wip/ttg-con-pat | Cale Gibbard | 2020-04-20 | 9 | -16/+15 | |
| |\ \ \ \ | |/ / / / |/| | | | |