Skip to content

doc/glossary: Define output closure and runtime closure #8311

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
fricklerhandwerk merged 1 commit into from
Apr 19, 2024
Merged

doc/glossary: Define output closure and runtime closure #8311

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions doc/manual/src/glossary.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -215,6 +215,9 @@

[output path]: #gloss-output-path

- [output closure]{#gloss-output-closure}\
The [closure] of an [output path]. It only contains what is [reachable] from the output.
Copy link
Member Author

@roberth roberth Apr 19, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Maybe add an editing note, to add to the relevance.

Suggested change
The [closure] of an [output path]. It only contains what is [reachable] from the output.
The [closure] of an [output path]. It only contains what is [reachable] from the output.
<!-- It is not the closure over the outputOf relation, which we'll leave out because it's a "dynamic derivations" thought that needs some deep thinking to even come up with, certainly as long as people aren't used to RFC 92 -->

Copy link
Contributor

@fricklerhandwerk fricklerhandwerk Apr 19, 2024 •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Probably not necessary here, but I understand what you mean. This would be for one of your brilliant design issues.


- [deriver]{#gloss-deriver}

The [store derivation] that produced an [output path].
Expand Down