Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | Fix type renamer bug with incorrect names being generated. | Łukasz Hanuszczak | 2015-08-21 | 1 | -15/+30 | |
| | | | ||||||
* | | | Make type renamer first try single-letter names as alternatives. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+9 | |
| | | | ||||||
* | | | Add new data type declaration to instance specialization test case. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+7 | |
| | | | ||||||
* | | | Improve placement of instance methods expander button. | Łukasz Hanuszczak | 2015-08-21 | 2 | -7/+13 | |
| | | | ||||||
* | | | Fix tab-based indentation in instances test case. | Łukasz Hanuszczak | 2015-08-21 | 1 | -6/+6 | |
| | | | ||||||
* | | | Extend instances test case to also test multi-name type signatures. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+4 | |
| | | | ||||||
* | | | Attach source locations to the specialized class methods. | Łukasz Hanuszczak | 2015-08-21 | 1 | -6/+5 | |
| | | | ||||||
* | | | Make specialized methods be nicely formatted again. | Łukasz Hanuszczak | 2015-08-21 | 1 | -4/+8 | |
| | | | ||||||
* | | | Make specialized signatures refer to original signature declaration. | Łukasz Hanuszczak | 2015-08-21 | 2 | -3/+10 | |
| | | | ||||||
* | | | Add some test cases for type renamer. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+18 | |
| | | | ||||||
* | | | Hook type renamer with instance method HTML pretty-printer. | Łukasz Hanuszczak | 2015-08-21 | 2 | -3/+8 | |
| | | | ||||||
* | | | Move `SetName` class definition to types module. | Łukasz Hanuszczak | 2015-08-21 | 2 | -5/+18 | |
| | | | ||||||
* | | | Fix compilation error caused by incorrect type signature. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+1 | |
| | | | ||||||
* | | | Create function for retrieving free variables from given type. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+20 | |
| | | | ||||||
* | | | Add SYB-like utility function for performing stateful queries. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+15 | |
| | | | ||||||
* | | | Fix logic behind binder type renaming. | Łukasz Hanuszczak | 2015-08-21 | 1 | -4/+7 | |
| | | | ||||||
* | | | Fill in stub behaviour with actual environment renaming. | Łukasz Hanuszczak | 2015-08-21 | 1 | -14/+28 | |
| | | | ||||||
* | | | Implement simple mechanism for generating new type names. | Łukasz Hanuszczak | 2015-08-21 | 1 | -3/+26 | |
| | | | ||||||
* | | | Change state of the type renaming monad. | Łukasz Hanuszczak | 2015-08-21 | 1 | -14/+16 | |
| | | | ||||||
* | | | Remove code duplication in specialized type renamer. | Łukasz Hanuszczak | 2015-08-21 | 1 | -6/+10 | |
| | | | ||||||
* | | | Fill in missing cases in specialized type renaming function. | Łukasz Hanuszczak | 2015-08-21 | 1 | -11/+15 | |
| | | | ||||||
* | | | Create scaffolding of a framework for renaming specialized types. | Łukasz Hanuszczak | 2015-08-21 | 2 | -1/+97 | |
| | | | ||||||
* | | | Get rid of code duplication in type specialization module. | Łukasz Hanuszczak | 2015-08-21 | 1 | -18/+12 | |
| | | | ||||||
* | | | Implement tuple syntax sugaring logic for specialized types. | Łukasz Hanuszczak | 2015-08-21 | 1 | -2/+34 | |
| | | | ||||||
* | | | Implement list syntax sugaring logic for specialized types. | Łukasz Hanuszczak | 2015-08-21 | 1 | -3/+16 | |
| | | | ||||||
* | | | Create stub functions for sugaring specialized types. | Łukasz Hanuszczak | 2015-08-21 | 2 | -1/+14 | |
| | | | ||||||
* | | | Hook type specialization logic with HTML pretty-printer. | Łukasz Hanuszczak | 2015-08-21 | 2 | -12/+22 | |
| | | | ||||||
* | | | Create convenience functions for type specialization module. | Łukasz Hanuszczak | 2015-08-21 | 1 | -5/+26 | |
| | | | ||||||
* | | | Move dummy post-family instances for `DocName` to `Types` module. | Łukasz Hanuszczak | 2015-08-21 | 2 | -14/+15 | |
| | | | ||||||
* | | | Add expandable method section for each class instance declaration. | Łukasz Hanuszczak | 2015-08-21 | 2 | -18/+50 | |
| | | | ||||||
* | | | Refactor instance head type to record instead of a meaningless tuple. | Łukasz Hanuszczak | 2015-08-21 | 6 | -38/+63 | |
| | | | ||||||
* | | | Make HTML class instance printer take optional signature argument. | Łukasz Hanuszczak | 2015-08-21 | 1 | -9/+14 | |
| | | | ||||||
* | | | Add basic HTML test case for checking instance specialization. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+36 | |
| | | | ||||||
* | | | Make type of type specialization function more general. | Łukasz Hanuszczak | 2015-08-21 | 1 | -3/+3 | |
| | | | ||||||
* | | | Create simple utility module for type specialization. | Łukasz Hanuszczak | 2015-08-21 | 3 | -0/+23 | |
| | | | ||||||
* | | | Implement generic transformation constructor. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+9 | |
| | | | ||||||
* | | | Implement `everywhere` transformation in SYB module. | Łukasz Hanuszczak | 2015-08-21 | 1 | -1/+7 | |
| | | | ||||||
* | | | Move SYB utilities to standalone module. | Łukasz Hanuszczak | 2015-08-21 | 4 | -14/+29 | |
| | | | ||||||
* | | | Make Travis use 7.10.2 | Mateusz Kowalczyk | 2015-08-21 | 1 | -1/+1 | |
| | | | ||||||
* | | | Rename advanced types test case and accept new output. | Łukasz Hanuszczak | 2015-08-06 | 3 | -98/+204 | |
| | | | ||||||
* | | | Extend advanced types test case with other examples. | Łukasz Hanuszczak | 2015-08-06 | 1 | -0/+14 | |
| | | | ||||||
* | | | Apply promoted type quoting to type-level consing. | Łukasz Hanuszczak | 2015-08-06 | 1 | -1/+6 | |
| | | | ||||||
* | | | Fix quote syntax for promoted types. | Łukasz Hanuszczak | 2015-08-06 | 2 | -3/+10 | |
| | | | ||||||
* | | | Update tests to follow HTML changes | Mateusz Kowalczyk | 2015-08-02 | 79 | -805/+853 | |
| | | | ||||||
* | | | Override source line flags when source hyperlinker is enabled. | Łukasz Hanuszczak | 2015-08-02 | 1 | -2/+7 | |
| | | | ||||||
* | | | Re-accept test cases after adding line anchors for each of them. | Łukasz Hanuszczak | 2015-08-02 | 7 | -1011/+1673 | |
| | | | ||||||
* | | | Make hyperlinked source renderer generate line anchors. | Łukasz Hanuszczak | 2015-08-02 | 1 | -3/+23 | |
| | | | ||||||
* | | | Add some utility definitions for generating line anchors. | Łukasz Hanuszczak | 2015-08-02 | 1 | -2/+23 | |
| | | | ||||||
* | | | Fix record field alignment when name is too long | Phil Ruffwind | 2015-08-02 | 2 | -20/+19 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Change <dl> to <ul> and use display:table rather than floats to layout the record fields. This avoids bug #301 that occurs whenever the field name gets too long. Slight aesthetic change: the entire cell of the field's source code is now shaded gray rather than just the area where text exists. Fixes #301. Closes #421 | |||||
* | | | Fix typo in Haddock.Backends.Xhtml.Layout: divSynposis -> divSynopsis | Phil Ruffwind | 2015-08-02 | 2 | -4/+4 | |
| | | | | | | | | | | | | Closes #408 |