Typecheck return values in the entire function body

1 files changed, 5 insertions, 1 deletions

diff --git a/tests/semantics.bad b/tests/semantics.bad
index 5071d8b..518ef40 100644
--- a/tests/semantics.bad
+++ b/tests/semantics.bad
@@ -109,7 +109,11 @@
 ;     let c = 1
 ;     1 + 1 + c
 ; }
-fun foo(a: int b: str): (f32, f64) {
+fun foo(a: int b: str): (f64, f64) {
+    if (a == 1) {
+        ; return("test", b)
+        return(3.0, 4.0)
+    }
     return(1.0, 2.0)
 }