lix-project/lix
20
58
Fork 31
Code Issues 359 Code Review (Gerrit) Projects 3 Releases Wiki Activity

Describe "with" scoping precedence

Browse source
This commit is contained in:
Orivej Desh 2017-10-26 18:50:30 +00:00
parent e5c499b833
commit 15457c5673
1 changed files with 14 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
doc/manual/expressions/language-constructs.xml
View file

@ -333,7 +333,20 @@ with (import ./definitions.nix); ...</programlisting>
makes all attributes defined in the file makes all attributes defined in the file
<filename>definitions.nix</filename> available as if they were defined <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> </simplesect>