| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
| |\ \ \
| | | | |
| | | | | |
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>
|
| | | |
|
| | |
| | |
| | |
| | | |
-fwarn-redundant-constraints
|
| | |
| | |
| | |
| | |
| | | |
This is made possible by the elimination of "silent superclass
parameters" in GHC
|
| | | |
|
| |\ \
| | | |
| | | |
| | | | |
(this is an overwriting git merge of master into ghc-head)
|
| | | | |
|
| | | | |
|
| | | |
| | | |
| | | |
| | | | |
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
| | | | |
|
| | | | |
|
| | | | |
|
| | | |
| | | |
| | | |
| | | | |
...by not relying on the default method implementation of `rnf`
|
| | | |
| | | |
| | | |
| | | | |
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Reviewers: austin
Reviewed By: austin
Differential Revision: https://phabricator.haskell.org/D358
|
| | | | |
|
| | | |
| | | |
| | | |
| | | | |
(cherry picked from commit e2ed3b9d8dfab09f1b1861dbc8e74f08e137ebcc)
|
| | | |
| | | |
| | | |
| | | | |
Signed-off-by: Austin Seipp <austin@well-typed.com>
|
| | | |
| | | |
| | | |
| | | | |
Signed-off-by: Austin Seipp <austin@well-typed.com>
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Make `getPrologue` force `parseParas dflags str` before returning. Without this,
it will attempt to read from the file after it is closed, with unspecified and
generally bad results.
Signed-off-by: David Feuer <David.Feuer@gmail.com>
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
This reverts commit 0cc5bc85e9fca92ab712b68a2ba2c0dd9d3d79f4 since
it turns out we don't need to re-export `empty` from Control.Monad after
all.
|
| | | |
| | | |
| | | |
| | | |
| | | | |
This reverts commit db14fd8ab4fab43694139bc203808b814eafb2dc.
It's in HEAD now.
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
This reverts commit 4023817d7c0e46db012ba2eea28022626841ca9b temporarily
as the respective feature hasn't landed in GHC HEAD yet, but this commit
blocks later commits from being referenced in GHC HEAD.
|
| | | |
| | | |
| | | |
| | | |
| | | | |
GHC fails type-inference with `OverloadedStrings` + `Data.Foldable.elem`
otherwise.
|
| | | |
| | | |
| | | |
| | | | |
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
|
| | | | |
|
| | | | |
|
| | | |
| | | |
| | | |
| | | | |
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
| | | |
| | | |
| | | |
| | | | |
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
This is needed to keep the compilation warning free (and thus pass GHC's
./validate) regardless of whether Word is re-exported from Prelude or not
See https://ghc.haskell.org/trac/ghc/ticket/9531 for more details
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Also fix a bug with finding the package name and version given a
module. This had become wrong due to the package key changes (it was
very hacky in the first place). We now look up the package key in the
package db to get the package info properly.
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
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
|
| | | | |
|