Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update for D1200 | Ben Gamari | 2015-12-16 | 1 | -2/+3 |
| | |||||
* | Warnings | Matthew Pickering | 2015-12-14 | 3 | -8/+6 |
| | |||||
* | Changes to compile with 8.0 | Matthew Pickering | 2015-12-14 | 2 | -42/+40 |
| | |||||
* | Update for type=kinds | Richard Eisenberg | 2015-12-14 | 2 | -13/+23 |
| | |||||
* | Matching changes for #11028 | Alan Zimmerman | 2015-12-14 | 2 | -17/+24 |
| | |||||
* | Canonicalise Monad instances | Herbert Valerio Riedel | 2015-12-14 | 1 | -2/+2 |
| | |||||
* | Update to match GHC wip/T11019 | Alan Zimmerman | 2015-12-14 | 2 | -6/+6 |
| | |||||
* | Undo msHsFilePath change. | Edward Z. Yang | 2015-12-14 | 1 | -3/+1 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Change for IEThingWith | Matthew Pickering | 2015-12-14 | 1 | -1/+1 |
| | |||||
* | Matching change GHC #11017 BooleanFormula located | Alan Zimmerman | 2015-12-14 | 2 | -3/+5 |
| | |||||
* | Follow changes to HsTYpe | Simon Peyton Jones | 2015-12-14 | 2 | -61/+38 |
| | | | | Not yet complete (but on a wip/ branch) | ||||
* | Track wip/spj-wildcard-refactor on main repo | Simon Peyton Jones | 2015-12-14 | 1 | -18/+43 |
| | |||||
* | Roughly fix up haddock for DuplicateRecordFields changes | Adam Gundry | 2015-12-14 | 2 | -9/+16 |
| | | | | | 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 | 1 | -5/+5 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Track msHsFilePath change. | Edward Z. Yang | 2015-12-14 | 1 | -1/+3 |
| | | | | Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> | ||||
* | Follow changes from #6018 | Jan Stolarek | 2015-12-14 | 1 | -6/+28 |
| | |||||
* | 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 | ||||
* | Update after wild card renaming refactoring in D613 | Thomas Winant | 2015-12-14 | 1 | -2/+5 |
| | | | | | | | | | | | | | | | 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 | 1 | -1/+1 |
| | |||||
* | Track changes in HsSyn for quasi-quotes | Simon Peyton Jones | 2015-12-14 | 1 | -4/+0 |
| | |||||
* | Eliminate instanceHead' in favour of GHC's instanceSig | Simon Peyton Jones | 2015-12-14 | 1 | -15/+1 |
| | | | | | This is made possible by the elimination of "silent superclass parameters" in GHC | ||||
* | Add support for sugaring built-in function syntax. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+4 |
| | |||||
* | Add basic support for sugaring infix type operators. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+7 |
| | |||||
* | Add some documentation for instance head specializer. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+2 |
| | |||||
* | Refactor specializer module to be independent from XHTML backend. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+396 |
| | |||||
* | Make instance details record use new type for family declarations. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+11 |
| | |||||
* | Attach associated types information to instance header. | Łukasz Hanuszczak | 2015-08-21 | 1 | -4/+5 |
| | |||||
* | Integrate instance specification type into class instance definition. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+4 |
| | |||||
* | Move dummy post-family instances for `DocName` to `Types` module. | Łukasz Hanuszczak | 2015-08-21 | 1 | -12/+0 |
| | |||||
* | Refactor instance head type to record instead of a meaningless tuple. | Łukasz Hanuszczak | 2015-08-21 | 2 | -8/+13 |
| | |||||
* | Extract main hyperlinker types to separate module. | Łukasz Hanuszczak | 2015-07-06 | 1 | -0/+1 |
| | |||||
* | Implement source tokenization during interface creation process. | Łukasz Hanuszczak | 2015-06-30 | 1 | -1/+29 |
| | |||||
* | Extend module interface with rich source token stream field. | Łukasz Hanuszczak | 2015-06-30 | 1 | -0/+1 |
| | |||||
* | Attach to instance location the name that has the same location file | jpmoresmau | 2015-06-12 | 2 | -7/+21 |
| | | | | Fixes #383 | ||||
* | Fix haddock: internal error: spliceURL UnhelpfulSpan (#207) | Bartosz Nitka | 2015-06-12 | 1 | -5/+11 |
| | | | | | | | | Inferred type signatures don't have SrcSpans, so let's use the one from the declaration. I've tested this manually on the test-case from #207, but I got stuck at trying to run the test-suite. | ||||
* | Clearly default to variables in out of scope case | Mateusz Kowalczyk | 2015-03-27 | 1 | -23/+40 |
| | |||||
* | Remove now redundant imports | Mateusz Kowalczyk | 2015-03-26 | 2 | -2/+0 |
| | |||||
* | Follow API changes in D538 | Alan Zimmerman | 2015-01-23 | 2 | -18/+18 |
| | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com> (cherry picked from commit d61bbc75890e4eb0ad508b9c2a27b91f691213e6) | ||||
* | Sort out some module import warnings | Mateusz Kowalczyk | 2015-01-22 | 1 | -2/+1 |
| | |||||
* | Links to source location of class instance definitions | jpmoresmau | 2015-01-22 | 2 | -7/+8 |
| | |||||
* | Various fixups and bumps for next release | Mateusz Kowalczyk | 2014-12-12 | 1 | -8/+0 |
| | |||||
* | Support for PartialTypeSignatures | Thomas Winant | 2014-12-12 | 2 | -15/+17 |
| | | | | | | | Conflicts: haddock-api/src/Haddock/Backends/Xhtml/Decl.hs haddock-api/src/Haddock/Convert.hs haddock-api/src/Haddock/Interface/Create.hs | ||||
* | Follow API changes in D426 | Alan Zimmerman | 2014-12-12 | 2 | -26/+31 |
| | | | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com> Conflicts: haddock-api/src/Haddock/Backends/LaTeX.hs haddock-api/src/Haddock/Backends/Xhtml/Decl.hs haddock-api/src/Haddock/Convert.hs | ||||
* | Update Haddock to new pattern synonym type signature syntax | Dr. ERDI Gergo | 2014-12-12 | 2 | -8/+6 |
| | | | | | | Conflicts: haddock-api/src/Haddock/Backends/Xhtml/Decl.hs haddock-api/src/Haddock/Convert.hs | ||||
* | reflect ForeignType constructore removal | Yuras Shumovich | 2014-12-12 | 1 | -4/+0 |
| | | | | | | | | Reviewers: austin Reviewed By: austin Differential Revision: https://phabricator.haskell.org/D358 | ||||
* | Follow changes to TypeAnnot in GHC HEAD | Alan Zimmerman | 2014-12-12 | 1 | -6/+21 |
| | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com> Conflicts: haddock-api/src/Haddock/Convert.hs | ||||
* | Revert "Merge branch 'reverts'" | Mateusz Kowalczyk | 2014-12-12 | 2 | -18/+30 |
| | | | | | | | | This reverts commit 5c93cc347773c7634321edd5f808d5b55b46301f, reversing changes made to 5b81a9e53894d2ae591ca0c6c96199632d39eb06. Conflicts: haddock-api/src/Haddock/Convert.hs | ||||
* | Allow the parser to spit out meta-info | Mateusz Kowalczyk | 2014-12-10 | 4 | -33/+28 |
| | | | | | | | | | | | | | | | Currently we only use it only for ‘since’ annotations but with these patches it should be fairly simple to add new attributes if we wish to. Closes #26. It seems to work fine but due to 7.10 rush I don't have the chance to do more exhaustive testing right now. The way the meta is output (emphasis at the end of the whole comment) is fairly arbitrary and subject to bikeshedding. Note that this makes test for Bug310 fail due to interface version bump: it can't find the docs for base with this interface version so it fails. There is not much we can do to help this because it tests for ’built-in’ identifier, not something we can provide ourselves. |