let warn_locals_escape is_block fundec k =
(*TODO: find a better alarm for variables escaping block scope *)
Value_parameters.warning ~current:true ~once:true "local escaping the scope of %t%a through %a"
(swap (Pretty_utils.pp_cond is_block) "a block of ")
!d_var fundec.svar Base.pretty k