Andreas Abel

@plt-amy suggests that `bad` should be rejected in the LHS checker. (Agda dev 2025-03-12.)

@L-TChen For me, the instructions work: ``` cabal build all cabal run cabal-testsuite:cabal-tests -- --with-cabal=cabal cabal-testsuite/PackageTests/TestOptions/setup.test.hs ```

@peterbecich wrote: > Is `Cabal-3.12.0.0` sufficient? This is already available in `nixpkgs`. I am trying to update `nixpkgs` to 3.12.1.0 here: [NixOS/nixpkgs#324424](https://github.com/NixOS/nixpkgs/pull/324424) Unfortunately, `Cabal(-syntax)-3.12.1.0` adds the `MHS` constructor (micro Haskell),...

@Bodigrim wrote: > Once the upgrade to `Cabal-3.12` is merged, please merge #1137 as well. Thanks for the pointer! I should take the missing parts of #1137 and include it...

> I should take the missing parts of #1137 and include it into this PR. Done.