From 959c556eae337961664a66d8e6f70e7a559af2b4 Mon Sep 17 00:00:00 2001
From: Gleb Koval <gleb@koval.net>
Date: Fri, 7 Feb 2025 15:39:50 +0000
Subject: [PATCH] fix: use verifiedExplain for missing return type check
---
src/main/wacc/parser.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/wacc/parser.scala b/src/main/wacc/parser.scala
index 8098e84..5403060 100644
--- a/src/main/wacc/parser.scala
+++ b/src/main/wacc/parser.scala
@@ -119,7 +119,7 @@ object parser {
"begin" ~> many(
atomic(`<type>`.label("function declaration") <~> `<ident>` <~ "(") <**> `<partial-func-decl>`
).label("function declaration"),
- (atomic(`<ident>` <~ "(") ~> fail("function is missing return type") | `<stmt>`.label(
+ (atomic(`<ident>` <~ "(").verifiedExplain("function is missing return type") | `<stmt>`.label(
"main program body"
)) <~ "end"
)