aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
| | * | | StrictData: changes in HsBang typeAdam Sandberg Eriksson2015-07-083-14/+14
| | | | |
| | * | | StrictData: print correct strictness marksAdam Sandberg Eriksson2015-07-073-9/+14
| |/ / /
| * | | Update after wild card renaming refactoring in D613Thomas Winant2015-06-084-25/+37
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
| * | | ApiAnnotations : strings in warnings do not return SourceTextAlan Zimmerman2015-05-251-3/+3
| | |/ | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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.
| * | Track the new location of setRdrNameSpaceSimon Peyton Jones2015-05-131-1/+2
| | |
| * | Change ModuleTree Node to carry PackageKey and SourcePackageId to resolve #385Murray Campbell2015-05-112-21/+24
| | | | | | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
| * | Track API changes to support empty closed type familesAdam Gundry2015-05-043-9/+13
| | |
| * | Track change in API of TyConSimon Peyton Jones2015-05-011-2/+3
| | |
| * | --package-name and --package-version flagsMateusz Kowalczyk2015-03-153-25/+53
| | | | | | | | | | | | | | | | | | | | | | | | 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)
| * | Track changes in HsSyn for quasi-quotesSimon Peyton Jones2015-02-103-6/+0
| | |
| * | Follow API changes in D538Alan Zimmerman2015-01-168-69/+61
| | | | | | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
| * | Track naming change in DataConSimon Peyton Jones2015-01-081-3/+3
| | |
| * | Remove redundant constraints from haddock, discovered by ↵Simon Peyton Jones2015-01-061-1/+1
| | | | | | | | | | | | -fwarn-redundant-constraints
| * | Eliminate instanceHead' in favour of GHC's instanceSigSimon Peyton Jones2014-12-231-15/+1
| | | | | | | | | | | | | | | This is made possible by the elimination of "silent superclass parameters" in GHC
| * | Bump versions for ghc-7.11Herbert Valerio Riedel2014-12-222-2/+2
| | |
| * | Reset ghc-head with master's treeHerbert Valerio Riedel2014-12-220-0/+0
| |\ \ | | | | | | | | | | | | (this is an overwriting git merge of master into ghc-head)
| | * | For pattern synonyms, render "pattern" as a keywordDr. ERDI Gergo2014-11-293-11/+31
| | | |
| | * | Support for PartialTypeSignaturesThomas Winant2014-11-288-56/+73
| | | |
| | * | Follow API changes in D426Alan Zimmerman2014-11-218-86/+120
| | | | | | | | | | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
| | * | Changes to reflect refactoring in GHC as part of #7484Richard Eisenberg2014-11-201-0/+1
| | | |
| | * | Follow changes from #9812Jan Stolarek2014-11-201-11/+8
| | | |
| | * | Update Haddock to new pattern synonym type signature syntaxDr. ERDI Gergo2014-11-207-104/+105
| | | |
| | * | Make compatible with `deepseq-1.4.0.0`Herbert Valerio Riedel2014-11-151-3/+3
| | | | | | | | | | | | | | | | ...by not relying on the default method implementation of `rnf`
| | * | Remove overlapping pattern matchAustin Seipp2014-10-311-1/+0
| | | | | | | | | | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
| | * | reflect ForeignType constructore removalYuras Shumovich2014-10-311-4/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Reviewers: austin Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D358
| | * | Collapse user-defined section by default (re #335)Herbert Valerio Riedel2014-10-311-2/+2
| | | |
| | * | Experimental support for collapsable headersMateusz Kowalczyk2014-10-294-29/+117
| | | | | | | | | | | | | | | | (cherry picked from commit e2ed3b9d8dfab09f1b1861dbc8e74f08e137ebcc)
| | * | Add .arclint file.Austin Seipp2014-10-201-0/+24
| | | | | | | | | | | | | | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
| | * | Add an .arcconfig file.Austin Seipp2014-10-201-0/+5
| | | | | | | | | | | | | | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
| | * | Fix use-after-close lazy IO bugEdward Z. Yang2014-10-091-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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>
| | * | Revert "Fix import of 'empty' due to AMP."Herbert Valerio Riedel2014-09-261-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | This reverts commit 0cc5bc85e9fca92ab712b68a2ba2c0dd9d3d79f4 since it turns out we don't need to re-export `empty` from Control.Monad after all.
| | * | Revert "Revert "Followup changes to addition of -fwarn-context-quantification""Edward Z. Yang2014-09-183-2/+7
| | | | | | | | | | | | | | | | | | | | This reverts commit db14fd8ab4fab43694139bc203808b814eafb2dc. It's in HEAD now.
| | * | Revert "Followup changes to addition of -fwarn-context-quantification"Herbert Valerio Riedel2014-09-193-7/+2
| | | | | | | | | | | | | | | | | | | | | | | | 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.
| | * | Disambiguate string-literalsHerbert Valerio Riedel2014-09-191-4/+4
| | | | | | | | | | | | | | | | | | | | GHC fails type-inference with `OverloadedStrings` + `Data.Foldable.elem` otherwise.
| | * | Properly render package ID (not package key) in index, fixes #329.Edward Z. Yang2014-09-183-13/+18
| | | | | | | | | | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
| | * | Followup changes to addition of -fwarn-context-quantification (GHC Trac #4426)Krzysztof Gogolewski2014-09-143-2/+7
| | | |
| | * | Bump `base` constraint for AMPHerbert Valerio Riedel2014-09-091-2/+2
| | | |
| | * | Fix import of 'empty' due to AMP.Austin Seipp2014-09-091-1/+1
| | | | | | | | | | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
| | * | Follow changes to TypeAnnot in GHC HEADAlan Zimmerman2014-09-052-11/+26
| | | | | | | | | | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
| | * | Import Data.Word w/o import-listHerbert Valerio Riedel2014-08-311-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
| | * | Changes due to ghc api changes in package representationDuncan Coutts2014-08-273-27/+17
| | | | | | | | | | | | | | | | | | | | | | | | | | | | 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.
* | | | Fix fallout from wildcards refactoringBen Gamari2015-12-164-9/+23
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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.
* | | | Types: Add Outputable[Bndr] DocName instancesBen Gamari2015-12-161-0/+8
| | | |
* | | | Update for D1200Ben Gamari2015-12-164-4/+8
| | | |
* | | | WarningsMatthew Pickering2015-12-148-23/+9
| | | |
* | | | Changes to compile with 8.0Matthew Pickering2015-12-148-82/+82
| | | |
* | | | Update for type=kindsRichard Eisenberg2015-12-147-50/+62
| | | |
* | | | Placeholder for record style GADT declarationAlan Zimmerman2015-12-141-3/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
* | | | Matching changes for #11028Alan Zimmerman2015-12-148-121/+176
| | | |
* | | | Canonicalise Monad instancesHerbert Valerio Riedel2015-12-143-10/+10
| | | |