From 1b117f936dc7c21a32a14587103fc066990f06cf Mon Sep 17 00:00:00 2001 From: Patrick Walton Date: Tue, 24 Aug 2010 16:11:43 -0700 Subject: Remove obsolete TODO about checking for return statements --- src/boot/me/type.ml | 2 -- 1 file changed, 2 deletions(-) (limited to 'src') diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml index 17a4b38f..25ae22b3 100644 --- a/src/boot/me/type.ml +++ b/src/boot/me/type.ml @@ -1019,8 +1019,6 @@ let process_crate (cx:Semant.ctxt) (crate:Ast.crate) : unit = let visit_obj_drop_pre _ _ = push_fn_ctx Ast.TY_nil false in let visit_obj_drop_post _ _ = ignore (Stack.pop fn_ctx_stack) in - (* TODO: make sure you can't fall off the end of a function if it doesn't - * return void *) let visit_stmt_pre (stmt:Ast.stmt) : unit = try iflog cx -- cgit v1.2.3