aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorValentin Gagarin <valentin.gagarin@tweag.io>2023-01-17 12:33:23 +0100
committerValentin Gagarin <valentin.gagarin@tweag.io>2023-01-17 12:33:23 +0100
commit9be3c6c7c77ade79446f0d6349c6e4b82ccbbb83 (patch)
treeefce7928656d5cecc86d265fa0fa51b80a1b693d
parent59f03437c2015259c228a4926e1e2f484dfa505b (diff)
add note on self-references and cycles
Co-authored-by: John Ericson <git@JohnEricson.me>
-rw-r--r--doc/manual/src/glossary.md6
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/manual/src/glossary.md b/doc/manual/src/glossary.md
index cf0cf2294..fa52b6937 100644
--- a/doc/manual/src/glossary.md
+++ b/doc/manual/src/glossary.md
@@ -118,9 +118,9 @@
A [store object] `O` is said to have a *reference* to a store object `P` if the [store path] of `P` appears in the contents of `O`.
The *references* of a store object `O` are the set of store objects to which `O` has a reference.
- Source files have no references.
- A [store derivation] can only reference source files and other store derivations, including itself.
- In contrast, a store object that was produced from a [derivation] can only reference other "derived" store objects.
+ Store objects can refer to both other store objects and themselves.
+ References from a store object to itself are called *self-references*.
+ References other than a self-reference must not form a cycle.
[reference]: #gloss-reference