aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | 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
| | | |
* | | | WibbleSimon Peyton Jones2015-12-141-1/+1
| | | |
* | | | Update to match GHC wip/T11019Alan Zimmerman2015-12-147-22/+23
| | | |
* | | | Undo msHsFilePath change.Edward Z. Yang2015-12-141-3/+1
| | | | | | | | | | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* | | | Eliminate support for deprecated GADT syntaxBen Gamari2015-12-141-4/+2
| | | | | | | | | | | | | | | | Follows from GHC D1460.
* | | | Change for IEThingWithMatthew Pickering2015-12-141-1/+1
| | | |
* | | | Matching change GHC #11017 BooleanFormula locatedAlan Zimmerman2015-12-144-9/+12
| | | |
* | | | Relax upper bound on `base` to allow base-4.9Herbert Valerio Riedel2015-12-143-3/+3
| | | |
* | | | Account for Typeable changesBen Gamari2015-12-141-37/+32
| | | | | | | | | | | | | | | | The treatment of type families changed.
* | | | Track change to PatSyn.patSynSigSimon Peyton Jones2015-12-141-1/+8
| | | |
* | | | More adaption to wildcard-refactorSimon Peyton Jones2015-12-143-81/+85
| | | |
* | | | Work on updating Haddock to wip/spj-wildard-recactorSimon Peyton Jones2015-12-143-99/+63
| | | | | | | | | | | | | | | | Still incomplete
* | | | Follow changes to HsTYpeSimon Peyton Jones2015-12-145-104/+105
| | | | | | | | | | | | | | | | Not yet complete (but on a wip/ branch)
* | | | Track wip/spj-wildcard-refactor on main repoSimon Peyton Jones2015-12-145-61/+80
| | | |
* | | | Roughly fix up haddock for DuplicateRecordFields changesAdam Gundry2015-12-149-26/+45
| | | | | | | | | | | | | | | | | | | | This compiles, but will probably need more work to produce good documentation when the DuplicateRecordFields extension is used.
* | | | s/PackageKey/UnitId/g and s/packageKey/unitId/gEdward Z. Yang2015-12-147-19/+22
| | | | | | | | | | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* | | | Create Process: removed PhaseFailedTamar Christina2015-12-141-5/+2
| | | |
* | | | Track msHsFilePath change.Edward Z. Yang2015-12-141-1/+3
| | | | | | | | | | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
* | | | React to refactoring CoAxiom branch lists.Richard Eisenberg2015-12-141-1/+1
| | | |
* | | | Follow changes from #6018Jan Stolarek2015-12-143-22/+96
| | | |
* | | | account for changes to ipClassEric Seidel2015-12-141-3/+2
| | | |
* | | | Follow changes in GHC build systemThomas Miedema2015-12-141-2/+2
| | | |
* | | | HsBang is split into HsSrcBang and HsImplBangAdam Sandberg Eriksson2015-12-143-18/+10
| | | | | | | | | | | | | | | | | | | | With recent changes in GHC handling of strictness annotations in Haddock is simplified.
* | | | Replace (SourceText,FastString) with WithSourceText data typeAlan Zimmerman2015-12-141-3/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
* | | | StrictData: changes in HsBang typeAdam Sandberg Eriksson2015-12-143-14/+14
| | | |
* | | | StrictData: print correct strictness marksAdam Sandberg Eriksson2015-12-143-9/+14
| | | |
* | | | Update after wild card renaming refactoring in D613Thomas Winant2015-12-144-12/+35
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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-12-141-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-12-141-1/+2
| | | |
* | | | Track API changes to support empty closed type familesAdam Gundry2015-12-143-9/+13
| | | |
* | | | Track change in API of TyConSimon Peyton Jones2015-12-141-2/+3
| | | |
* | | | Track changes in HsSyn for quasi-quotesSimon Peyton Jones2015-12-143-6/+0
| | | |
* | | | Remove redundant constraints from haddock, discovered by ↵Simon Peyton Jones2015-12-141-1/+1
| | | | | | | | | | | | | | | | -fwarn-redundant-constraints
* | | | Eliminate instanceHead' in favour of GHC's instanceSigSimon Peyton Jones2015-12-141-15/+1
| | | | | | | | | | | | | | | | | | | | This is made possible by the elimination of "silent superclass parameters" in GHC
* | | | Bump versions for ghc-7.11Herbert Valerio Riedel2015-12-142-2/+2
| |_|/ |/| |
* | | Fix weird-looking Hoogle output for familyless classes.Łukasz Hanuszczak2015-08-211-5/+7
| | |
* | | Improve formatting of class details output in Hoogle backend.Łukasz Hanuszczak2015-08-211-6/+9
| | |
* | | Add missing default family equations in Hoogle output.Łukasz Hanuszczak2015-08-211-1/+13
| | |
* | | Improve class type family declarations output in Hoogle backend.Łukasz Hanuszczak2015-08-211-5/+20
| | |
* | | Fix bug with incorrect fixities being generated in Hoogle backend.Łukasz Hanuszczak2015-08-211-4/+5
| | |
* | | Add fixity declarations in Hoogle backend output.Łukasz Hanuszczak2015-08-211-1/+7
| | |
* | | Remove default methods from Hoogle class output.Łukasz Hanuszczak2015-08-211-1/+5
| | |
* | | Add support for sugaring built-in function syntax.Łukasz Hanuszczak2015-08-211-1/+4
| | |
* | | Add basic support for sugaring infix type operators.Łukasz Hanuszczak2015-08-211-1/+7
| | |
* | | Add examples with type operators to the instances test case.Łukasz Hanuszczak2015-08-211-0/+6
| | |
* | | Accept tests affected by changes related to instance expander.Łukasz Hanuszczak2015-08-219-210/+210
| | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-27 12:30:08 +0000