about summary refs log tree commit diff
diff options
context:
space:
mode:
authorAdam Joseph <adam@westernsemico.com>2022-10-30T20·35-0700
committerAdam Joseph <adam@westernsemico.com>2022-10-30T21·08+0000
commitcc3060ed7cd181a1f44a498673ced8e39acba8ab (patch)
tree945fc1a48fca302ba29bc2d7c7af8a537aa64ace
parent313a24e4de935576193519ea196dbcbf378a98b4 (diff)
docs(tvix/eval): builtins.md: mark impure r/5224
I believe that the currentTime, findFile, hashFile, pathExists,
readDir, path (unless ?sha256), and readFile builtins are impure.
This commit marks them as such in docs/builtins.md.

Change-Id: Ib1b59fe643dde73cb2b00050b4ef9d3401ad22eb
Signed-off-by: Adam Joseph <adam@westernsemico.com>
Reviewed-on: https://cl.tvl.fyi/c/depot/+/7139
Reviewed-by: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
-rw-r--r--tvix/eval/docs/builtins.md14
1 files changed, 7 insertions, 7 deletions
diff --git a/tvix/eval/docs/builtins.md b/tvix/eval/docs/builtins.md
index 27ee363a0b57..cb0cc828d29a 100644
--- a/tvix/eval/docs/builtins.md
+++ b/tvix/eval/docs/builtins.md
@@ -31,7 +31,7 @@ See also https://nixos.org/manual/nix/stable/expressions/builtins.html
 | concatMap                     | false  |       |       |
 | concatStringsSep              | false  |       |       |
 | currentSystem                 | false  |       |       |
-| currentTime                   | false  |       |       |
+| currentTime                   | false  |       | false |
 | deepSeq                       | false  |       |       |
 | derivation                    | true   |       |       |
 | derivationStrict              | true   |       |       |
@@ -46,7 +46,7 @@ See also https://nixos.org/manual/nix/stable/expressions/builtins.html
 | fetchurl                      | false  |       |       |
 | filter                        | false  |       |       |
 | filterSource                  | false  |       |       |
-| findFile                      | false  |       |       |
+| findFile                      | false  |       | false |
 | foldl'                        | false  |       |       |
 | fromJSON                      | false  |       |       |
 | fromTOML                      | true   |       |       |
@@ -58,7 +58,7 @@ See also https://nixos.org/manual/nix/stable/expressions/builtins.html
 | getEnv                        | false  |       | false |
 | hasAttr                       | false  |       |       |
 | hasContext                    | false  |       |       |
-| hashFile                      | false  |       |       |
+| hashFile                      | false  |       | false |
 | hashString                    | false  |       |       |
 | head                          | false  |       |       |
 | import                        | true   |       |       |
@@ -85,11 +85,11 @@ See also https://nixos.org/manual/nix/stable/expressions/builtins.html
 | null                          | true   |       |       |
 | parseDrvName                  | false  |       |       |
 | partition                     | false  |       |       |
-| path                          | false  |       |       |
-| pathExists                    | false  |       |       |
+| path                          | false  |       | sometimes |
+| pathExists                    | false  |       | false |
 | placeholder                   | true   |       |       |
-| readDir                       | false  |       |       |
-| readFile                      | false  |       |       |
+| readDir                       | false  |       | false |
+| readFile                      | false  |       | false |
 | removeAttrs                   | true   |       |       |
 | replaceStrings                | false  |       |       |
 | scopedImport                  | true   |       |       |