Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | Handle inline math with mathjax. | Dominic Steinitz | 2015-12-21 | 7 | -0/+13 | |
| | | ||||||
* | | Merge remote-tracking branch 'origin/ghc-head' into ghc-head | Ben Gamari | 2015-12-23 | 5 | -11/+5 | |
|\ \ | ||||||
| * | | Follow removal of NamedWildCard from HsType | Simon Peyton Jones | 2015-12-22 | 3 | -6/+0 | |
| | | | ||||||
| * | | Fix-up left-over assumptions of GHC 7.12 into GHC 8.0 | Herbert Valerio Riedel | 2015-12-21 | 1 | -1/+1 | |
| | | | ||||||
| * | | Update for GHC trac#11258 | Alan Zimmerman | 2015-12-20 | 3 | -4/+4 | |
| |/ | | | | | | | Adding locations to RdrName in FieldOcc and AmbiguousFieldOcc | |||||
* | | Merge remote-tracking branch 'phadej/orphans' into ghc-head | Ben Gamari | 2015-12-20 | 8 | -27/+90 | |
|\ \ | ||||||
| * | | Fix orphan instance collapsing | Oleg Grenrus | 2015-09-28 | 1 | -7/+11 | |
| | | | ||||||
| * | | Add orphan instances link to contents box | Oleg Grenrus | 2015-09-28 | 1 | -6/+12 | |
| | | | ||||||
| * | | Print orphan instances header only if required | Oleg Grenrus | 2015-09-28 | 2 | -2/+3 | |
| | | | ||||||
| * | | Have source links for orphan instances | Oleg Grenrus | 2015-09-28 | 2 | -13/+9 | |
| | | | ||||||
| * | | Generate docs for orphan instances | Oleg Grenrus | 2015-09-27 | 7 | -21/+76 | |
| | | | ||||||
* | | | Merge remote-tracking branch 'mrhania/testing-framework-improvements' into ↵ | Ben Gamari | 2015-12-20 | 1 | -0/+3 | |
|\ \ \ | |_|/ |/| | | | | | ghc-head | |||||
| * | | Make Hoogle backend create output directory if needed. | Łukasz Hanuszczak | 2015-08-22 | 1 | -0/+3 | |
| |/ | ||||||
* | | Fix Hyperlinker | Ben Gamari | 2015-12-16 | 1 | -1/+1 | |
| | | | | | | | | GHC.con_names is now GHC.getConNames | |||||
* | | 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 | 2 | -4/+6 | |
| | | ||||||
* | | 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 | 2 | -7/+7 | |
| | | ||||||
* | | 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 | |
| | | ||||||
* | | 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 | |
| | | ||||||
* | | Work on updating Haddock to wip/spj-wildard-recactor | Simon Peyton Jones | 2015-12-14 | 3 | -99/+63 | |
| | | | | | | | | Still incomplete | |||||
* | | Follow changes to HsTYpe | Simon Peyton Jones | 2015-12-14 | 5 | -104/+105 | |
| | | | | | | | | Not yet complete (but on a wip/ branch) | |||||
* | | Track wip/spj-wildcard-refactor on main repo | Simon Peyton Jones | 2015-12-14 | 5 | -61/+80 | |
| | | ||||||
* | | Roughly fix up haddock for DuplicateRecordFields changes | Adam Gundry | 2015-12-14 | 9 | -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/g | Edward Z. Yang | 2015-12-14 | 7 | -19/+22 | |
| | | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | |||||
* | | Create Process: removed PhaseFailed | Tamar Christina | 2015-12-14 | 1 | -5/+2 | |
| | | ||||||
* | | Track msHsFilePath change. | Edward Z. Yang | 2015-12-14 | 1 | -1/+3 | |
| | | | | | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | |||||
* | | React to refactoring CoAxiom branch lists. | Richard Eisenberg | 2015-12-14 | 1 | -1/+1 | |
| | | ||||||
* | | Follow changes from #6018 | Jan Stolarek | 2015-12-14 | 3 | -22/+96 | |
| | | ||||||
* | | account for changes to ipClass | Eric Seidel | 2015-12-14 | 1 | -3/+2 | |
| | | ||||||
* | | HsBang is split into HsSrcBang and HsImplBang | Adam Sandberg Eriksson | 2015-12-14 | 3 | -18/+10 | |
| | | | | | | | | | | With recent changes in GHC handling of strictness annotations in Haddock is simplified. | |||||
* | | Replace (SourceText,FastString) with WithSourceText data type | Alan Zimmerman | 2015-12-14 | 1 | -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 type | Adam Sandberg Eriksson | 2015-12-14 | 3 | -14/+14 | |
| | | ||||||
* | | StrictData: print correct strictness marks | Adam Sandberg Eriksson | 2015-12-14 | 3 | -9/+14 | |
| | | ||||||
* | | Update after wild card renaming refactoring in D613 | Thomas Winant | 2015-12-14 | 4 | -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 SourceText | Alan Zimmerman | 2015-12-14 | 1 | -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 setRdrNameSpace | Simon Peyton Jones | 2015-12-14 | 1 | -1/+2 | |
| | | ||||||
* | | Track API changes to support empty closed type familes | Adam Gundry | 2015-12-14 | 3 | -9/+13 | |
| | |