Add test for @main return type

Pat-Lafon · Sep 9, 2023 · b76613c · b76613c
1 parent f03c53e
commit b76613c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/test/check/mainret.bril b/test/check/mainret.bril
@@ -0,0 +1,3 @@
+@main(x: int): int {
+  ret x;
+}
diff --git a/test/check/mainret.err b/test/check/mainret.err
@@ -0,0 +1 @@
+1:1: @main must have no return type; found int