| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
The wildcard refactoring was introduced a new type of signature,
`ClassOpSig`, which is carried by typeclasses. The original patch
adapting Haddock for this change missed a few places where this
constructor needed to be handled, resulting in no class methods
in documentation produced by Haddock.
Additionally, this moves and renames the `isVanillaLSig` helper from
GHC's HsBinds module into GhcUtils, since it is only used by Haddock.
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
A GADT Declaration is now presented as
CmmCondBranch :: {..} -> CmmNode O C
cml_pred :: CmmExpr
cml_true, cml_false :: !Label
cml_likely :: Maybe Bool
for
CmmCondBranch :: { -- conditional branch
cml_pred :: CmmExpr,
cml_true, cml_false :: ULabel,
cml_likely :: Maybe Bool -- likely result of the conditional,
-- if known
} -> CmmNode O C
|
| | | | |
|
| | | | |
|
| | | | |
|
| |\ \ \ |
|
| | | | | |
|
| |\| | | |
|
| | | | |
| | | | |
| | | | |
| | | | | |
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
|
| | | | | |
|
| |\| | | |
|
| | | | |
| | | | |
| | | | |
| | | | | |
Follows from GHC D1460.
|
| | | | | |
|
| | | | | |
|
| |\| | |
| | | | |
| | | | |
| | | | |
| | | | | |
Conflicts:
haddock-api/src/Haddock/Convert.hs
|
| | | | | |
|
| | | | |
| | | | |
| | | | |
| | | | | |
The treatment of type families changed.
|
| | | | | |
|
| | | | | |
|
| | | | |
| | | | |
| | | | |
| | | | | |
Still incomplete
|
| | | | |
| | | | |
| | | | |
| | | | | |
Not yet complete (but on a wip/ branch)
|
| |/ / / |
|
| | | |
| | | |
| | | |
| | | |
| | | | |
This compiles, but will probably need more work to produce good
documentation when the DuplicateRecordFields extension is used.
|
| | | |
| | | |
| | | |
| | | | |
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
|
| |\ \ \
| | | | |
| | | | | |
Remove PhaseFailed
|
| |/ / / |
|
| | | |
| | | |
| | | |
| | | | |
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
|
| | | | |
|
| | | | |
|
| |\ \ \
| | | | |
| | | | | |
account for changes to ipClass
|
| |/ / / |
|
| | | | |
|
| |\ \ \
| | | | |
| | | | | |
HsBang is split into HsSrcBang and HsImplBang
|
| |/ / /
| | | |
| | | |
| | | |
| | | | |
With recent changes in GHC handling of strictness annotations in Haddock
is simplified.
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Phab:D907 introduced SourceText for a number of data types, by replacing
FastString with (SourceText,FastString). Since this has an Outputable
instance, no warnings are generated when ppr is called on it, but
unexpected output is generated. See Phab:D1096 for an example of this.
Replace the (SourceText,FastString) tuples with a new data type
data WithSourceText = WithSourceText SourceText FastString
Trac ticket: #10692
|
| |\ \ \
| | | | |
| | | | | |
Merge for GHC D1033
|
| | | | | |
|
| |/ / / |
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Summary:
* Move `Post*` type instances to `Haddock.Types` as other modules than
`Haddock.Interface.Rename` will rely on these type instances.
* Update after wild card renaming refactoring in D613.
Reviewers: simonpj, austin
Reviewed By: austin
Differential Revision: https://phabricator.haskell.org/D954
GHC Trac Issues: #10098
|
| | |/
| |/|
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
The strings used in a WARNING pragma are captured via
strings :: { Located ([AddAnn],[Located FastString]) }
: STRING { sL1 $1 ([],[L (gl $1) (getSTRING $1)]) }
..
The STRING token has a method getSTRINGs that returns the original
source text for a string.
A warning of the form
{-# WARNING Logic
, mkSolver
, mkSimpleSolver
, mkSolverForLogic
, solverSetParams
, solverPush
, solverPop
, solverReset
, solverGetNumScopes
, solverAssertCnstr
, solverAssertAndTrack
, solverCheck
, solverCheckAndGetModel
, solverGetReasonUnknown
"New Z3 API support is still incomplete and fragile: \
\you may experience segmentation faults!"
#-}
returns the concatenated warning string rather than the original source.
|
| | | |
|
| | |
| | |
| | |
| | | |
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
| | | |
|
| | | |
|
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
Used for --hoogle amongst other things. Now we need to teach cabal to
use it. The situation is still a bit sub-par because if the flags aren't
passed in, the crash will occur. Closes #353.
(cherry picked from commit 8e06728afb0784128ab2df0be7a5d7a191d30ff4)
|
| | | |
|
| | |
| | |
| | |
| | | |
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|