diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-20T12·39+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-20T12·39+0000 |
| commit | 624c48260f1b4eec86daa0da5f33d4cbb963a361 (patch) | |
| tree | bb0274a797cf79a65ad5bd23ed73a5483c2f5dc4 /externals | |
| parent | 710175e6a0f737f108e802d6b0c3de0af04e500c (diff) | |
* Change the abstract syntax of slices. It used to be that ids were used as
keys to reference slice elements, e.g.,
Slice(["1ef7..."], [("/nix/store/1ef7...-foo", "1ef7", ["8c99..."]), ...])
This was wrong, since ids represent contents, not locations. Therefore we
now have:
Slice(["/nix/store/1ef7..."], [("/nix/store/1ef7...-foo", "1ef7", ["/nix/store/8c99-..."]), ...])
* Fix a bug in the computation of slice closures that could cause slice
elements to be duplicated.
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions