Re: [racket-users] drracket migrate: package is currently installed in a wider scope

2019-02-01 Thread Laurent
Thanks for the fast fix Matthew!
It should help at least for those who install the nightlies but haven't
upgraded yet.

On Fri, Feb 1, 2019 at 4:46 PM Matthew Flatt  wrote:

> At Fri, 1 Feb 2019 15:45:02 +, Laurent wrote:
> > Okay, I think the problem is that DrRacket's dependency installed
> > quickscript, and trying to migrate your own version of quickscript
> > afterwards fails because it's already there.
>
> Although the package-migrate tool was intended to skip packages that
> are already installed, this example hits a corner that we didn't
> anticipate --- although, in retrospect, it's not an unlikely case:
>
>  1) the package is installed, but as a dependency of some other
> explicitly installed package; and
>
>   2) the existing install is in a wider scope than the target scope for
>  migration.
>
> In that case, the migration tool attempts to upgrade "auto-installed as
> a dependency" to "explicitly installed", and that fails due to being in
> the wrong scope.
>
> One the solution is to have migrate not try to upgrade a package from
> auto-installed if it's already installed, and I've pushed that change.
> It doesn't help with 7.1 -> 7.2, but it should help in the future.
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


Re: [racket-users] drracket migrate: package is currently installed in a wider scope

2019-02-01 Thread Matthew Flatt
At Fri, 1 Feb 2019 15:45:02 +, Laurent wrote:
> Okay, I think the problem is that DrRacket's dependency installed
> quickscript, and trying to migrate your own version of quickscript
> afterwards fails because it's already there.

Although the package-migrate tool was intended to skip packages that
are already installed, this example hits a corner that we didn't
anticipate --- although, in retrospect, it's not an unlikely case:

 1) the package is installed, but as a dependency of some other
explicitly installed package; and

  2) the existing install is in a wider scope than the target scope for
 migration.

In that case, the migration tool attempts to upgrade "auto-installed as
a dependency" to "explicitly installed", and that fails due to being in
the wrong scope.

One the solution is to have migrate not try to upgrade a package from
auto-installed if it's already installed, and I've pushed that change.
It doesn't help with 7.1 -> 7.2, but it should help in the future.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


Re: [racket-users] drracket migrate: package is currently installed in a wider scope

2019-02-01 Thread Laurent
Okay, I think the problem is that DrRacket's dependency installed
quickscript, and trying to migrate your own version of quickscript
afterwards fails because it's already there.

I guess the solution would be to remove *your* previous version of
quickscript, then trying to migrate again. (No need to remove
quickscript-extra, if you've installed it, since it is not in DrRacket's
dependencies.)

Glad you like it in any case :)

On Fri, Feb 1, 2019 at 2:47 PM andrew blinn  wrote:

> Hi Laurent!
>
> I may be misattributing the error. I did indeed already have quickscript
> installed as part of my previous installation. After updating, when I tried
> to restore my previous packages (which include quickscript), it aborts with
> the titular error, whose body text implicates the fact that quickscript is
> already installed. My expectation would be that it would proceed to
> reinstall the other non-conflicting packages, but this doesn't happen. In
> any case, the issue seems to lie with the package restore functionality,
> not quickscript itself.
>
> Loving quickscript, by the way. Installed it immediately after your
> racketcon presentation.
>
> On Friday, February 1, 2019 at 5:16:54 AM UTC-5, Laurent Orseau wrote:
>>
>> Hi Andrew,
>>
>> I don't quite understand what role quickscript being part of the main
>> distribution plays here. Can you give some more details about your issue?
>>
>> Just in case, the only change is that quickscript is by default a
>> dependency of DrRacket, which just means that if you didn't have it before,
>> now you would. But it shouldn't change anything else AFAIU.
>>
>> On Thu, Jan 31, 2019, 20:28 andrew blinn >
>>> After updating to 7.2, I got this message after trying to use the "copy
>>> from version" menu option in the package manager to restore my packages
>>> from 7.1, due to quickscript being added to the standard distribution. This
>>> seems like it should be a simple enough issue to address, but I was unable
>>> to find any way to continue and restore the other non-conflicting packages
>>> through the GUI.
>>>
>>> Searching revealed nothing, so I've manually reinstalled my packages. I
>>> thought I'd make a post here though in case there's a simpler solution.
>>>
>>> --
>>> You received this message because you are subscribed to the Google
>>> Groups "Racket Users" group.
>>> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to racket-users...@googlegroups.com.
>>> For more options, visit https://groups.google.com/d/optout.
>>>
>> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


Re: [racket-users] drracket migrate: package is currently installed in a wider scope

2019-02-01 Thread andrew blinn
Hi Laurent!

I may be misattributing the error. I did indeed already have quickscript 
installed as part of my previous installation. After updating, when I tried 
to restore my previous packages (which include quickscript), it aborts with 
the titular error, whose body text implicates the fact that quickscript is 
already installed. My expectation would be that it would proceed to 
reinstall the other non-conflicting packages, but this doesn't happen. In 
any case, the issue seems to lie with the package restore functionality, 
not quickscript itself.

Loving quickscript, by the way. Installed it immediately after your 
racketcon presentation.

On Friday, February 1, 2019 at 5:16:54 AM UTC-5, Laurent Orseau wrote:
>
> Hi Andrew,
>
> I don't quite understand what role quickscript being part of the main 
> distribution plays here. Can you give some more details about your issue?
>
> Just in case, the only change is that quickscript is by default a 
> dependency of DrRacket, which just means that if you didn't have it before, 
> now you would. But it shouldn't change anything else AFAIU.
>
> On Thu, Jan 31, 2019, 20:28 andrew blinn   wrote:
>
>> After updating to 7.2, I got this message after trying to use the "copy 
>> from version" menu option in the package manager to restore my packages 
>> from 7.1, due to quickscript being added to the standard distribution. This 
>> seems like it should be a simple enough issue to address, but I was unable 
>> to find any way to continue and restore the other non-conflicting packages 
>> through the GUI.
>>
>> Searching revealed nothing, so I've manually reinstalled my packages. I 
>> thought I'd make a post here though in case there's a simpler solution.
>>
>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "Racket Users" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to racket-users...@googlegroups.com .
>> For more options, visit https://groups.google.com/d/optout.
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


Re: [racket-users] drracket migrate: package is currently installed in a wider scope

2019-02-01 Thread Laurent
Hi Andrew,

I don't quite understand what role quickscript being part of the main
distribution plays here. Can you give some more details about your issue?

Just in case, the only change is that quickscript is by default a
dependency of DrRacket, which just means that if you didn't have it before,
now you would. But it shouldn't change anything else AFAIU.

On Thu, Jan 31, 2019, 20:28 andrew blinn  After updating to 7.2, I got this message after trying to use the "copy
> from version" menu option in the package manager to restore my packages
> from 7.1, due to quickscript being added to the standard distribution. This
> seems like it should be a simple enough issue to address, but I was unable
> to find any way to continue and restore the other non-conflicting packages
> through the GUI.
>
> Searching revealed nothing, so I've manually reinstalled my packages. I
> thought I'd make a post here though in case there's a simpler solution.
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.