diff options
| author | Jan Tojnar <jtojnar@gmail.com> | 2023-03-31 06:23:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-31 06:23:39 +0200 |
| commit | e69f9c07baa785481bdbce4bb5de3cbfc10c37bf (patch) | |
| tree | 16fcb1cd6f1f4ff5ffd15b87f5d111904ec8ac9e | |
| parent | Merge pull request #223995 from marsam/update-bazel-buildtools (diff) | |
| download | nixpkgs-origin/jtojnar/deps-nd-fix.tar.gz | |
doc/stdenv/Dependencies: fix inference rule var nameorigin/jtojnar/deps-nd-fix
t0 is mentioned in the conclusion so we cannot use placeholder in the premise.
| -rw-r--r-- | doc/stdenv/stdenv.chapter.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/stdenv/stdenv.chapter.md b/doc/stdenv/stdenv.chapter.md index 081d1e778fe8..9ac044cc6c98 100644 --- a/doc/stdenv/stdenv.chapter.md +++ b/doc/stdenv/stdenv.chapter.md @@ -253,7 +253,7 @@ propagated-dep(mapOffset(h0, t0, h1), ``` let mapOffset(h, t, i) = i + (if i <= 0 then h else t - 1) -dep(h0, _, A, B) +dep(h0, t0, A, B) propagated-dep(h1, t1, B, C) h0 + h1 in {-1, 0, 1} h0 + t1 in {-1, 0, -1} |