unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-13 09:55:35 +03:00
Code Issues Projects Releases Wiki Activity

Update v0-DRAFT.markdown

Browse Source
This commit is contained in:
Paul Chiusano 2019-06-11 17:51:36 -04:00 committed by GitHub
parent 7ed6d2b3e2
commit 7cdf6648a5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
docs/repoformats/v0-DRAFT.markdown
View File

@ -19,6 +19,12 @@ Documentation of the Unison codebase repo format. DRAFT, still evolving. We'll f
patches/<hash>.up -- patches, linked from the branches patches/<hash>.up -- patches, linked from the branches
``` ```
`dependents` is updated in the following way:
* When a definition `d` is added, we compute its hash, `h`, and the dependencies of `d`. For each `dep` in the dependencies of `d`, we `h` to the `dependents` directory, under `dependents/dep/h`. `h` is just an empty file, a link to a definition.
* Note: the dependencies of a term `d` includes the dependencies of `d`'s _type_.
* Note: git merge of `dependents` does the right thing
Something that still needs working out: Something that still needs working out:
* It's quite possible to have multiple definitions with the same hash, if Alice and Bob implement a thing with the same hash independently. * It's quite possible to have multiple definitions with the same hash, if Alice and Bob implement a thing with the same hash independently.