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.
2026-03-23 12:32:51 +01:00
parent 6da6a4b219
commit 388d2251ee
1 changed files with 6 additions and 1 deletions
@@ -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;
 }