Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | | 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 | |
| | | | | ||||||
* | | | | Track change in API of TyCon | Simon Peyton Jones | 2015-12-14 | 1 | -2/+3 | |
| | | | | ||||||
* | | | | Track changes in HsSyn for quasi-quotes | Simon Peyton Jones | 2015-12-14 | 3 | -6/+0 | |
| | | | | ||||||
* | | | | Remove redundant constraints from haddock, discovered by ↵ | Simon Peyton Jones | 2015-12-14 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | -fwarn-redundant-constraints | |||||
* | | | | 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 | |||||
* | | | | Bump versions for ghc-7.11 | Herbert Valerio Riedel | 2015-12-14 | 2 | -2/+2 | |
| |_|/ |/| | | ||||||
* | | | Fix weird-looking Hoogle output for familyless classes. | Łukasz Hanuszczak | 2015-08-21 | 1 | -5/+7 | |
| | | | ||||||
* | | | Improve formatting of class details output in Hoogle backend. | Łukasz Hanuszczak | 2015-08-21 | 1 | -6/+9 | |
| | | | ||||||
* | | | Add missing default family equations in Hoogle output. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+13 | |
| | | | ||||||
* | | | Improve class type family declarations output in Hoogle backend. | Łukasz Hanuszczak | 2015-08-21 | 1 | -5/+20 | |
| | | | ||||||
* | | | Fix bug with incorrect fixities being generated in Hoogle backend. | Łukasz Hanuszczak | 2015-08-21 | 1 | -4/+5 | |
| | | | ||||||
* | | | Add fixity declarations in Hoogle backend output. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+7 | |
| | | | ||||||
* | | | Remove default methods from Hoogle class output. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+5 | |
| | | | ||||||
* | | | 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 examples with type operators to the instances test case. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+6 | |
| | | | ||||||
* | | | Accept tests affected by changes related to instance expander. | Łukasz Hanuszczak | 2015-08-21 | 9 | -210/+210 | |
| | | | ||||||
* | | | Move `InstOrigin` type declaration to more appropriate module. | Łukasz Hanuszczak | 2015-08-21 | 2 | -13/+18 | |
| | | | ||||||
* | | | Get rid of dreadful hashing function for generating identifiers. | Łukasz Hanuszczak | 2015-08-21 | 1 | -51/+26 | |
| | | | ||||||
* | | | Fix issue with instance expander hijacking type hyperlink click. | Łukasz Hanuszczak | 2015-08-21 | 2 | -2/+4 | |
| | | | ||||||
* | | | Make identifier generation also architecture-independent. | Łukasz Hanuszczak | 2015-08-21 | 9 | -53/+55 | |
| | | | ||||||
* | | | Re-accept tests after applying deterministic section identifiers. | Łukasz Hanuszczak | 2015-08-21 | 9 | -56/+56 | |
| | | | ||||||
* | | | Make section identifier of instance details more GHC-independent. | Łukasz Hanuszczak | 2015-08-21 | 1 | -6/+16 | |
| | | | ||||||
* | | | Accept tests affected by adding instance details section. | Łukasz Hanuszczak | 2015-08-21 | 10 | -134/+712 | |
| | | | ||||||
* | | | Fix issue with incorrect instance details sections being expanded. | Łukasz Hanuszczak | 2015-08-21 | 1 | -5/+34 | |
| | | | ||||||
* | | | Fix bug with missing space in documentation for associated types. | Łukasz Hanuszczak | 2015-08-21 | 1 | -9/+4 | |
| | | | ||||||
* | | | 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 | 5 | -17/+29 | |
| | | | ||||||
* | | | Create helper method for specializing type signatures. | Łukasz Hanuszczak | 2015-08-21 | 2 | -12/+15 | |
| | | | ||||||
* | | | Apply type specializer to associated type family declarations. | Łukasz Hanuszczak | 2015-08-21 | 2 | -4/+17 | |
| | | | ||||||
* | | | Implement HTML renderer for pseudo-family declarations. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+13 | |
| | | | ||||||
* | | | Split printer of type family header to separate functions. | Łukasz Hanuszczak | 2015-08-21 | 1 | -17/+20 | |
| | | | ||||||
* | | | Make instance details record use new type for family declarations. | Łukasz Hanuszczak | 2015-08-21 | 4 | -15/+24 | |
| | | | ||||||
* | | | Introduce alternative type for family declarations. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+31 | |
| | | | ||||||
* | | | Improve look of rendered associated families in instance details. | Łukasz Hanuszczak | 2015-08-21 | 1 | -2/+11 | |
| | | | ||||||
* | | | Make instance details section contain associated types information. | Łukasz Hanuszczak | 2015-08-21 | 2 | -6/+18 | |
| | | | ||||||
* | | | Attach associated types information to instance header. | Łukasz Hanuszczak | 2015-08-21 | 4 | -5/+10 | |
| | | | ||||||
* | | | Add basic tests for associated types in instances test case. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+28 | |
| | | | ||||||
* | | | Attach section title to the instance methods block. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+1 | |
| | | | ||||||
* | | | Get rid of no longer used layout method. | Łukasz Hanuszczak | 2015-08-21 | 1 | -10/+2 | |
| | | | ||||||
* | | | Rearrange layout of instance methods in generated documentation. | Łukasz Hanuszczak | 2015-08-21 | 2 | -14/+27 | |
| | | | ||||||
* | | | Split instance subsection layout method to top-level declarations. | Łukasz Hanuszczak | 2015-08-21 | 1 | -5/+22 | |
| | | | ||||||
* | | | Fix yet another renamer bug where some names were not unique. | Łukasz Hanuszczak | 2015-08-21 | 1 | -3/+11 | |
| | | | ||||||
* | | | Fix another type renamer bug where not all names were rebound. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+8 | |
| | | | ||||||
* | | | Fix bug where instance expander was opening wrong section. | Łukasz Hanuszczak | 2015-08-21 | 1 | -11/+24 | |
| | | | ||||||
* | | | Fix bug with types not being specialized at all. | Łukasz Hanuszczak | 2015-08-21 | 1 | -2/+2 | |
| | | | ||||||
* | | | Fix declaration converter to use more appropriate mode for methods. | Łukasz Hanuszczak | 2015-08-21 | 1 | -10/+12 | |
| | | | ||||||
* | | | Get rid of no longer neccessary instance specification type. | Łukasz Hanuszczak | 2015-08-21 | 2 | -24/+17 | |
| | | |