Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Create function for retrieving free variables from given type. | Łukasz Hanuszczak | 2015-08-21 | 1 | -0/+20 | |
| | ||||||
* | 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 | 1 | -1/+96 | |
| | ||||||
* | 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 | 1 | -12/+16 | |
| | ||||||
* | Create convenience functions for type specialization module. | Łukasz Hanuszczak | 2015-08-21 | 1 | -5/+26 | |
| | ||||||
* | 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 | 1 | -7/+14 | |
| | ||||||
* | Make HTML class instance printer take optional signature argument. | Łukasz Hanuszczak | 2015-08-21 | 1 | -9/+14 | |
| | ||||||
* | 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 | 1 | -0/+21 | |
| | ||||||
* | 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 | |
| | ||||||
* | Fix record field alignment when name is too long | Phil Ruffwind | 2015-08-02 | 1 | -6/+4 | |
| | | | | | | | | | | | 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 | 1 | -3/+3 | |
| | | | | Closes #408 | |||||
* | Link to the definitions to themselves | Phil Ruffwind | 2015-08-02 | 1 | -8/+13 | |
| | | | | | | | | | | | | | | | | | | 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 | |||||
* | Fix expansion icon for user-collapsible sections | Mateusz Kowalczyk | 2015-07-11 | 1 | -2/+3 | |
| | | | | Closes #412 | |||||
* | Delete trailing whitespace | Mateusz Kowalczyk | 2015-07-07 | 1 | -1/+1 | |
| | ||||||
* | Document some functions in XHTML utlity module. | Łukasz Hanuszczak | 2015-07-01 | 1 | -0/+8 | |
| | ||||||
* | Rewrite source generation to fixed links and directory structure. | Łukasz Hanuszczak | 2015-06-30 | 1 | -5/+9 | |
| | ||||||
* | Fix alignment of Source links in instance table in Firefox | Phil Ruffwind | 2015-06-12 | 1 | -2/+3 | |
| | | | | | | | | | | | | | | | | | | | Due to a Firefox bug [1], a combination of 'whitespace: nowrap' on the parent element with 'float: right' on the inner element can cause the floated element to be displaced downwards for no apparent reason. To work around this, the left side is wrapped in its own <span> and set to 'float: left'. As a precautionary measure to prevent the parent element from collapsing entirely, we also add the classic "clearfix" hack. The latter is not strictly needed but it helps prevent bugs if the layout is altered again in the future. Fixes #384. Remark: line 159 of src/Haddock/Backends/Xhtml/Layout.hs was indented to prevent confusion over the operator precedence of (<+>) vs (<<). [1]: https://bugzilla.mozilla.org/show_bug.cgi?id=488725 | |||||
* | Attach to instance location the name that has the same location file | jpmoresmau | 2015-06-12 | 2 | -15/+15 | |
| | | | | Fixes #383 | |||||
* | Do not insert anchor for section headings in contents box | watashi | 2015-04-26 | 1 | -1/+4 | |
| | ||||||
* | Remove now redundant imports | Mateusz Kowalczyk | 2015-03-26 | 3 | -5/+0 | |
| | ||||||
* | Follow API changes in D538 | Alan Zimmerman | 2015-01-23 | 1 | -13/+13 | |
| | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com> (cherry picked from commit d61bbc75890e4eb0ad508b9c2a27b91f691213e6) | |||||
* | Links to source location of class instance definitions | jpmoresmau | 2015-01-22 | 2 | -21/+41 | |
| | ||||||
* | Only keep one Version instead of blindly appending | Mateusz Kowalczyk | 2014-12-17 | 1 | -3/+3 | |
| | ||||||
* | Various fixups and bumps for next release | Mateusz Kowalczyk | 2014-12-12 | 1 | -4/+3 | |
| | ||||||
* | For pattern synonyms, render "pattern" as a keyword | Dr. ERDI Gergo | 2014-12-12 | 1 | -1/+1 | |
| | ||||||
* | Support for PartialTypeSignatures | Thomas Winant | 2014-12-12 | 1 | -11/+18 | |
| | | | | | | | 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 | 1 | -20/+41 | |
| | | | | | | | | | 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 | 1 | -33/+39 | |
| | | | | | | Conflicts: haddock-api/src/Haddock/Backends/Xhtml/Decl.hs haddock-api/src/Haddock/Convert.hs | |||||
* | Collapse user-defined section by default (re #335) | Herbert Valerio Riedel | 2014-12-12 | 1 | -1/+1 | |
| | | | | | Conflicts: haddock-api/src/Haddock/Backends/Xhtml/DocMarkup.hs | |||||
* | Followup changes to addition of -fwarn-context-quantification (GHC Trac #4426) | Krzysztof Gogolewski | 2014-12-12 | 1 | -1/+2 | |
| | ||||||
* | Revert "Merge branch 'reverts'" | Mateusz Kowalczyk | 2014-12-12 | 3 | -4/+4 | |
| | | | | | | | | 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 | 2 | -32/+52 | |
| | | | | | | | | | | | | | | | 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. | |||||
* | Experimental support for collapsable headers | Mateusz Kowalczyk | 2014-10-29 | 3 | -20/+109 | |
| | | | | Closes #335 | |||||
* | Omit unnecessary foralls and fix #315 | Niklas Haas | 2014-08-24 | 1 | -21/+20 | |
| | | | | This also fixes #86. | |||||
* | Fix extra whitespace on signatures and update all test cases | Niklas Haas | 2014-08-24 | 1 | -2/+2 | |
| | | | | | This was long overdue, now running ./accept.lhs on a clean test from master will not generate a bunch of changes. | |||||
* | Move sources under haddock-api/src | Mateusz Kowalczyk | 2014-08-23 | 7 | -0/+1898 | |