Re: thread-stop! name conflict
Marc Nieper-WiÃkirchen 08 Mar 2023 09:11 UTC
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! ?
>