Andreas Abel

Bump dependencies and CI

3

- include latest GHCs in CI - latest minor version is determined by haskell-actions/setup - freeze file is a bad cache key as it contains a time stamp, use the...

The blessings of the new `x-partial` warning are now bestowed unto you: ``` Web/Cookie.hs:260:21: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This...

CI for GHC 7.0 - 9.2 on GHA autogenerated by Haskell-CI

2

I autogenerated a CI from the `tested-with` field in `ini.cabal`. Successful run at: https://github.com/andreasabel/ini/actions/runs/2175917444 Further: - Silence warning about non-canonical `mappend` - Switch cabal-version to 1.10 (to satisfy cabal check)...

Default `main` to `Main` in `executables`

8

Currently, if the user does not specify a `main:` in an `executable` section, they get an invalid `.cabal` file, since `main-is` is missing then. Suggestion: default `main:` to `Main`. Presumably,...

The constructor PreferHash of GenerateHashStrategy is never used, removing it clarifies the logic to the reader of the code.

Exclude modules from executable

8

I tried to apply recipe #409 to `executables` but it does not seem to work. This is the respective section of my `package.yaml` (it does not have a `library` section):...

Hardwired path in doctest's own testsuite breaks with v2-cabal

1

This non-portable path makes `cabal v2-test` fail for `doctest` itself: https://github.com/sol/doctest/blob/f8625073f9c4c1f4fef66c48320293cc0c978d53/test/MainSpec.hs#L110 With v2-cabal and ghc-9.0.1 the path becomes `../../../dist-newstyle/build/x86_64-osx/ghc-9.0.1/doctest-0.19/t/spec/build/spec/spec-tmp/Test/integration/with-cbits/foo.o`. Maybe related: #245

`doctest` in multi-GHC setting

3

In a multi-GHC setting, we have e.g. `ghc-9.4.4` and `ghc-9.2.5` installed. These "know" of their companion programs like `ghc-pkg`. E.g. I can do ``` cabal repl -w ghc-9.2.5 ``` even...

Extra `type-defaults` warnings (from `OverloadedStrings`) make doctests fail

10

I have been using `cabal-doctest` to build a doctest testsuite (which is then run via `cabal test`). However, `cabal-doctest` requires custom setup in the `.cabal` file with a `Cabal` dependency,...

Failure in presence of build-tool generated modules (e.g. by `happy`)

4

I tried to add doctests to the Agda codebase but am stuck at ``` $ cabal test agda-doc-tests --enable-tests -O0 ... Test suite agda-doc-tests: RUNNING... : error: [GHC-82272] module ‘Agda.Syntax.Parser.Parser’...