diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-05-01 10:02:50 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-05-01 10:54:24 +0200 |
| commit | 62b65e16f5ef4e59dcfbdc10ae2b3cd419d79d7a (patch) | |
| tree | ae2a4a47c259e94133213fa5ba56c4fb0b67f7df /src/Parser.hs | |
| parent | a84c4722a3774bb64e3e3616c16264d09c991378 (diff) | |
Parsing distinction for single-word and function-call terms
Diffstat (limited to 'src/Parser.hs')
| -rw-r--r-- | src/Parser.hs | 4 |
1 files changed, 2 insertions, 2 deletions
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 |