Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | Follow API changes in D538 | Alan Zimmerman | 2015-01-16 | 8 | -69/+61 | |
| | | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com> | |||||
| * | Track naming change in DataCon | Simon Peyton Jones | 2015-01-08 | 1 | -3/+3 | |
| | | ||||||
| * | Remove redundant constraints from haddock, discovered by ↵ | Simon Peyton Jones | 2015-01-06 | 1 | -1/+1 | |
| | | | | | | | | -fwarn-redundant-constraints | |||||
| * | Eliminate instanceHead' in favour of GHC's instanceSig | Simon Peyton Jones | 2014-12-23 | 1 | -15/+1 | |
| | | | | | | | | | | This is made possible by the elimination of "silent superclass parameters" in GHC | |||||
| * | Bump versions for ghc-7.11 | Herbert Valerio Riedel | 2014-12-22 | 2 | -2/+2 | |
| | | ||||||
| * | Reset ghc-head with master's tree | Herbert Valerio Riedel | 2014-12-22 | 0 | -0/+0 | |
| |\ | | | | | | | | | | (this is an overwriting git merge of master into ghc-head) | |||||
| | * | For pattern synonyms, render "pattern" as a keyword | Dr. ERDI Gergo | 2014-11-29 | 3 | -11/+31 | |
| | | | ||||||
| | * | Support for PartialTypeSignatures | Thomas Winant | 2014-11-28 | 8 | -56/+73 | |
| | | | ||||||
| | * | Follow API changes in D426 | Alan Zimmerman | 2014-11-21 | 8 | -86/+120 | |
| | | | | | | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com> | |||||
| | * | Changes to reflect refactoring in GHC as part of #7484 | Richard Eisenberg | 2014-11-20 | 1 | -0/+1 | |
| | | | ||||||
| | * | Follow changes from #9812 | Jan Stolarek | 2014-11-20 | 1 | -11/+8 | |
| | | | ||||||
| | * | Update Haddock to new pattern synonym type signature syntax | Dr. ERDI Gergo | 2014-11-20 | 7 | -104/+105 | |
| | | | ||||||
| | * | Make compatible with `deepseq-1.4.0.0` | Herbert Valerio Riedel | 2014-11-15 | 1 | -3/+3 | |
| | | | | | | | | | | | | ...by not relying on the default method implementation of `rnf` | |||||
| | * | Remove overlapping pattern match | Austin Seipp | 2014-10-31 | 1 | -1/+0 | |
| | | | | | | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com> | |||||
| | * | reflect ForeignType constructore removal | Yuras Shumovich | 2014-10-31 | 1 | -4/+0 | |
| | | | | | | | | | | | | | | | | | | | | | | | | Reviewers: austin Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D358 | |||||
| | * | Collapse user-defined section by default (re #335) | Herbert Valerio Riedel | 2014-10-31 | 1 | -2/+2 | |
| | | | ||||||
| | * | Experimental support for collapsable headers | Mateusz Kowalczyk | 2014-10-29 | 4 | -29/+117 | |
| | | | | | | | | | | | | (cherry picked from commit e2ed3b9d8dfab09f1b1861dbc8e74f08e137ebcc) | |||||
| | * | Add .arclint file. | Austin Seipp | 2014-10-20 | 1 | -0/+24 | |
| | | | | | | | | | | | | Signed-off-by: Austin Seipp <austin@well-typed.com> | |||||
| | * | Add an .arcconfig file. | Austin Seipp | 2014-10-20 | 1 | -0/+5 | |
| | | | | | | | | | | | | Signed-off-by: Austin Seipp <austin@well-typed.com> | |||||
| | * | Fix use-after-close lazy IO bug | Edward Z. Yang | 2014-10-09 | 1 | -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 Riedel | 2014-09-26 | 1 | -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. Yang | 2014-09-18 | 3 | -2/+7 | |
| | | | | | | | | | | | | | | | This reverts commit db14fd8ab4fab43694139bc203808b814eafb2dc. It's in HEAD now. | |||||
| | * | Revert "Followup changes to addition of -fwarn-context-quantification" | Herbert Valerio Riedel | 2014-09-19 | 3 | -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-literals | Herbert Valerio Riedel | 2014-09-19 | 1 | -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. Yang | 2014-09-18 | 3 | -13/+18 | |
| | | | | | | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | |||||
| | * | Followup changes to addition of -fwarn-context-quantification (GHC Trac #4426) | Krzysztof Gogolewski | 2014-09-14 | 3 | -2/+7 | |
| | | | ||||||
| | * | Bump `base` constraint for AMP | Herbert Valerio Riedel | 2014-09-09 | 1 | -2/+2 | |
| | | | ||||||
| | * | Fix import of 'empty' due to AMP. | Austin Seipp | 2014-09-09 | 1 | -1/+1 | |
| | | | | | | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com> | |||||
| | * | Follow changes to TypeAnnot in GHC HEAD | Alan Zimmerman | 2014-09-05 | 2 | -11/+26 | |
| | | | | | | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com> | |||||
| | * | Import Data.Word w/o import-list | Herbert Valerio Riedel | 2014-08-31 | 1 | -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 representation | Duncan Coutts | 2014-08-27 | 3 | -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 refactoring | Ben Gamari | 2015-12-16 | 4 | -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 instances | Ben Gamari | 2015-12-16 | 1 | -0/+8 | |
| | | | ||||||
* | | | Update for D1200 | Ben Gamari | 2015-12-16 | 4 | -4/+8 | |
| | | | ||||||
* | | | Warnings | Matthew Pickering | 2015-12-14 | 8 | -23/+9 | |
| | | | ||||||
* | | | Changes to compile with 8.0 | Matthew Pickering | 2015-12-14 | 8 | -82/+82 | |
| | | | ||||||
* | | | Update for type=kinds | Richard Eisenberg | 2015-12-14 | 7 | -50/+62 | |
| | | | ||||||
* | | | Placeholder for record style GADT declaration | Alan Zimmerman | 2015-12-14 | 1 | -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 #11028 | Alan Zimmerman | 2015-12-14 | 8 | -121/+176 | |
| | | | ||||||
* | | | Canonicalise Monad instances | Herbert Valerio Riedel | 2015-12-14 | 3 | -10/+10 | |
| | | | ||||||
* | | | Wibble | Simon Peyton Jones | 2015-12-14 | 1 | -1/+1 | |
| | | | ||||||
* | | | Update to match GHC wip/T11019 | Alan Zimmerman | 2015-12-14 | 7 | -22/+23 | |
| | | | ||||||
* | | | Undo msHsFilePath change. | Edward Z. Yang | 2015-12-14 | 1 | -3/+1 | |
| | | | | | | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | |||||
* | | | Eliminate support for deprecated GADT syntax | Ben Gamari | 2015-12-14 | 1 | -4/+2 | |
| | | | | | | | | | | | | Follows from GHC D1460. | |||||
* | | | Change for IEThingWith | Matthew Pickering | 2015-12-14 | 1 | -1/+1 | |
| | | | ||||||
* | | | Matching change GHC #11017 BooleanFormula located | Alan Zimmerman | 2015-12-14 | 4 | -9/+12 | |
| | | | ||||||
* | | | Relax upper bound on `base` to allow base-4.9 | Herbert Valerio Riedel | 2015-12-14 | 3 | -3/+3 | |
| | | | ||||||
* | | | Account for Typeable changes | Ben Gamari | 2015-12-14 | 1 | -37/+32 | |
| | | | | | | | | | | | | The treatment of type families changed. | |||||
* | | | Track change to PatSyn.patSynSig | Simon Peyton Jones | 2015-12-14 | 1 | -1/+8 | |
| | | | ||||||
* | | | More adaption to wildcard-refactor | Simon Peyton Jones | 2015-12-14 | 3 | -81/+85 | |
| | | |