bug#31162: "guix pull" broke itself

[Ricardo Wurmus]

Hi,

Danny Milosavljevic <address@hidden> writes:

> Hi Ludo,
>
> I've checked guix-packages now and I see:
>
> $ bzless $(guix build --log-file 
> /gnu/store/q0s172fgb213c4jk7hvgkzsw0i1bq6j0-guix-packages.drv)
>
> ...
>  31.4% of 407 files^Mcompiling...        31.7% of 407 files^Mcompiling...     
>    31.9% of 407 files^Mcompiling...        32.2% of 407 files^Mcompiling...   
>      32.4% of 407 files^Mcompiling...        32.7% of 407 files^Mcompiling... 
>        32.9% of 407 files^Mcompiling...        33.2% of 407 
> files^Mcompiling...        33.4% of 407 files^Mcompiling...        33.7% of 
> 407 files^Mcompiling...        33.9% of 407 files^Mcompiling...        34.2% 
> of 407 files^Mcompiling...        34.4% of 407 files^Mcompiling...        
> 34.6% of 407 files^Mcompiling...        34.9% of 407 files^Mcompiling...      
>   35.1% of 407 files^Mcompiling...        35.4% of 407 files^Mcompiling...    
>     35.6% of 407 files^Mcompiling...        35.9% of 407 files^Mcompiling...  
>       36.1% of 407 files^Mcompiling...        36.4% of 407 
> files^Mcompiling...        36.6% of 407 files^Mcompiling...        36.9% of 
> 407 files^Mcompiling...        37.1% of 407 files^Mcompiling...
>         37.3% of 407 files^Mcompiling...        37.6% of 407 
> files^Mcompiling...        37.8% of 407 files^Mcompiling...        38.1% of 
> 407 files^Mcompiling...        38.3% of 407 filesIn thread:
> unexpected syntax
> In thread:
> no code for module (guix licenses)
> ^Mcompiling...   38.6% of 407 filesIn thread:
> no code for module (guix licenses)
> ^Mcompiling...   38.8% of 407 filesIn thread:
> no code for module (guix licenses)
> ^Mcompiling...  100.0% of 407 files
>
> (Deleting ~/.cache/guile and ~/.cache/guix didn't help)

I believe that this can no longer happen since the new “guix pull”
(aside from the infamous miscompilation bug #27476).

I’m closing this, but feel free to reopen if this can be reproduced with
the new “guix pull” implementation.

~~ Ricardo