Add test for @main return type

sampsyo · Sep 8, 2023 · cf19acb · cf19acb
1 parent 19ad341
commit cf19acb
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