From 5610f8d67c1fb5e5bec951cca1b3e810b03fc922 Mon Sep 17 00:00:00 2001 From: Edsko de Vries Date: Wed, 4 Dec 2024 15:13:20 +0100 Subject: [PATCH] Export `KilledByThreadManager` exception so that it can be caught, if necessary --- time-manager/System/ThreadManager.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/time-manager/System/ThreadManager.hs b/time-manager/System/ThreadManager.hs index ed0ad6157..552dc2274 100644 --- a/time-manager/System/ThreadManager.hs +++ b/time-manager/System/ThreadManager.hs @@ -8,6 +8,7 @@ module System.ThreadManager ( ThreadManager, newThreadManager, stopAfter, + KilledByThreadManager(..), -- * Fork forkManaged,