From e06402099ce256405610d0be64760266f969dcd0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Sun, 5 Apr 2026 11:47:12 +0200 Subject: Custom signals to kill spawned process Changelog: Added `killwith` clause to set a signal used to terminate `spawn`ed process. --- src/Test/Builtins.hs | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) (limited to 'src/Test/Builtins.hs') diff --git a/src/Test/Builtins.hs b/src/Test/Builtins.hs index 5f9f890..3dc6554 100644 --- a/src/Test/Builtins.hs +++ b/src/Test/Builtins.hs @@ -9,17 +9,20 @@ import Data.Scientific import Data.Text (Text) import Process +import Process.Signal import Script.Expr import Test builtins :: GlobalDefs -builtins = M.fromList - [ fq "send" builtinSend - , fq "flush" builtinFlush - , fq "ignore" builtinIgnore - , fq "guard" builtinGuard - , fq "multiply_timeout" builtinMultiplyTimeout - , fq "wait" builtinWait +builtins = M.fromList $ concat + [ [ fq "send" builtinSend + , fq "flush" builtinFlush + , fq "ignore" builtinIgnore + , fq "guard" builtinGuard + , fq "multiply_timeout" builtinMultiplyTimeout + , fq "wait" builtinWait + ] + , map (uncurry fq) signalBuiltins ] where fq name impl = (( ModuleName [ "$" ], VarName name ), impl ) -- cgit v1.2.3