diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-05-16 12:23:41 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-05-17 21:54:23 +0200 |
| commit | 0d2b55b41a8f38264fd510efd4c1306239c94d17 (patch) | |
| tree | 9545ca90d79b2244950bb1301f15deb44131982e /src/Parser/Statement.hs | |
| parent | c71d109610ea6f299df09d2b794b326fb70f9ed0 (diff) | |
Function arguments unification
Diffstat (limited to 'src/Parser/Statement.hs')
| -rw-r--r-- | src/Parser/Statement.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Parser/Statement.hs b/src/Parser/Statement.hs index f4f5b61..c0a85e5 100644 --- a/src/Parser/Statement.hs +++ b/src/Parser/Statement.hs @@ -136,8 +136,8 @@ exprStatement = do blockOf indent $ do coff <- stateOffset <$> getParserState sline <- getSourceLine - args <- functionArguments (checkFunctionArguments (exprArgs fun)) (someExpr FunctionTerm) literal (\poff -> lookupVarExpr poff sline . VarName) - let fun' = ArgsApp args fun + args <- functionArguments (\poff _ e -> return ( poff, e )) (someExpr FunctionTerm) literal (\poff -> lookupVarExpr poff sline . VarName) + SomeExpr fun' <- applyFunctionArguments args (SomeExpr fun) choice [ continuePartial coff indent fun' , unifyExpr coff Proxy fun' |