From f0eed671c65a31eeb34ece14547bea79eb753728 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Tue, 15 Apr 2025 21:59:08 +0200 Subject: Parametrize test block with return type --- src/Run.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/Run.hs') diff --git a/src/Run.hs b/src/Run.hs index 66a097e..ed91936 100644 --- a/src/Run.hs +++ b/src/Run.hs @@ -111,8 +111,9 @@ evalGlobalDefs :: [ (( ModuleName, VarName ), SomeExpr ) ] -> GlobalDefs evalGlobalDefs exprs = fix $ \gdefs -> builtins `M.union` M.fromList (map (fmap (evalSomeWith gdefs)) exprs) -evalBlock :: TestBlock -> TestRun () -evalBlock (TestBlock steps) = forM_ steps $ \case +evalBlock :: TestBlock () -> TestRun () +evalBlock EmptyTestBlock = return () +evalBlock (TestBlockStep prev step) = evalBlock prev >> case step of Subnet name parent inner -> do withSubnet parent (Just name) $ evalBlock . inner -- cgit v1.2.3