aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Operators.html
Commit message (Collapse)AuthorAgeFilesLines
* Miscellaneous improvements to `Convert` (#1020)Alec Theriault2019-02-031-7/+3
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Now that Haddock is moving towards working entirely over `.hi` and `.hie` files, all declarations and types are going to be synthesized via the `Convert` module. In preparation for this change, here are a bunch of fixes to this module: * Add kind annotations to type variables in `forall`'s whose kind is not `Type`, unless the kind can be inferred from some later use of the variable. See `implicitForAll` and `noKindTyVars` in particular if you wish to dive into this. * Properly detect `HsQualTy` in `synifyType`. This is done by following suit with what GHC's `toIfaceTypeX` does and checking the first argument of `FunTy{} :: Type` to see if it classified as a given/wanted in the typechecker (see `isPredTy`). * Beef up the logic around figuring out when an explicit `forall` is needed. This includes: observing if any of the type variables will need kind signatures, if the inferred type variable order _without_ a forall will still match the one GHC claims, and some other small things. * Add some (not yet used) functionality for default levity polymorphic type signatures. This functionality similar to `fprint-explicit-runtime-reps`. Couple other smaller fixes only worth mentioning: * Show the family result signature only when it isn't `Type` * Fix rendering of implicit parameters in the LaTeX and Hoogle backends * Better handling of the return kind of polykinded H98 data declarations * Class decls produced by `tyThingToLHsDecl` now contain associated type defaults and default method signatures when appropriate * Filter out more `forall`'s in pattern synonyms
* Merge branch 'ghc-8.6' into wip/new-oceanAlec Theriault2018-11-091-1/+3
|\
| * Only run MathJax on entities with "mathjax" class (#960)Alec Theriault2018-11-051-1/+3
| | | | | | | | | | | | | | Correspondingly, we wrap all inline/diplay math in <span class="mathjax"> ... the math .... </span> This fixes #959.
* | Update test-suite reference html pagesNuno Alexandre2018-10-181-3/+3
| |
* | html-test --acceptHerbert Valerio Riedel2018-10-181-1/+1
| |
* | Add an initial-scale property to all haddock pagesNuno Alexandre2018-10-181-0/+1
| | | | | | | | | | This solves an issue reported about the content looking incredibly small on mobile devices.
* | Update html-test reference filesNuno Alexandre2018-10-181-3/+3
| | | | | | | | | | The package name element in the package-header is now a div instead of a paragraph, and it is now above the menu ul.links instead of below.
* | Update html test reference filesNunoAlexandre2018-10-181-0/+1
|/
* html-test: Accept outputSimon Jakobi2018-06-131-6/+2
|
* Use `ClassOpSig` instead of `TypeSig` for class methods (#835)Alec Theriault2018-06-131-18/+16
| | | | | | | | * Fix minimal pragma handling Class declarations contain 'ClassOpSig' not 'Typesig'. This should fix #834. * Accept html-test output
* Make testsuite work with haddock-1.19.0 release (#766)Alexander Biehl2018-03-021-20/+20
|
* Use <details> element for collapsibles (#690)Tim Baumann2017-10-091-105/+107
| | | | | | | | | | | * Remove unnecessary call to 'collapseSection' The call is unnecessary since there is no corresponding toggle for hiding the section of orphan instances. * Use <details> for collapsibles This makes them work even when JS is disabled. Closes #560.
* Add compile step that bundles and compresses JS files (#684)Tim Baumann2017-09-231-17/+2
| | | | | | | | | | | | | | | | | | * Add compile step that bundles and compresses JS files Also, manage dependencies on third-party JS libraries using NPM. * Compile JS from TypeScript * Enable 'noImplicitAny' in TypeScript * QuickJump: use JSX syntax * Generate source maps from TypeScript for easier debugging * TypeScript: more accurate type * Separate quick jump css file from ocean theme
* Fix test fallout (again)alexbiehl2017-08-291-0/+5
|
* Accept testsalexbiehl2017-08-281-6/+6
|
* Fix tests for content searchalexbiehl2017-08-281-0/+6
|
* Remove anything related to obsolete frames modealexbiehl2017-04-261-1/+1
|
* `html-test --accept` deltas to reference samplesHerbert Valerio Riedel2017-04-251-13/+53
|
* Use new MathJax URL in html-testalexbiehl2017-04-251-2/+2
| | | | | 18ed871afb82560d5433b2f53e31b4db9353a74e switched to a new MathJax URL but didn't update the tests.
* Update tests for previous commitPhil Ruffwind2016-02-081-22/+50
|
* html-test: Accept test outputBen Gamari2016-02-081-85/+92
|
* Update tests to follow HTML changesMateusz Kowalczyk2015-08-021-22/+22
|
* Update test filesMateusz Kowalczyk2015-01-221-8/+8
| | | | | | | | | | | | | | | Test: a correct behaviour for fields comma-separating values. I'm surprised we had no bug open for this. Maybe it affects how #301 renders now but I doubt. Operators: Seems GHC is giving us a new order for operators, something must have changed on their side again. cc @haasn , this makes the fixity to the side not match the order on the LHS which is a bit unpleasant. Maybe the fixity can be made to match the GHC order? Bug335: We expand examples by default now. Bug310: Now inferred safe.
* support GHC 7.10: no Safe-Inferred, Foldable instancejpmoresmau2015-01-221-1/+1
|
* For pattern synonyms, render "pattern" as a keywordDr. ERDI Gergo2014-12-121-2/+6
|
* Update Haddock to new pattern synonym type signature syntaxDr. ERDI Gergo2014-12-121-2/+2
| | | | | | Conflicts: haddock-api/src/Haddock/Backends/Xhtml/Decl.hs haddock-api/src/Haddock/Convert.hs
* Fix extra whitespace on signatures and update all test casesNiklas Haas2014-08-241-7/+7
| | | | | This was long overdue, now running ./accept.lhs on a clean test from master will not generate a bunch of changes.
* Stop testing #188.Mateusz Kowalczyk2014-08-151-8/+8
| | | | | | Because the change is in GHC 7.9 and we now work against 7.8.3, this test no longer makes sense. We revert it until 7.10 becomes the standard version. If anything, there should be a test for this in GHC itself.
* Update test cases for GHC bug #8945, Haddock #188Mateusz Kowalczyk2014-04-031-7/+7
| | | | | | | The order of signature groups has been corrected upstream. Here we add a test case and update some existing test-cases to reflect this change. We remove grouped signature in test cases that we can (Minimal, BugDeprecated &c) so that the test is as self-contained as possible.
* Strip links from recently added html testsNiklas Haas2014-03-131-36/+36
| | | | These were accidentally left there when the tests were originally added
* Bump version to 2.15.0Mateusz Kowalczyk2014-03-111-1/+1
|
* Update appearance of fixity annotationsNiklas Haas2014-03-111-43/+90
| | | | | | | This moves them in-line with their corresponding lines, similar to a presentation envision by @hvr and described in #ghc. Redundant operator names are also omitted when no ambiguity is present.
* Group similar fixities togetherNiklas Haas2014-03-091-1/+32
| | | | | Identical fixities declared for the same line should now render using syntax like: infix 4 <, >=, >, <=
* Render fixity informationNiklas Haas2014-03-081-0/+379
Affects functions, type synonyms, type families, class names, data type names, constructors, data families, associated TFs/DFs, type synonyms, pattern synonyms and everything else I could think of.