From 388d2251ee5b76cc488aafd630287b665f3abe9d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Na=C3=AFm=20Camille=20Favier?= <n@monade.li>
Date: Mon, 23 Mar 2026 12:27:15 +0100
Subject: [PATCH] agda: skip eval errors in allPackages

This fixes `agda.tests.allPackages`, which currently fails when aliases
are enabled because `agdaPackages.generic` throws an evaluation error.
---
 pkgs/build-support/agda/lib.nix | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/pkgs/build-support/agda/lib.nix b/pkgs/build-support/agda/lib.nix
index c11c17e668a9..f685b1e1bd39 100644
--- a/pkgs/build-support/agda/lib.nix
+++ b/pkgs/build-support/agda/lib.nix
@@ -21,5 +21,10 @@
     Takes an arbitrary derivation and says whether it is an agda library package
     *  that is not marked as broken.
   */
-  isUnbrokenAgdaPackage = pkg: pkg.isAgdaDerivation or false && !pkg.meta.broken;
+  isUnbrokenAgdaPackage =
+    pkg:
+    let
+      r = builtins.tryEval (pkg.isAgdaDerivation or false && !pkg.meta.broken);
+    in
+    r.success && r.value;
 }