Naïm Camille Favier

(TL;DR: not a Home Manager issue, more of a module system footgun.)

`getSubOptions` isn't the problem as I explained in the follow-up. You're basically setting `xsession.pointerCursor.defaultCursor = throw "Renaming error…";`, which then gets forwarded to `home.pointerCursor.x11.defaultCursor` so the module system has to...

https://github.com/NixOS/nixos-search/pull/607

Stuff seems to be happening at https://github.com/jdecked/twemoji/issues/8

The issue also occurs with `C-c C-r`. Here's a minimal reproducing example: ```agda module Bug where postulate A : Set record Foo : Set where field very-long-field-name-1 : A very-long-field-name-2...

Your "fix" is just raising the error earlier, right? I don't have a darwin machine either and I suspect this is a nix-specific issue anyway, so I'll just disable translations...

The fix was apparently to add `-lintl` on darwin: ```diff diff --git cmake/FindGettext.cmake cmake/FindGettext.cmake index 2460e190b..2cf61a6fe 100644 --- cmake/FindGettext.cmake +++ cmake/FindGettext.cmake @@ -42,6 +42,7 @@ find_path(LIBINTL_INCLUDE ) set(CMAKE_REQUIRED_INCLUDES ${LIBINTL_INCLUDE}) +set(CMAKE_REQUIRED_FLAGS...

> Possibly you want to move the confluence check before positivity and termination so they can use the meta solutions? This makes [Issue3572](https://github.com/agda/agda/issues/3572) loop again.

How does this address #6262? Do we know what causes the error with `--only-dependencies`?

Ran into this today when trying to `make` Agda locally, on master. ``` ========================= Installing dependencies using Cabal ============ time cabal v1-install --disable-documentation --enable-tests -foptimise-heavily --builddir=./dist-2.6.5-ghc-9.4.8 --only-dependencies -fenable-cluster-counting --ghc-options="+RTS -A128M...