mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Parse ~[...] as [...]/~. Same for @ and &. Closes #2747.

Browse Source
This commit is contained in:
Michael Sullivan 2012-06-25 22:38:29 -07:00
parent b6f103e7f9
commit 810677efb5
3 changed files with 40 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

45
src/libsyntax/parse/parser.rs
View File

@ -373,10 +373,22 @@ class parser {
}
} else if self.token == token::AT {
self.bump();
ty_box(self.parse_mt())
// HACK: turn @[...] into a []/@
alt self.parse_mt() {
{ty: t @ @{node: ty_vec(_), _}, mutbl: m_imm} {
ty_vstore(t, vstore_box)
}
mt { ty_box(mt) }
}
} else if self.token == token::TILDE {
self.bump();
ty_uniq(self.parse_mt())
// HACK: turn ~[...] into a []/~
alt self.parse_mt() {
{ty: t @ @{node: ty_vec(_), _}, mutbl: m_imm} {
ty_vstore(t, vstore_uniq)
}
mt { ty_uniq(mt) }
}
} else if self.token == token::BINOP(token::STAR) {
self.bump();
ty_ptr(self.parse_mt())
@ -406,8 +418,13 @@ class parser {
} else if self.token == token::BINOP(token::AND) {
self.bump();
let region = self.parse_region_dot();
let mt = self.parse_mt();
ty_rptr(region, mt)
// HACK: turn &a.[...] into a []/&a
alt self.parse_mt() {
{ty: t @ @{node: ty_vec(_), _}, mutbl: m_imm} {
ty_vstore(t, vstore_slice(region))
}
mt { ty_rptr(region, mt) }
}
} else if self.eat_keyword("pure") {
self.parse_ty_fn(ast::pure_fn)
} else if self.eat_keyword("unsafe") {
@ -1188,7 +1205,13 @@ class parser {
let m = self.parse_mutability();
let e = self.to_expr(self.parse_prefix_expr());
hi = e.span.hi;
ex = expr_addr_of(m, e);
// HACK: turn &[...] into [...]/&
ex = alt e.node {
expr_vec(*) if m == m_imm {
expr_vstore(e, vstore_slice(self.region_from_name(none)))
}
_ { expr_addr_of(m, e) }
};
}
_ { ret self.parse_dot_or_call_expr(); }
}
@ -1198,14 +1221,22 @@ class parser {
let m = self.parse_mutability();
let e = self.to_expr(self.parse_prefix_expr());
hi = e.span.hi;
ex = expr_unary(box(m), e);
// HACK: turn @[...] into [...]/@
ex = alt e.node {
expr_vec(*) if m == m_imm { expr_vstore(e, vstore_box) }
_ { expr_unary(box(m), e) }
};
}
token::TILDE {
self.bump();
let m = self.parse_mutability();
let e = self.to_expr(self.parse_prefix_expr());
hi = e.span.hi;
ex = expr_unary(uniq(m), e);
// HACK: turn ~[...] into [...]/~
ex = alt e.node {
expr_vec(*) if m == m_imm { expr_vstore(e, vstore_uniq) }
_ { expr_unary(uniq(m), e) }
};
}
_ { ret self.parse_dot_or_call_expr(); }
}

2
src/test/run-pass/move-arg-2-unique.rs
View File

@ -1,4 +1,4 @@
fn test(-foo: ~[int]) { assert (foo[0] == 10); }
fn test(-foo: ~[int]/~) { assert (foo[0] == 10); }
fn main() {
let x = ~[10]/~;

2
src/test/run-pass/move-arg-2.rs
View File

@ -1,4 +1,4 @@
fn test(-foo: @[int]) { assert (foo[0] == 10); }
fn test(-foo: @[int]/~) { assert (foo[0] == 10); }
fn main() {
let x = @[10]/~;