cyclane/wacc_37
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

refactor: make missing return type message more precise

Browse Source
This commit is contained in:
Gleb Koval 2025-02-07 16:22:00 +00:00
parent d32855cc29
commit 4738207523
Signed by: cyclane
GPG Key ID: 15E168A8B332382C
1 changed files with 10 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/main/wacc/parser.scala
View File

@ -117,12 +117,17 @@ object parser {
// Statements
private lazy val `<program>` = Program(
"begin" ~> many(
atomic(`<type>`.label("function declaration") <~> `<ident>` <~ "(") <**> `<partial-func-decl>`
).label("function declaration"),
(atomic(`<ident>` <~ "(").verifiedExplain("function is missing return type") | `<stmt>`.label(
"begin" ~> (
many(
atomic(
`<type>`.label("function declaration") <~> `<ident>` <~ "("
) <**> `<partial-func-decl>`
).label("function declaration") |
atomic(`<ident>` <~ "(").verifiedExplain("function declaration is missing return type")
),
`<stmt>`.label(
"main program body"
)) <~ "end"
) <~ "end"
)
private lazy val `<partial-func-decl>` =
FuncDecl(