diff options
author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-01-17 12:33:23 +0100 |
---|---|---|
committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-01-17 12:33:23 +0100 |
commit | 9be3c6c7c77ade79446f0d6349c6e4b82ccbbb83 (patch) | |
tree | efce7928656d5cecc86d265fa0fa51b80a1b693d /doc/manual | |
parent | 59f03437c2015259c228a4926e1e2f484dfa505b (diff) |
add note on self-references and cycles
Co-authored-by: John Ericson <git@JohnEricson.me>
Diffstat (limited to 'doc/manual')
-rw-r--r-- | doc/manual/src/glossary.md | 6 |
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 |