Improve 'stdlib.any' to avoid computing the whole list

AdaCore · Mar 26, 2024 · 7d0e0ff · 7d0e0ff
1 parent a881b7e
commit 7d0e0ff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lkql_checker/share/lkql/stdlib.lkql b/lkql_checker/share/lkql/stdlib.lkql
@@ -25,7 +25,7 @@ fun all(iterable) =
 
 fun any(iterable) =
     |" Return whether at least one element in the given iterable is truthy
-    [x for x in iterable if x].length > 0
+    [x for x in iterable if x]?[1] != ()
 
 fun is_assert_pragma(s) =
     |" Return ``true`` if the string ``s`` is the name of an assert pragma