bug#56441: Time travel doesn't resist profile format changes

2022-07-08 Thread Ludovic Courtès
Hello, zimoun skribis: > It sounds good! Here a check from v1.3 to v0.16. > > $ for ci in a0178d34f582b50e9bdbb0403943129ae5b560ff \ > a099685659b4bfa6b3218f84953cbb7ff9e88063 \ > d62c9b2671be55ae0305bebfda17b595f33797f2 \ > d68de958b60426798ed62797ff

bug#56441: Time travel doesn't resist profile format changes

2022-07-08 Thread zimoun
Hi, On ven., 08 juil. 2022 at 12:36, Ludovic Courtès wrote: > Hi, > > Ludovic Courtès skribis: > >> Another option (thinking out loud): >> >> • in ‘package-cache-file’, unconditionally generate a v3 profile (we >> could add a ‘version’ field to etc.); >> >> • likewise in ‘channel-instan

bug#56441: Time travel doesn't resist profile format changes

2022-07-08 Thread Ricardo Wurmus
Attached is a patch that attempts to build the manifest in an inferior. This fails because manifest->gexp returns a gexp that we can’t get out of the inferior to pass to build-profile. So even more of the surrounding code would have to be evaluated in the inferior. @Ludo: your patch looks good to