thread-stop! name conflict Shiro Kawai (08 Mar 2023 09:03 UTC)
Re: thread-stop! name conflict Marc Nieper-Wißkirchen (08 Mar 2023 09:11 UTC)
Re: thread-stop! name conflict Shiro Kawai (08 Mar 2023 09:15 UTC)
Re: thread-stop! name conflict Vladimir Nikishkin (08 Mar 2023 09:18 UTC)
Re: thread-stop! name conflict Marc Nieper-Wißkirchen (08 Mar 2023 09:21 UTC)

Re: thread-stop! name conflict Marc Nieper-Wißkirchen 08 Mar 2023 09:21 UTC

Am Mi., 8. März 2023 um 10:18 Uhr schrieb Vladimir Nikishkin
<xxxxxx@gmail.com>:
>
> This is totally inappropriate, but I cannot resist suggesting
> thread-please-stop! and thread-force-stop-at!

https://en.wikipedia.org/wiki/INTERCAL

:)

Marc

>
> 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.)