John Ericson
5ee937523d
Add back copyClosure for plain StorePaths
...
This was removed in 2e199673a5 when
`copyPath` transitioned to use `RealisedPath`. But then in
e9848beca7 we added it back just for
`realisedPath`.
I think it is a good utility function --- one can easily imagine it
becoming optimized in the future, and copying paths *violating* the
closure is a very niche feature.
So if we have `copyPaths` for both sorts of paths, I think we should
have `copyClosure` for both sorts too.
2022-01-20 20:57:44 +00:00
..
2021-08-08 14:05:38 +02:00
2021-01-21 11:02:09 +01:00
2021-07-30 10:34:28 -07:00
2021-05-04 10:35:34 +02:00
2020-03-24 14:06:47 +01:00
2021-05-26 16:59:09 +02:00
2020-09-22 11:40:19 +02:00
2020-09-17 20:21:04 +02:00
2021-01-06 17:56:53 +01:00
2021-01-06 17:04:46 +01:00
2021-07-26 13:31:09 +02:00
2020-10-06 10:40:07 +02:00
2021-07-22 09:59:51 +02:00
2021-03-17 11:27:11 +01:00
2021-05-17 16:15:40 +02:00
2021-05-17 08:45:08 +02:00
2021-07-22 09:59:51 +02:00
2020-09-30 00:41:18 +00:00
2021-04-23 07:30:05 +01:00
2021-01-07 21:51:46 +01:00
2020-12-15 20:10:46 +01:00
2021-06-18 17:04:11 +02:00
2021-03-26 16:14:38 +01:00
2021-07-21 14:27:37 +02:00
2020-12-20 15:47:14 +00:00
2021-07-22 09:59:51 +02:00
2021-05-04 10:35:34 +02:00
2020-12-15 20:10:46 +01:00
2021-06-18 17:04:11 +02:00
2021-07-16 11:48:41 +02:00
2021-06-23 11:27:14 +02:00
2021-06-23 15:00:36 +00:00
2020-10-11 16:44:19 +00:00
2020-10-11 16:44:07 +00:00
2021-06-23 22:09:22 +01:00
2020-08-12 18:13:00 +00:00
2021-06-23 10:07:08 +02:00
2021-01-08 12:22:21 +01:00
2020-09-21 18:22:45 +02:00
2020-12-15 20:10:46 +01:00
2020-07-13 17:30:42 +02:00
2021-05-10 17:47:14 +02:00
2021-05-06 17:38:20 +02:00
2021-01-08 12:22:21 +01:00
2020-08-06 18:31:48 +00:00
2019-03-14 14:11:12 +01:00
2021-06-18 17:04:11 +02:00
2021-07-12 17:32:23 +02:00
2021-07-12 17:32:23 +02:00
2021-07-26 13:31:09 +02:00
2021-07-26 13:31:09 +02:00
2021-04-05 09:52:25 -04:00
2021-04-05 10:33:28 -04:00
2021-04-05 08:31:37 -04:00
2021-04-05 08:31:37 -04:00
2020-05-03 08:01:25 -06:00
2019-08-02 18:39:16 +02:00
2021-07-12 15:04:46 +02:00
2020-09-03 11:06:56 +02:00
2021-07-16 11:48:41 +02:00
2021-07-22 09:59:51 +02:00
2021-08-07 19:10:25 +02:00
2020-12-02 14:17:27 +01:00
2020-12-15 20:10:46 +01:00
2020-12-15 20:10:46 +01:00
2021-07-26 13:31:09 +02:00
2021-07-26 13:31:09 +02:00
2020-12-20 15:47:14 +00:00
2020-12-20 15:47:14 +00:00
2020-04-08 22:26:57 +02:00
2021-05-17 01:24:31 +01:00
2017-06-06 18:44:49 +02:00
2017-05-31 17:25:51 +02:00
2016-08-10 18:05:35 +02:00
2021-03-22 14:57:41 +00:00
2021-01-21 11:02:09 +01:00
2020-06-17 10:26:52 +02:00
2021-02-25 09:17:34 -05:00
2021-04-07 13:10:02 +02:00
2021-02-25 09:17:34 -05:00
2022-01-20 20:57:44 +00:00
2022-01-20 20:57:44 +00:00
2020-12-20 15:47:14 +00:00
2020-12-20 15:47:14 +00:00
2021-07-26 13:31:09 +02:00