From 7cdf6648a54a5f05af53de534c2d8a38aab87ae3 Mon Sep 17 00:00:00 2001 From: Paul Chiusano Date: Tue, 11 Jun 2019 17:51:36 -0400 Subject: [PATCH] Update v0-DRAFT.markdown --- docs/repoformats/v0-DRAFT.markdown | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/docs/repoformats/v0-DRAFT.markdown b/docs/repoformats/v0-DRAFT.markdown index 6c6ffada5..6575ee864 100644 --- a/docs/repoformats/v0-DRAFT.markdown +++ b/docs/repoformats/v0-DRAFT.markdown @@ -19,6 +19,12 @@ Documentation of the Unison codebase repo format. DRAFT, still evolving. We'll f patches/.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: * It's quite possible to have multiple definitions with the same hash, if Alice and Bob implement a thing with the same hash independently.