aboutsummaryrefslogtreecommitdiff
path: root/hoogle-test/ref
Commit message (Collapse)AuthorAgeFilesLines
* Avoid line breaks due to line length in Hoogle (#868)Alec Theriault2018-07-201-0/+1
| | | | | | | | | | | | | | | * Avoid line breaks due to line length in Hoogle Hoogle operates in a line-oriented fashion, so we should avoid ever breaking due to long lines. One way of doing this non-intrusively is to modify the 'DynFlags' that are threaded through the 'Hoogle' module (note this is anyways only passed through for use in the various 'showSDoc' functions). * Amend test case (cherry picked from commit 657b1b3d519545f8d4ca048c06210d6cbf0f0da0)
* Export more fixities for Hoogle (#871)Alec Theriault2018-07-201-0/+16
| | | | | | | This exports fixities for more things, including class methods and type-level operators. (cherry picked from commit 88316b972e3d47197b1019111bae0f7f87275fce)
* Refactor handling of parens in types (#874)Alec Theriault2018-07-202-2/+28
| | | | | | | | | | | | | | | | | | | | | | | | * Fix type parenthesization in Hoogle backend Ported the logic in the HTML and LaTeX backends for adding in parens into something top-level in 'GhcUtil'. Calling that from the Hoogle backend fixes #873. * Remove parenthesizing logic from LaTeX and XHTML backends Now, the only times that parenthesis in types are added in any backend is through the explicit 'HsParTy' constructor. Precedence is also represented as its own datatype. * List out cases explicitly vs. catch-all * Fix printing of parens for QuantifiedConstraints The priority of printing 'forall' types was just one too high. Fixes #877. * Accept HTML output for quantified contexts test
* Remove Hoogle backend hack that butchers infix datatype namesRyan Scott2018-06-131-0/+9
|
* Improve the Hoogle backend's treatment of type families (#808)Ryan Scott2018-04-241-0/+24
| | | Fixes parts 1 and 2 of #806.
* Add regression test for #413Ryan Scott2018-04-241-0/+16
| | | | Fixes #413.
* Accept output for Hoogle and LaTeX backends.Ɓukasz Hanuszczak2015-08-244-0/+57