From 62b65e16f5ef4e59dcfbdc10ae2b3cd419d79d7a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Fri, 1 May 2026 10:02:50 +0200
Subject: Parsing distinction for single-word and function-call terms

---
 src/Parser.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/Parser.hs')

diff --git a/src/Parser.hs b/src/Parser.hs
index e3d174e..619543f 100644
--- a/src/Parser.hs
+++ b/src/Parser.hs
@@ -64,7 +64,7 @@ parseTestDefinition = label "test definition" $ toplevel ToplevelTest $ do
         name <- try $ identifier <* osymbol ":"
         case name of
             "tag" -> do
-                Just <$> typedExpr <* eol <* scn
+                Just <$> typedExpr FunctionTerm <* eol <* scn
             _ -> do
                 registerParseError $ FancyError off $ S.singleton $ ErrorFail $
                     "unexpected test metadata ‘" <> T.unpack name <> "’"
@@ -89,7 +89,7 @@ parseDefinition href = label "symbol definition" $ do
                 SomeExpr <$> testBlock ref
             , do
                 osymbol "="
-                someExpr <* eol
+                someExpr FunctionTerm <* eol
             ]
         scn
         atypes' <- getInferredTypes atypes
-- 
cgit v1.2.3