From afd550dc8245e61ab6b148c72cdf133e6b7836d1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Fri, 27 Sep 2024 20:30:25 +0200
Subject: Default and context-provided values for function arguments

---
 src/Test/Builtins.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Test')

diff --git a/src/Test/Builtins.hs b/src/Test/Builtins.hs
index b768bb9..3f42335 100644
--- a/src/Test/Builtins.hs
+++ b/src/Test/Builtins.hs
@@ -20,7 +20,7 @@ getArg (FunctionArguments args) kw =
         _ -> error "parameter mismatch"
 
 builtinGuard :: SomeVarValue
-builtinGuard = SomeVarValue (FunctionArguments $ M.singleton Nothing (ExprTypePrim (Proxy @Bool))) $
+builtinGuard = SomeVarValue (FunctionArguments $ M.singleton Nothing (SomeArgumentType (NoDefault @Bool))) $
     \sline args -> TestBlock [ Guard sline (getArg args Nothing) ]
 
 builtinWait :: SomeVarValue
-- 
cgit v1.2.3