let set_loc kinstr = match kinstr with | Kglobal -> CurrentLoc.clear () | Kstmt s -> CurrentLoc.set (Ast_info.loc_stmt s)