about summary refs log tree commit diff
path: root/doc/manual/expressions/language-constructs.xml
diff options
context:
space:
mode:
authorDomen Kožar <domen@enlambda.com>2017-10-30T11·21+0100
committerGitHub <noreply@github.com>2017-10-30T11·21+0100
commit5cb78053f01ec82bcb8034a0afefa44fc82b5e72 (patch)
treed0b2c0028d7a5c73ddc428e82820eace6d410caa /doc/manual/expressions/language-constructs.xml
parente38382895deef4c136b7425f480884d122f3c5ae (diff)
parent842ce8bafd89a896680d8614ffb2b08b6b38452a (diff)
Merge pull request #1633 from orivej/doc
Update the language documentation
Diffstat (limited to 'doc/manual/expressions/language-constructs.xml')
-rw-r--r--doc/manual/expressions/language-constructs.xml15
1 files changed, 14 insertions, 1 deletions
diff --git a/doc/manual/expressions/language-constructs.xml b/doc/manual/expressions/language-constructs.xml
index fe69dba837a1..2f0027d479cd 100644
--- a/doc/manual/expressions/language-constructs.xml
+++ b/doc/manual/expressions/language-constructs.xml
@@ -333,7 +333,20 @@ with (import ./definitions.nix); ...</programlisting>
 
 makes all attributes defined in the file
 <filename>definitions.nix</filename> available as if they were defined
-locally in a <literal>rec</literal>-expression.</para>
+locally in a <literal>let</literal>-expression.</para>
+
+<para>The bindings introduced by <literal>with</literal> do not shadow bindings
+introduced by other means, e.g.
+
+<programlisting>
+let a = 3; in with { a = 1; }; let a = 4; in with { a = 2; }; ...</programlisting>
+
+establishes the same scope as
+
+<programlisting>
+let a = 1; in let a = 2; in let a = 3; in let a = 4; in ...</programlisting>
+
+</para>
 
 </simplesect>