Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | | | | Ensure expanded family instances render correctly | RyanGlScott | 2016-04-16 | 2 | -3/+4 | |
| | | | | | | | | | | | | | | | | | | | | | | | | (cherry picked from commit 1338b5d7c32939de6bbc31af0049477e4f847103) | |||||
* | | | | | | Collapse type/data family instances by default | RyanGlScott | 2016-04-16 | 2 | -10/+23 | |
| | | | | | | | | | | | | | | | | | | | | | | | | (cherry picked from commit 2da130a8db8f995c119b544fad807533236cf088) | |||||
* | | | | | | Fix printing of pattern synonym types | Rik Steenkamp | 2016-04-04 | 1 | -3/+22 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Removes the call to `patSynType :: PatSyn -> Type` in `Convert.hs` as this function will be removed from GHC. Instead, we use the function `patSynSig` and build the `HsDecl` manually. This also fixes the printing of the two contexts and the quantified type variables in a pattern synonym type. Reviewers: goldfire, bgamari, mpickering Differential Revision: https://phabricator.haskell.org/D2048 (cherry picked from commit 3ddcbd6b8e6884bd95028381176eb33bee6896fb) | |||||
* | | | | | | Changes due to fix for GHC#11648. | Richard Eisenberg | 2016-03-15 | 6 | -11/+17 | |
| | | | | | | | | | | | | | | | | | | | | | | | | (cherry picked from commit bb994de1ab0c76d1aaf1e39c54158db2526d31f1) | |||||
* | | | | | | Follow-on changes to support RuntimeRep | Richard Eisenberg | 2016-03-13 | 1 | -5/+4 | |
| |_|_|_|/ |/| | | | | | | | | | | | | | | (cherry picked from commit ab954263a793d8ced734459d6194a5d89214b66c) | |||||
* | | | | | Xhtml.Decl: Show 'where ...' after closed type family | Ben Gamari | 2016-02-18 | 1 | -0/+5 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | Seems like we should ideally show the actual equations as well but that seems like it would be a fair amount of work | |||||
* | | | | | Xhtml.Decl: Show kind signatures for type family variables | Ben Gamari | 2016-02-18 | 1 | -4/+11 | |
| | | | | | | | | | | | | | | | | | | | | Addresses GHC #11588. | |||||
* | | | | | Xhtml.Decl: Various cleanups | Ben Gamari | 2016-02-18 | 1 | -5/+6 | |
| |_|_|/ |/| | | | ||||||
* | | | | Use -fprint-unicode-syntax when --use-unicode is enabled | Ben Gamari | 2016-02-08 | 1 | -4/+7 | |
| | | | | | | | | | | | | | | | | | | | | This allows GHC to render `*` as its Unicode representation, among other things. | |||||
* | | | | Move the permalinks to "#" on the right side | Phil Ruffwind | 2016-02-08 | 3 | -8/+11 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Since pull request #407, the identifiers have been permalinked to themselves, but this makes it difficult to copy the identifier by double-clicking. To work around this usability problem, the permalinks are now placed on the far right adjacent to "Source", indicated by "#". Also, 'namedAnchor' now uses 'id' instead of 'name' (which is obsolete). | |||||
* | | | | Merge pull request #477 from haskell/issue-475 | Ben Gamari | 2016-02-07 | 2 | -16/+17 | |
|\ \ \ \ | |_|_|/ |/| | | | Make sure --mathjax affects all written HTML files | |||||
| * | | | Make sure --mathjax affects all written HTML files | Joachim Breitner | 2016-01-19 | 2 | -16/+17 | |
| | | | | | | | | | | | | | | | | This fixes #475. | |||||
* | | | | Render */# instead of TYPE 'Lifted/TYPE 'Unlifted (fixes #473) | RyanGlScott | 2016-02-07 | 1 | -3/+14 | |
|/ / / | ||||||
* | | | deal with un-wiring of IP class | Eric Seidel | 2016-01-18 | 1 | -3/+3 | |
| | | | | | | | | | | | | (cherry picked from commit 17388b0f0029d969d79353be7737eb01c7b8dc5f) | |||||
* | | | Update to match wip/T11430 in GHC | Alan Zimmerman | 2016-01-16 | 1 | -1/+1 | |
| |/ |/| | ||||||
* | | Version bumps and changelog | Ben Gamari | 2016-01-06 | 1 | -1/+1 | |
|/ | ||||||
* | Add missing import | Ben Gamari | 2015-12-26 | 1 | -0/+1 | |
| | ||||||
* | Merge remote-tracking branch 'idontgetoutmuch/ghc-head' into ghc-head | Ben Gamari | 2015-12-25 | 10 | -14/+57 | |
|\ | ||||||
| * | Fix the documentation for haddock itself. | Dominic Steinitz | 2015-12-21 | 10 | -17/+47 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Change notation and add support for inline math. Allow newlines in display math. Add a command line option for the mathjax url (you might want to use a locally installed version). Rebase tests because of extra url and version change. Respond to (some of the) comments. Fix warnings in InterfaceFile.hs | |||||
| * | 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 | |
| | |