I'm not quite following from the thread, but it sure sounds like there is a bug in raco setup (or similar) somewhere that isn't reporting an error properly. Is that the case?
Robby On Tue, Sep 28, 2021 at 4:12 PM David Storrs <[email protected]> wrote: > > > On Tue, Sep 28, 2021 at 3:30 PM Ben Greenman <[email protected]> > wrote: > >> On 9/28/21, David Storrs <[email protected]> wrote: >> >> > Also, any ideas on why the remove fails? >> > >> > $ raco pkg remove try-catch >> > raco pkg remove: invalid `deps' specification >> > specification: '("base" racket/format racket/string) >> > >> > That is not the deps specification from the info.rkt file so I don't >> know >> > where it's getting that. >> >> Some package somewhere must have that bad info.rkt file. >> >> A plain "raco setup" might be the quickest way to find the bad one. >> That should print the name of every package as it goes through them. > > > It did show them right up to the point where it bonked but did not show > the name of the one it bonked on. Fortunately, since you told me what the > issue was I was able to find it with a simple: > > $ find . -name official-racket -prune -o -name info.rkt -exec grep -l > 'racket/format' \{} \; > > Thanks! > > >> -- >> 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 [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/racket-users/CAFUu9R5%3DCL-_wfB52aG82Vg9y%2B9HKpQhxk_dX08ub5Ln948QGQ%40mail.gmail.com >> . >> > -- > 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 [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/CAE8gKoevcaM26JaaBYVZCORxsXJXVUO9zZNJYR2UPcH_94Rb8Q%40mail.gmail.com > <https://groups.google.com/d/msgid/racket-users/CAE8gKoevcaM26JaaBYVZCORxsXJXVUO9zZNJYR2UPcH_94Rb8Q%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAL3TdOP9gkGbi%3DnN7s1SeTTDebpFU1wxt1a%2BYaR6L_1xPwPzMQ%40mail.gmail.com.
