agda: skip eval errors in allPackages (#502548)

2026-03-25 00:29:13 +00:00
parent 5185983560 388d2251ee
commit 67a9f0aedd
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;
 }