Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | 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 | |||||
* | | | Link to the definitions to themselves | Phil Ruffwind | 2015-08-02 | 2 | -8/+16 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Currently, the definitions already have an anchor tag that allows URLs with fragment identifiers to locate them, but it is rather inconvenient to obtain such a URL (so-called "permalink") as it would require finding the a link to the corresponding item in the Synopsis or elsewhere. This commit adds hyperlinks to the definitions themselves, allowing users to obtain links to them easily. To preserve the original aesthetics of the definitions, we alter the color of the link so as to be identical to what it was, except it now has a hover effect indicating that it is clickable. Additionally, the anchor now uses the 'id' attribute instead of the (obsolete) 'name' attribute. Closes #407 | |||||
* | | | Avoid JavaScript error during page load in non-frame mode | Phil Ruffwind | 2015-08-02 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | In non-frame mode, parent.window.synopsis refers to the synopsis div rather than the nonexistent frame. Unfortunately, the script wrongly assumes that if it exists it must be a frame, leading to an error where it tries to access the nonexistent attribute 'replace' of an undefined value (synopsis.location). Closes #406 | |||||
* | | | Update changelog | Mateusz Kowalczyk | 2015-07-31 | 1 | -0/+2 | |
| | | | ||||||
* | | | Break the response file by line termination rather | randen | 2015-07-30 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | | | | | | | | | than spaces, since spaces may be within the parameters. This simple approach avoids having the need for any quoting and/or escaping (although a newline char will not be possible in a parameter and has no escape mechanism to allow it). | |||||
* | | | Make some version changes after 2.16.1 release | Mateusz Kowalczyk | 2015-07-22 | 4 | -8/+10 | |
| | | | ||||||
* | | | Fix expansion icon for user-collapsible sections | Mateusz Kowalczyk | 2015-07-11 | 3 | -5/+8 | |
| | | | | | | | | | | | | Closes #412 | |||||
* | | | Delete trailing whitespace | Mateusz Kowalczyk | 2015-07-07 | 12 | -41/+41 | |
| | | | ||||||
* | | | Relax upper bound on GHC a bit | Mateusz Kowalczyk | 2015-07-07 | 1 | -3/+2 | |
| | | | ||||||
* | | | Update changelog | Mateusz Kowalczyk | 2015-07-07 | 1 | -0/+2 | |
| | | | ||||||
* | | | Fix problem with spec build in Haddock API configuration. | Łukasz Hanuszczak | 2015-07-06 | 1 | -0/+1 | |
| | | | ||||||
* | | | Fix bug with module name being hyperlinked to `Prelude`. | Łukasz Hanuszczak | 2015-07-06 | 2 | -3/+5 | |
| | | |