Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| | | * | | Keep forall on H98 existential data constructors (#1003) | Alec Theriault | 2019-01-23 | 2 | -3/+3 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 | 1 | -2/+8 | |
| | | | | | | | | | | | | | | | Fixes #992 | |||||
| | | * | | Load plugins when compiling each module (#983) | Alec Theriault | 2018-12-20 | 1 | -1/+8 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * 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 | 2 | -60/+50 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * don't forget to print explicit `forall`'s when there are arg docs * when printing an explicit `forall`, print all tyvars Fixes #973 | |||||
| | | * | | Rename 'NewOcean' theme to 'Linuwial' | Alec Theriault | 2018-11-11 | 1 | -1/+1 | |
| | | | | | ||||||
| | * | | | Fix bogus identifier defaulting | Alec Theriault | 2019-02-26 | 1 | -9/+5 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 | 10 | -65/+141 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * '(<|>)' 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 | 4 | -21/+56 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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) | |||||
| * | | | | 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 | |
| | | | | | ||||||
* | | | | | Bump GHC version to 9.0 | Ben Gamari | 2020-07-28 | 1 | -1/+1 | |
| |_|_|/ |/| | | | ||||||
* | | | | 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 | |
| | | | | ||||||
* | | | | Use functions exported from HsToCore | Zubin Duggal | 2020-06-21 | 5 | -224/+4 | |
| | | | | ||||||
* | | | | Adapt Haddock to LinearTypes | Krzysztof Gogolewski | 2020-06-17 | 12 | -71/+117 | |
| | | | | | | | | | | | | | | | | See ghc/ghc!852. | |||||
* | | | | 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 | 6 | -30/+29 | |
|\ \ \ \ | | | | | | | | | | | Fix after unit refactoring | |||||
| * | | | | Fix after unit refactoring | Sylvain Henry | 2020-06-08 | 6 | -30/+29 | |
| | | | | | ||||||
* | | | | | Changes for GHC#18191 | Ryan Scott | 2020-06-05 | 3 | -3/+6 | |
|/ / / / | | | | | | | | | | | | | See https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3337. | |||||
* | | | | 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 | |
| | | | | | ||||||
| * | | | | Explicit Specificity Support for Haddock | Gert-Jan Bottu | 2020-05-15 | 8 | -68/+123 | |
| | | | | | ||||||
* | | | | | update for hiefile-typeclass-info | Zubin Duggal | 2020-05-24 | 1 | -14/+20 | |
| | | | | | ||||||
* | | | | | Explicit Specificity Support for Haddock | Gert-Jan Bottu | 2020-05-20 | 8 | -68/+123 | |
|/ / / / | ||||||
* | | | | 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 | 2 | -6/+2 | |
| | | | | ||||||
* | | | | Fix for GHC.Unit.* modules | Sylvain Henry | 2020-04-27 | 10 | -13/+12 | |
| | | | | ||||||
* | | | | UnitId has been renamed into Unit | Sylvain Henry | 2020-04-27 | 6 | -17/+17 | |
| | | | | ||||||
* | | | | Renamed UnitInfo fields | Sylvain Henry | 2020-04-27 | 2 | -4/+4 | |
| | | | | ||||||
* | | | | Module structure | Sylvain Henry | 2020-04-24 | 23 | -51/+47 | |
| | | | | ||||||
* | | | | Merge remote-tracking branch 'origin/ghc-head' into wip/ttg-con-pat | Cale Gibbard | 2020-04-20 | 8 | -15/+15 | |
|\ \ \ \ | ||||||
| * | | | | Module renaming | Sylvain Henry | 2020-04-10 | 8 | -15/+15 | |
| | | | | | ||||||
* | | | | | Rename XCollectPat -> CollectPass | Cale Gibbard | 2020-04-14 | 2 | -4/+4 | |
| | | | | | ||||||
* | | | | | Add instance of XCollectPat for DocNameI | Cale Gibbard | 2020-04-14 | 2 | -1/+4 | |
|/ / / / | ||||||
* | | | | Make NoExtCon fields strict | Ryan Scott | 2020-04-07 | 8 | -57/+1 | |
| | | | | | | | | | | | | | | | | | | | | These changes are a part of a fix for [GHC#17992](https://gitlab.haskell.org/ghc/ghc/issues/17992). | |||||
* | | | | Module renaming: amend previous patch | Sylvain Henry | 2020-04-05 | 3 | -3/+3 | |
| | | | | ||||||
* | | | | Modules: type checker | Sylvain Henry | 2020-03-30 | 3 | -4/+4 | |
| | | | | ||||||
* | | | | Merge commit '3c2944c037263b426c4fe60a3424c27b852ea71c' into HEAD | Ben Gamari | 2020-03-23 | 11 | -16/+16 | |
|\ \ \ \ | | | | | | | | | | | | | | | | More changes from the GHC types module refactoring. | |||||
| * | | | | Modules: Types | Sylvain Henry | 2020-03-20 | 27 | -89/+89 | |
| | | | | | ||||||
* | | | | | Modules: Types | Sylvain Henry | 2020-03-18 | 27 | -89/+89 | |
|/ / / / | ||||||
* | | | | Merge pull request #1130 from hsyl20/wip/hsyl20-modules-core2 | Ben Gamari | 2020-03-16 | 5 | -19/+19 | |
|\ \ \ \ | | | | | | | | | | | Modules: Core (#13009) | |||||
| * | | | | Modules: Core (#13009) | Sylvain Henry | 2020-03-02 | 5 | -19/+19 | |
| | | | | | ||||||
* | | | | | Changes in GHC's !1913. | Richard Eisenberg | 2020-03-09 | 2 | -5/+5 | |
|/ / / / | ||||||
* | | | | Ignore the BufLoc/BufSpan added in GHC's !2516 | Vladislav Zavialov | 2020-02-28 | 5 | -12/+14 | |
| | | | | ||||||
* | | | | Modules: Core (#13009) | Sylvain Henry | 2020-02-25 | 1 | -1/+1 | |
| | | | | ||||||
* | | | | Merge remote-tracking branch 'upstream/ghc-head' into HEAD | Ben Gamari | 2020-02-23 | 1 | -1/+1 | |
|\ \ \ \ | ||||||
| * \ \ \ | Merge pull request #1129 from obsidiansystems/wip/fix-stage1-build | Ben Gamari | 2020-02-18 | 1 | -1/+1 | |
| |\ \ \ \ | | | | | | | | | | | | | Fix build of haddock in stage1 |