X-Git-Url: https://ruin.nu/git/?p=proglang.git;a=blobdiff_plain;f=Typecheck.hs;fp=Typecheck.hs;h=5c70ccf02c04118b27f297e854d887be05c58a13;hp=e2aa3d7182d61eef64d28b462efb2f3d9efde328;hb=a884c2547196fe8f9d6135747ca3701f9b13e4de;hpb=08d98a82fabc381a8b101387f39ae5752cfeb314

diff --git a/Typecheck.hs b/Typecheck.hs
index e2aa3d7..5c70ccf 100644
--- a/Typecheck.hs
+++ b/Typecheck.hs
@@ -117,6 +117,9 @@ typeCheckFunction (Func t i d s) = do
 	state <- get
 	modify (\s -> s{variables=[empty], function=i})
 	mapM (\(Decl t i) -> addVariable i t) d
+	case last s of
+		(SReturn _) -> return ()
+		_ -> fail $ "Function "++show i++" doesn't end with return statement"
 	mapM typeCheckStm s
 	put state