Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update for changes in GHC's Pretty | Andreas Klebinger | 2020-11-24 | 1 | -1/+1 |
| | |||||
* | Adapt to HsOuterTyVarBndrs | Ryan Scott | 2020-10-30 | 3 | -82/+139 |
| | | | | | These changes accompany ghc/ghc!4107, which aims to be a fix for #16762. | ||||
* | Adapt to HsConDecl{H98,GADT}Details split | Ryan Scott | 2020-10-30 | 3 | -30/+34 |
| | | | | Needed for GHC#18844. | ||||
* | GHC.Driver.Types refactoring (#1242) | Sylvain Henry | 2020-10-26 | 2 | -3/+4 |
| | |||||
* | Match GHC, adding IsUnicodeSyntax field to HsFunTy and HsScaled | Alan Zimmerman | 2020-10-19 | 1 | -1/+2 |
| | |||||
* | Add whitespace in: map ($ v) | Vladislav Zavialov | 2020-10-15 | 1 | -3/+3 |
| | |||||
* | Don't pass the HomeUnitId (#1239) | Sylvain Henry | 2020-10-12 | 1 | -1/+0 |
| | |||||
* | Adapt to GHC parser changes | Sylvain Henry | 2020-09-30 | 1 | -1/+2 |
| | |||||
* | Update for parser (#1234) | Sylvain Henry | 2020-09-29 | 2 | -5/+3 |
| | |||||
* | Updates for the new linear types syntax: a %p -> b | Vladislav Zavialov | 2020-09-26 | 1 | -0/+1 |
| | |||||
* | Match GHC for #18639, remove GENERATED pragma | Alan Zimmerman | 2020-09-07 | 1 | -2/+0 |
| | |||||
* | Remove Ord FastString instance | Sylvain Henry | 2020-08-17 | 1 | -2/+2 |
| | |||||
* | Fix after HomeUnit | Sylvain Henry | 2020-08-12 | 1 | -1/+2 |
| | |||||
* | Fix after Outputable refactoring | Sylvain Henry | 2020-08-05 | 4 | -6/+10 |
| | |||||
* | Update for modular ping pong | Zubin Duggal | 2020-07-23 | 3 | -6/+2 |
| | |||||
* | Sync with GHC removing {-# CORE #-} pragma | Krzysztof Gogolewski | 2020-07-12 | 1 | -2/+0 |
| | | | | See ghc ticket #18048 | ||||
* | 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 |
| | |||||
* | Adapt Haddock to LinearTypes | Krzysztof Gogolewski | 2020-06-17 | 5 | -26/+32 |
| | | | | See ghc/ghc!852. | ||||
* | Use HsForAllTelescope (GHC#18235) | Ryan Scott | 2020-06-13 | 3 | -41/+45 |
| | |||||
* | Merge pull request #1202 from hsyl20/wip/hsyl20/unitid-ii | Ben Gamari | 2020-06-09 | 2 | -8/+9 |
|\ | | | | | Fix after unit refactoring | ||||
| * | Fix after unit refactoring | Sylvain Henry | 2020-06-08 | 2 | -8/+9 |
| | | |||||
* | | Changes for GHC#18191 | Ryan Scott | 2020-06-05 | 2 | -2/+2 |
|/ | | | | See https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3337. | ||||
* | update for hiefile-typeclass-info | Zubin Duggal | 2020-05-24 | 1 | -14/+20 |
| | |||||
* | Explicit Specificity Support for Haddock | Gert-Jan Bottu | 2020-05-20 | 3 | -19/+52 |
| | |||||
* | Atomic update of NameCache in readHieFile | Zubin Duggal | 2020-05-04 | 1 | -3/+5 |
| | |||||
* | Fix for GHC.Unit.* modules | Sylvain Henry | 2020-04-27 | 3 | -3/+3 |
| | |||||
* | UnitId has been renamed into Unit | Sylvain Henry | 2020-04-27 | 2 | -2/+2 |
| | |||||
* | Module structure | Sylvain Henry | 2020-04-24 | 9 | -17/+16 |
| | |||||
* | Module renaming | Sylvain Henry | 2020-04-10 | 2 | -4/+4 |
| | |||||
* | Make NoExtCon fields strict | Ryan Scott | 2020-04-07 | 3 | -22/+0 |
| | | | | | These changes are a part of a fix for [GHC#17992](https://gitlab.haskell.org/ghc/ghc/issues/17992). | ||||
* | Modules: Types | Sylvain Henry | 2020-03-20 | 12 | -29/+29 |
| | |||||
* | Modules: Core (#13009) | Sylvain Henry | 2020-03-02 | 1 | -1/+1 |
| | |||||
* | Ignore the BufLoc/BufSpan added in GHC's !2516 | Vladislav Zavialov | 2020-02-28 | 3 | -9/+11 |
| | |||||
* | Modules: Driver (#13009) | Sylvain Henry | 2020-02-19 | 2 | -2/+2 |
| | |||||
* | No MonadFail/Alternative for P | Vladislav Zavialov | 2020-02-16 | 1 | -26/+28 |
| | |||||
* | Changes for GHC#17566 | Ryan Scott | 2020-01-25 | 3 | -4/+4 |
| | | | | See https://gitlab.haskell.org/ghc/ghc/merge_requests/2469 | ||||
* | Fix after Iface modules renaming | Sylvain Henry | 2020-01-02 | 3 | -7/+7 |
| | |||||
* | Update Hyperlinker.Parser.classify to use ITdollar | Vladislav Zavialov | 2019-11-24 | 1 | -4/+2 |
| | |||||
* | Refactor for OutputableBndrId changes | Sebastian Graf | 2019-10-25 | 1 | -2/+2 |
| | |||||
* | Remove spaces around @-patterns (#1093) | Vladislav Zavialov | 2019-09-28 | 2 | -3/+3 |
| | | | This is needed to compile `haddock` when [GHC Proposal #229](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0229-whitespace-bang-patterns.rst) is implemented. | ||||
* | Changes for #15247 | Ryan Scott | 2019-07-03 | 3 | -50/+50 |
| | |||||
* | update for new way to store hiefile headers | Zubin Duggal | 2019-05-30 | 1 | -2/+3 |
| | |||||
* | Changes for #16110/#16356 | Ryan Scott | 2019-05-14 | 1 | -11/+2 |
| | |||||
* | Visible dependent quantification (#16326) changes | Ryan Scott | 2019-02-27 | 4 | -25/+47 |
| | |||||
* | Match GHC changes for T16185 | Alec Theriault | 2019-02-22 | 1 | -2/+2 |
| | | | | | | | `FunTy` now has an `AnonArgFlag` that indicates whether the arrow is a `t1 => t2` or `t1 -> t2`. This commit shouldn't change any functionality in Haddock. | ||||
* | Parser changes to match !380 | Vladislav Zavialov | 2019-02-17 | 1 | -6/+9 |
| | |||||
* | Remove workaround for now-fixed Clang CPP bug (#1028) | Alec Theriault | 2019-02-11 | 2 | -48/+3 |
| | | | | | | | | | | Before LLVM 6.0.1 (or 10.0 on Apple LLVM), there was a bug where lines that started with an octothorpe but turned out not to lex like pragmas would have an extra line added after them. Since this bug has been fixed upstream and that it doesn't have dire consequences anyways, the workaround is not really worth it anymore - we can just tell people to update their clang version (or re-structure their pragma code). | ||||
* | Matching changes in GHC for #16236 | Alan Zimmerman | 2019-02-05 | 2 | -5/+5 |
| | |||||
* | Miscellaneous improvements to `Convert` (#1020) | Alec Theriault | 2019-02-03 | 2 | -7/+12 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Now that Haddock is moving towards working entirely over `.hi` and `.hie` files, all declarations and types are going to be synthesized via the `Convert` module. In preparation for this change, here are a bunch of fixes to this module: * Add kind annotations to type variables in `forall`'s whose kind is not `Type`, unless the kind can be inferred from some later use of the variable. See `implicitForAll` and `noKindTyVars` in particular if you wish to dive into this. * Properly detect `HsQualTy` in `synifyType`. This is done by following suit with what GHC's `toIfaceTypeX` does and checking the first argument of `FunTy{} :: Type` to see if it classified as a given/wanted in the typechecker (see `isPredTy`). * Beef up the logic around figuring out when an explicit `forall` is needed. This includes: observing if any of the type variables will need kind signatures, if the inferred type variable order _without_ a forall will still match the one GHC claims, and some other small things. * Add some (not yet used) functionality for default levity polymorphic type signatures. This functionality similar to `fprint-explicit-runtime-reps`. Couple other smaller fixes only worth mentioning: * Show the family result signature only when it isn't `Type` * Fix rendering of implicit parameters in the LaTeX and Hoogle backends * Better handling of the return kind of polykinded H98 data declarations * Class decls produced by `tyThingToLHsDecl` now contain associated type defaults and default method signatures when appropriate * Filter out more `forall`'s in pattern synonyms |