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