mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Tweak wording around provider purity

This commit is contained in:
Camelid 2021-01-03 16:24:53 -08:00 committed by Joshua Nelson
parent d225a12cab
commit a0cdbb5675
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/queries/query-evaluation-model-in-detail.md
View File

@ -38,10 +38,10 @@ corresponding result. However, we have to apply some restrictions in order for
this to be sound: this to be sound:
- The key and result must be immutable values. - The key and result must be immutable values.
- The provider function must be a pure function, that is, for the same key it - The provider function must be a pure function in the sense that for the same
must always yield the same result. key it must always yield the same result.
- The only parameters a provider function takes are the key and a reference to - The only parameters a provider function takes are the key and a reference to
the "query context" (which provides access to rest of the "database"). the "query context" (which provides access to the rest of the "database").
The database is built up lazily by invoking queries. The query providers will The database is built up lazily by invoking queries. The query providers will
invoke other queries, for which the result is either already cached or computed invoke other queries, for which the result is either already cached or computed