aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | 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
| | |
* | | Move `InstOrigin` type declaration to more appropriate module.Łukasz Hanuszczak2015-08-212-13/+18
| | |
* | | Get rid of dreadful hashing function for generating identifiers.Łukasz Hanuszczak2015-08-211-51/+26
| | |
* | | Fix issue with instance expander hijacking type hyperlink click.Łukasz Hanuszczak2015-08-212-2/+4
| | |
* | | Make identifier generation also architecture-independent.Łukasz Hanuszczak2015-08-219-53/+55
| | |
* | | Re-accept tests after applying deterministic section identifiers.Łukasz Hanuszczak2015-08-219-56/+56
| | |
* | | Make section identifier of instance details more GHC-independent.Łukasz Hanuszczak2015-08-211-6/+16
| | |
* | | Accept tests affected by adding instance details section.Łukasz Hanuszczak2015-08-2110-134/+712
| | |
* | | Fix issue with incorrect instance details sections being expanded.Łukasz Hanuszczak2015-08-211-5/+34
| | |
* | | Fix bug with missing space in documentation for associated types.Łukasz Hanuszczak2015-08-211-9/+4
| | |
* | | Add some documentation for instance head specializer.Łukasz Hanuszczak2015-08-211-0/+2
| | |
* | | Refactor specializer module to be independent from XHTML backend.Łukasz Hanuszczak2015-08-215-17/+29
| | |
* | | Create helper method for specializing type signatures.Łukasz Hanuszczak2015-08-212-12/+15
| | |
* | | Apply type specializer to associated type family declarations. Łukasz Hanuszczak2015-08-212-4/+17
| | |
* | | Implement HTML renderer for pseudo-family declarations.Łukasz Hanuszczak2015-08-211-1/+13
| | |
* | | Split printer of type family header to separate functions.Łukasz Hanuszczak2015-08-211-17/+20
| | |
* | | Make instance details record use new type for family declarations.Łukasz Hanuszczak2015-08-214-15/+24
| | |
* | | Introduce alternative type for family declarations.Łukasz Hanuszczak2015-08-211-0/+31
| | |
* | | Improve look of rendered associated families in instance details.Łukasz Hanuszczak2015-08-211-2/+11
| | |
* | | Make instance details section contain associated types information.Łukasz Hanuszczak2015-08-212-6/+18
| | |
* | | Attach associated types information to instance header.Łukasz Hanuszczak2015-08-214-5/+10
| | |
* | | Add basic tests for associated types in instances test case.Łukasz Hanuszczak2015-08-211-0/+28
| | |
* | | Attach section title to the instance methods block.Łukasz Hanuszczak2015-08-211-1/+1
| | |
* | | Get rid of no longer used layout method.Łukasz Hanuszczak2015-08-211-10/+2
| | |
* | | Rearrange layout of instance methods in generated documentation.Łukasz Hanuszczak2015-08-212-14/+27
| | |
* | | Split instance subsection layout method to top-level declarations.Łukasz Hanuszczak2015-08-211-5/+22
| | |
* | | Fix yet another renamer bug where some names were not unique.Łukasz Hanuszczak2015-08-211-3/+11
| | |
* | | Fix another type renamer bug where not all names were rebound.Łukasz Hanuszczak2015-08-211-1/+8
| | |
* | | Fix bug where instance expander was opening wrong section.Łukasz Hanuszczak2015-08-211-11/+24
| | |
* | | Fix bug with types not being specialized at all.Łukasz Hanuszczak2015-08-211-2/+2
| | |
* | | Fix declaration converter to use more appropriate mode for methods.Łukasz Hanuszczak2015-08-211-10/+12
| | |
* | | Get rid of no longer neccessary instance specification type.Łukasz Hanuszczak2015-08-212-24/+17
| | |