aboutsummaryrefslogtreecommitdiff
path: root/html-test
Commit message (Collapse)AuthorAgeFilesLines
* Revert "Bump ghc-head (#1445)"Ben Gamari2022-04-281-5/+5
| | | | | | This reverts commit b29a78ef6926101338f62e84f456dac8659dc9d2. This should not have been merged.
* Bump ghc-head (#1445)Sylvain Henry2021-12-161-5/+5
| | | | | | | | | | * Update after NoExtCon -> DataConCantHappen rename * Update html-test for Data.List revert * Fix for new Plugins datatype Co-authored-by: Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> Co-authored-by: Matthew Pickering <matthewtpickering@gmail.com>
* Enable Haddock tests in GHC windows CI (#1428)wz10002021-10-113-14/+14
| | | | | | | * testsuite: strip windows line endings for haddock * hyperlinker: Work around double escaping (#19236) * deterministic SCC
* Update ref, the variables got renamed. (#1391)Divam Narula2021-05-201-25/+25
| | | | | This is due to ghc/ghc!5555 which caused a change in ModDetails in case of NoBackend. Now the initModDetails is used to recreate the ModDetails from interface and in-memory ModDetails is not used.
* Specialization of Data.ListOleg Grenrus2021-03-273-11/+11
|
* Merge pull request #1342 from nomeata/joachim/haskell2010-in-tests-ghc-headHécate Moonlight2021-02-22245-0/+845
|\ | | | | html-test: Always set language
| * html-test: Always set languageJoachim Breitner2021-02-22245-0/+845
| | | | | | | | | | | | | | | | | | | | from ghc-9.2 on, the “default” langauge of GHC is expected to change more wildly. To prepare for that (and unblock https://gitlab.haskell.org/ghc/ghc/-/merge_requests/4853), this sets the language for all the test files to `Haskell2010`. This should insolate this test suite against changes to the default. Cherry-picked from https://github.com/haskell/haddock/pull/1341
* | Stable sort for (data/newtype) instancesalexbiehl2021-02-119-957/+957
|/
* Merge remote-tracking branch 'origin/ghc-head' into wip/ghc-head-mergeBen Gamari2021-02-0617-237/+199
|\
| * Accept testsAlex Biehl2021-01-0911-21/+21
| |
* | Merge remote-tracking branch 'origin/ghc-9.0' into ghc-headBen Gamari2021-01-13142-269/+5380
|\ \ | |/ |/|
| * Merge remote-tracking branch 'origin/ghc-8.10' into ghc-9.0Ben Gamari2021-01-05141-268/+5237
| |\
| | * Add support for custom section anchors (#1179)Iñaki2020-04-252-0/+99
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This allows to have stable anchors for groups, even if the set of groups in the documentation is altered. The syntax for setting the anchor of a group is -- * Group name #desiredAnchor# Which will produce an html anchor of the form '#g:desiredAnchor' Co-authored-by: Iñaki García Etxebarria <git@inaki.blueleaf.cc>
| | * Fallback to `hiDecl` when `extractDecl` failsAlec Theriault2020-04-214-0/+211
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Sometimes, the declaration being exported is a subdecl (for instance, a record accessor getting exported at the top-level). For these cases, Haddock has to find a way to produce some synthetic sensible top-level declaration. This is done with `extractDecl`. As is shown by #1067, this is sometimes impossible to do just at a syntactic level (for instance when the subdecl is re-exported). In these cases, the only sensible thing to do is to try to reify a declaration based on a GHC `TyThing` via `hiDecl`.
| | * Fix #1050 by filtering out invisible AppTy argumentsRyan Scott2020-04-052-0/+121
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This makes the `synifyType` case for `AppTy` more intelligent by taking into consideration the visibilities of each `AppTy` argument and filtering out any invisible arguments, as they aren't intended to be displayed in the source code. (See #1050 for an example of what can happen if you fail to filter these out.) Along the way, I noticed that a special `synifyType` case for `AppTy t1 (CoercionTy {})` could be consolidated with the case below it, so I took the opportunity to tidy this up.
| | * Disallow links in section headersAlec Theriault2020-03-283-53/+18
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This is quite straightforward to implement, since we already had a function `docToHtmlNoAnchors` (which we used to generate the link in the sidebar "Contents"). This breaks test `Bug387`, but that test case has aged badly: we now automatically generate anchors for all headings, so manually adding an anchor in a section makes no sense. Nested anchors are, as pointed out in #1054, disallowed by the HTML standard. Fixes #1054
| | * Disallow qualified uses of reserved identifiersAlec Theriault2020-03-272-0/+81
| | | | | | | | | | | | | | | | | | | | | | | | | | | This a GHC bug (https://gitlab.haskell.org/ghc/ghc/issues/14109) too, but it is a relatively easy fix in Haddock. Note that the fix must live in `haddock-api` instead of `haddock-library` because we can only really decide if an identifier is a reserved one by asking the GHC lexer. Fixes #952
| | * Update parsing to strip whitespace from table cells (#1074)Alina Banerjee2020-03-201-48/+48
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Update parsing to strip leading & trailing whitespace from table cells * Update fixture data to disallow whitespaces at both ends in table cells * Add test case for whitespaces stripped from both ends of table cells * Update table reference test data for html tests
| | * Merge branch 'ghc-8.8' into ghc-8.10Alec Theriault2020-03-20128-171/+4663
| | |\
| | | * Update test fixturesKleidukos2020-03-192-6/+6
| | | |
| | | * Reify oversaturated data family instances correctly (#1103)Ryan Scott2019-10-232-0/+580
| | | | | | | | | | | | | | | | | | | | | | | | This fixes #1103 by adapting the corresponding patch for GHC (see https://gitlab.haskell.org/ghc/ghc/issues/17296 and https://gitlab.haskell.org/ghc/ghc/merge_requests/1877).
| | | * Fix the ignore-exports option (#1082)Alexis King2019-09-303-14/+51
| | | | | | | | | | | | The `ignore-exports` option has been broken since #688, as mentioned in https://github.com/haskell/haddock/pull/766#issue-172505043. This PR fixes it.
| | | * Regression test: promoted lists in associated typesAlec Theriault2019-05-262-0/+257
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | When possible, associated types with promoted lists should use the promoted list literal syntax (instead of repeated applications of ': and '[]). This was fixed in 2122de5473fd5b434af690ff9ccb1a2e58491f8c. Closes #466,
| | | * Fix #1063 with better parenthesization logic for contextsAlec Theriault2019-05-172-0/+109
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The only other change in html/hoogle/hyperlinker output for the boot libraries that this caused is a fix to some Hoogle output for implicit params. ``` $ diff -r _build/docs/ old_docs diff -r _build/docs/html/libraries/base/base.txt old_docs/html/libraries/base/base.txt 13296c13296 < assertError :: (?callStack :: CallStack) => Bool -> a -> a --- > assertError :: ?callStack :: CallStack => Bool -> a -> a ```
| | | * Unbreak #1004 test caseAlec Theriault2019-05-171-11/+1
| | | | | | | | | | | | | | | | `fail` is no longer part of `Monad`.
| | | * Better support for default methods in classesAlec Theriault2019-03-094-0/+373
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * default methods now get rendered differently * default associated types get rendered * fix a forgotten `s/TypeSig/ClassOpSig/` refactor in LaTeX backend * LaTeX backend now renders default method signatures NB: there is still no way to document default class members and the NB: LaTeX backend still crashes on associated types
| | | * Merge branch 'ghc-8.6' into ghc-8.8Alec Theriault2019-03-03112-219/+2756
| | | |\
| | | | * Fix standalone deriving docsAlec Theriault2019-02-252-0/+233
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Docs on standalone deriving decls for classes with associated types should be associated with the class instance, not the associated type instance. Fixes #1033
| | | | * Fix #1004 with a pinch of dropForAllsRyan Scott2019-01-272-0/+2075
| | | | |
| | | | * Keep forall on H98 existential data constructors (#1003)Alec Theriault2019-01-232-8/+24
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The information about whether or not there is a source-level `forall` is already available on a `ConDecl` (as `con_forall`), so we should use it instead of always assuming `False`! Fixes #1002.
| | | | * More uniform handling of `forall`'s in HTML/LaTeXAlec Theriault2018-11-265-12/+209
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * don't forget to print explicit `forall`'s when there are arg docs * when printing an explicit `forall`, print all tyvars Fixes #973
| | | | * Rename 'NewOcean' theme to 'Linuwial'Alec Theriault2018-11-11100-170/+170
| | | | |
| | | * | Fix bogus identifier defaultingAlec Theriault2019-02-262-0/+155
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This avoids a situation in which an identifier would get defaulted to a completely different identifier. Prior to this commit, the 'Bug1035' test case would hyperlink 'Foo' into 'Bar'! Fixes #1035.
| | | * | Better identifier parsingAlec Theriault2019-02-253-1/+322
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * '(<|>)' and '`elem`' now get parsed and rendered properly as links * 'DbModule'/'DbUnitId' now properly get split apart into two links * tuple names now get parsed properly * some more small niceties... The identifier parsing code is more precise and more efficient (although to be fair: it is also longer and in its own module). On the rendering side, we need to pipe through information about backticks/parens/neither all the way through from renaming to the backends. In terms of impact: a total of 35 modules in the entirety of the bootlib + ghc lib docs change. The only "regression" is things like '\0'. These should be changed to @\\0@ (the path by which this previously worked seems accidental).
| | | * | Support value/type namespaces on identifier linksAlec Theriault2019-02-254-9/+168
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Identifier links can be prefixed with a 'v' or 't' to indicate the value or type namespace of the desired identifier. For example: -- | Some link to a value: v'Data.Functor.Identity' -- -- Some link to a type: t'Data.Functor.Identity' The default is still the type (with a warning about the ambiguity)
* | | | | Display linear/multiplicity arrows correctly (#1238)Krzysztof Gogolewski2020-12-162-0/+122
| | | | | | | | | | | | | | | | | | | | Previously we were ignoring multiplicity and displayed a %1 -> b as a -> b.
* | | | | Update output for nullary TyConApp optimisation (ghc/ghc!2952)Ben Gamari2020-12-161-105/+105
| | | | |
* | | | | Changed tests due to unification of `Nat` and `Natural`HaskellMouse2020-10-131-12/+12
|/ / / / | | | | | | | | | | | | | | | | in the follwing merge request: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3583
* | | | Adapt Haddock to LinearTypesKrzysztof Gogolewski2020-06-171-5/+1
| | | | | | | | | | | | | | | | See ghc/ghc!852.
* | | | testsuite: Update expected output for simplified subsumptionBen Gamari2020-06-032-4/+4
| | | |
* | | | Explicit Specificity Support for HaddockGert-Jan Bottu2020-05-201-1/+1
|/ / /
* | | Update test output for introduction of Safe-InferredBen Gamari2019-06-0793-93/+93
| | |
* | | Update html-test output to reflect #16391 changesRyan Scott2019-03-061-6/+6
| | |
* | | Removes `haddock-test`s dependency on `xml`/`xhtml` (#1027)Alec Theriault2019-02-10103-613/+407
|/ / | | | | | | | | | | | | | | | | | | | | This means that `html-test`, `latex-test`, `hoogle-test`, and `hypsrc-test` now only depend on GHC boot libs. So we should now be able to build and run these as part of GHC's testsuite. \o/ The reference output has changed very slightly, in three ways: * we don't convert quotes back into `&quot;` as the `xml` lib did * we don't add extra `&nbsp;` as the `xml` lib did * we now remove the entire footer `div` (instead of just emptying it)
* | Miscellaneous improvements to `Convert` (#1020)Alec Theriault2019-02-035-87/+27
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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
* | Accept new output `GHC.Maybe` -> `Data.Maybe` (#996)Alec Theriault2019-01-106-52/+52
| | | | | | | | Since 53874834b779ad0dfbcde6650069c37926da1b79 in GHC, "GHC.Maybe" is marked as `not-home`. That changes around some test output.
* | Properly synify and render promoted type variables (#985)Alec Theriault2018-12-235-39/+250
| | | | | | | | | | | | | | | | * Synify and render properly promoted type variables Fixes #923. * Accept output
* | Merge branch 'ghc-8.6' into ghc-headAlec Theriault2018-11-10106-862/+1547
|\|
| * Merge branch 'ghc-8.6' into wip/new-oceanAlec Theriault2018-11-09100-107/+317
| |\
| | * Only run MathJax on entities with "mathjax" class (#960)Alec Theriault2018-11-05100-107/+317
| | | | | | | | | | | | | | | | | | | | | Correspondingly, we wrap all inline/diplay math in <span class="mathjax"> ... the math .... </span> This fixes #959.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-23 13:57:11 +0000