diff --git a/doc/manual/expressions/builtins.xml b/doc/manual/expressions/builtins.xml
index 4c1d618e9..f73d2e1ae 100644
--- a/doc/manual/expressions/builtins.xml
+++ b/doc/manual/expressions/builtins.xml
@@ -1607,12 +1607,18 @@ stdenv.mkDerivation (rec {
builtins.tryEval
e
- Try to evaluate e.
+ Try to shallowly evaluate e.
Return a set containing the attributes success
(true if e evaluated
successfully, false if an error was thrown) and
value, equalling e
- if successful and false otherwise.
+ if successful and false otherwise. Note that this
+ doesn't evaluate e deeply, so
+ let e = { x = throw ""; }; in (builtins.tryEval e).success
+ will be true. Using builtins.deepSeq
+ one can get the expected result: let e = { x = throw "";
+ }; in (builtins.tryEval (builtins.deepSeq e e)).success will be
+ false.