thread-schedule-terminate! may be better. 'Request' may imply that the receiving thread needs to take some action.
On Tue, Mar 7, 2023 at 11:11 PM Marc Nieper-Wißkirchen < marc.nie...@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 < > shiro.ka...@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! ? > > >
