Re: thread-stop! name conflict
Vladimir Nikishkin 08 Mar 2023 09:18 UTC
This is totally inappropriate, but I cannot resist suggesting
thread-please-stop! and thread-force-stop-at!
On Wed, 8 Mar 2023 at 17:11, Marc Nieper-Wißkirchen
<xxxxxx@gmail.com> wrote:
>
> I don't see a reason not to rename thread-stop!
>
> thread-request-terminate! sounds good.
>
> thread-schedule-terminate! is an alternative.
>
> Marc
>
> Am Mi., 8. März 2023 um 10:03 Uhr schrieb Shiro Kawai <xxxxxx@gmail.com>:
> >
> > Sorry for the last minute comment. Gauche has thread-stop!, but it just suspends the execution of thread, e.g. for debugging. Stopped thread can be resumed later.
> > Can it be something like thread-requerst-terminate! ?
> >
--
Yours sincerely, Vladimir Nikishkin
(Sent from GMail web interface.)