Move ast::pat_id_map to ast::util
This commit is contained in:
parent
4d92cb5c63
commit
608f7ccded
4 changed files with 5 additions and 5 deletions
|
@ -69,7 +69,7 @@ type match_branch =
|
||||||
bound: bind_map,
|
bound: bind_map,
|
||||||
data: @{body: BasicBlockRef,
|
data: @{body: BasicBlockRef,
|
||||||
guard: option::t<@ast::expr>,
|
guard: option::t<@ast::expr>,
|
||||||
id_map: ast::pat_id_map}};
|
id_map: ast_util::pat_id_map}};
|
||||||
type match = [match_branch];
|
type match = [match_branch];
|
||||||
|
|
||||||
fn matches_always(p: &@ast::pat) -> bool {
|
fn matches_always(p: &@ast::pat) -> bool {
|
||||||
|
@ -464,7 +464,7 @@ fn compile_submatch(bcx: @block_ctxt, m: &match, vals: [ValueRef],
|
||||||
|
|
||||||
// Returns false for unreachable blocks
|
// Returns false for unreachable blocks
|
||||||
fn make_phi_bindings(bcx: &@block_ctxt, map: &[exit_node],
|
fn make_phi_bindings(bcx: &@block_ctxt, map: &[exit_node],
|
||||||
ids: &ast::pat_id_map) -> bool {
|
ids: &ast_util::pat_id_map) -> bool {
|
||||||
let our_block = bcx.llbb as uint;
|
let our_block = bcx.llbb as uint;
|
||||||
let success = true;
|
let success = true;
|
||||||
for each item: @{key: ast::ident, val: ast::node_id} in ids.items() {
|
for each item: @{key: ast::ident, val: ast::node_id} in ids.items() {
|
||||||
|
|
|
@ -1305,7 +1305,7 @@ fn check_lit(ccx: @crate_ctxt, lit: &@ast::lit) -> ty::t {
|
||||||
|
|
||||||
// Pattern checking is top-down rather than bottom-up so that bindings get
|
// Pattern checking is top-down rather than bottom-up so that bindings get
|
||||||
// their types immediately.
|
// their types immediately.
|
||||||
fn check_pat(fcx: &@fn_ctxt, map: &ast::pat_id_map, pat: &@ast::pat,
|
fn check_pat(fcx: &@fn_ctxt, map: &ast_util::pat_id_map, pat: &@ast::pat,
|
||||||
expected: ty::t) {
|
expected: ty::t) {
|
||||||
alt pat.node {
|
alt pat.node {
|
||||||
ast::pat_wild. { write::ty_only_fixup(fcx, pat.id, expected); }
|
ast::pat_wild. { write::ty_only_fixup(fcx, pat.id, expected); }
|
||||||
|
|
|
@ -98,8 +98,6 @@ tag pat_ {
|
||||||
pat_box(@pat);
|
pat_box(@pat);
|
||||||
}
|
}
|
||||||
|
|
||||||
type pat_id_map = std::map::hashmap<str, ast::node_id>;
|
|
||||||
|
|
||||||
tag mutability { mut; imm; maybe_mut; }
|
tag mutability { mut; imm; maybe_mut; }
|
||||||
|
|
||||||
tag kind { kind_pinned; kind_shared; kind_unique; }
|
tag kind { kind_pinned; kind_shared; kind_unique; }
|
||||||
|
|
|
@ -43,6 +43,8 @@ fn def_id_of_def(d: def) -> def_id {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
type pat_id_map = std::map::hashmap<str, ast::node_id>;
|
||||||
|
|
||||||
// This is used because same-named variables in alternative patterns need to
|
// This is used because same-named variables in alternative patterns need to
|
||||||
// use the node_id of their namesake in the first pattern.
|
// use the node_id of their namesake in the first pattern.
|
||||||
fn pat_id_map(pat: &@pat) -> pat_id_map {
|
fn pat_id_map(pat: &@pat) -> pat_id_map {
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue