Haddock with an org backend (haddorg). https://g.ypei.me/haddock.git/atom?h=ghc-gitlab-ghc-head 2021-02-22T09:39:18+00:00 2021-02-22T09:39:18+00:00 Joachim Breitner mail@joachim-breitner.de 2021-02-22T09:31:56+00:00 urn:sha1:606e3f220d20688c7baff94bef525a13434dc56b 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 2020-03-21T00:17:01+00:00 Alec Theriault alec.theriault@gmail.com 2020-03-21T00:17:01+00:00 urn:sha1:053c9add568dad4264f4629bff0de9b10d9316e1 2019-06-07T23:11:14+00:00 Ben Gamari ben@smart-cactus.org 2019-06-07T23:11:14+00:00 urn:sha1:5e333bad752b9c048ad5400b7159e32f4d3d65bd 2019-03-07T00:16:24+00:00 Ryan Scott ryan.gl.scott@gmail.com 2019-03-07T00:16:24+00:00 urn:sha1:e7586f005aa89a45b0fc4f3564f0f17ab9f79d38 2019-03-03T17:23:26+00:00 Alec Theriault alec.theriault@gmail.com 2019-03-03T17:23:26+00:00 urn:sha1:6c53d18eb2f4e39177174a93d9a8a981a6597962 2019-02-10T11:32:52+00:00 Alec Theriault alec.theriault@gmail.com 2019-02-10T11:32:52+00:00 urn:sha1:4e8321de13225f1f5bdec8f39993e9b1aa0831a8 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 `"` as the `xml` lib did * we don't add extra ` ` as the `xml` lib did * we now remove the entire footer `div` (instead of just emptying it) 2019-02-04T06:58:58+00:00 Alec Theriault alec.theriault@gmail.com 2019-02-04T06:58:58+00:00 urn:sha1:aa9644fc4179de044557438f2bd3003642750a97 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 2019-01-23T19:46:46+00:00 Alec Theriault alec.theriault@gmail.com 2019-01-23T19:46:46+00:00 urn:sha1:53997f3db71d113bdad59548e3f16adfe90c112b 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. 2018-11-26T19:11:28+00:00 Alec Theriault alec.theriault@gmail.com 2018-11-25T18:32:22+00:00 urn:sha1:a36ab92b289b4d6b707696eef49145bc7ced4957 * don't forget to print explicit `forall`'s when there are arg docs * when printing an explicit `forall`, print all tyvars Fixes #973 2018-11-12T04:01:21+00:00 Alec Theriault alec.theriault@gmail.com 2018-11-12T04:00:30+00:00 urn:sha1:a7a5ccec3fc44f3f2deab9ba32a5b9fe95aa9f6c