New constants about tools

[alshopov]

Bump version

[alshopov]

Land before racket/drracket#346

[rfindler]

I think that the tool-tool-phase string constant corresponds to an error in the tool that the developer should be fixing, not something that should show up to the actual user of DrRacket (or, put another way, there are many many more string constants that we would need to add if we wanted to have ones with the intended audience of that message). In contrast, the tool-error-phase1 message corresponds to a situation that is more of a generic catchall "something went wrong" that plausibly the end user would see. (That said, I wouldn't mind removing the tool-error-phase1 errors.)

... do you agree?

[alshopov]

I have no firm opinion on this one. Will you be OK if I just revert tool-tool-phase message to just a constant - as it was before? I will also update the string-constants package pull request.

[rfindler]

That sound simplest (and probably best) to me. Thank you!

…

On Sun, Feb 16, 2020 at 9:11 AM Alexander Shopov ***@***.***> wrote: I have no firm opinion on this one. Will you be OK if I just revert tool-tool-phase message to just a constant - as it was before? I will also update the string-constants package pull request. — You are receiving this because your review was requested. Reply to this email directly, view it on GitHub <#43?email_source=notifications&email_token=AADBNMF2F6UBXNP6Q3UYP63RDFJRPA5CNFSM4KWDRFIKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEL4JUJI#issuecomment-586717733>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AADBNMHZYALQRZUH5KN72E3RDFJRPANCNFSM4KWDRFIA> .

[alshopov]

That sound simplest...
Done. The corresponding PR racket/drracket#346 has also been updated and both are ready to land

[alshopov]

Land before #44