From 14efffc66cb60465c18c984311bde5a5502803db Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Thu, 13 Feb 2025 21:03:00 +0100
Subject: Evaluate functions in parameters via unifyExpr

---
 src/Test.hs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/Test.hs')

diff --git a/src/Test.hs b/src/Test.hs
index 0f65b3c..82303f8 100644
--- a/src/Test.hs
+++ b/src/Test.hs
@@ -529,7 +529,6 @@ exprArgs = \case
 funFromSomeVarValue :: forall a m. (ExprType a, MonadFail m) => SourceLine -> FqVarName -> SomeVarValue -> m (FunctionType a)
 funFromSomeVarValue sline name (SomeVarValue (VarValue _ args value :: VarValue b)) = do
     maybe (fail err) return $ do
-        guard $ not $ anull args
         FunctionType <$> cast (value sline)
   where
     err = T.unpack $ T.concat [ T.pack "expected function returning ", textExprType @a Proxy, T.pack ", but variable '", textFqVarName name, T.pack "' has ",
-- 
cgit v1.2.3