From a898045841ac33e6b2b1420912ba4d4ca5161a59 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,