Re: [PATCH] finalizer API (was: thread-safe handling of asynchronous events)

2023-07-18 Thread Peter Bex
On Fri, Jul 07, 2023 at 10:43:29AM +0200, felix.winkelm...@bevuta.com wrote: > Here another attempt at a finalizer API, allowing adding > finalized objects to an existing finalizer after it was > created. Thanks, I've pushed both this and the srfi 18 changes. Should we tag a new srfi-18 release?

[PATCH] finalizer API (was: thread-safe handling of asynchronous events)

2023-07-07 Thread felix . winkelmann
Here another attempt at a finalizer API, allowing adding finalized objects to an existing finalizer after it was created. felix From 89b181be98685943425aae646ee724e9d59a2bec Mon Sep 17 00:00:00 2001 From: felix Date: Fri, 7 Jul 2023 10:40:58 +0200 Subject: [PATCH] Added thread-safe finalization