---

yaml
---
r: 31138
b: refs/heads/dist-snap
c: c84c4a8
h: refs/heads/master
v: v3

Author: msullivan

[refs]

@@ -7,6 +7,6 @@ refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
 refs/heads/try2: d0c6ce338884ee21843f4b40bf6bf18d222ce5df
 refs/heads/incoming: d9317a174e434d4c99fc1a37fd7dc0d2f5328d37
-refs/heads/dist-snap: 2ea9c8df0f7c9ee72913883128b37d0a80d2f4f6
+refs/heads/dist-snap: c84c4a8d71914b5bc0cb3546158bc053aacb7a96
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
 refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/dist-snap/src/rustc/middle/check_const.rs

@@ -37,7 +37,12 @@ fn check_item(sess: session, ast_map: ast_map::map, def_map: resolve::def_map,
 
 fn check_pat(p: @pat, &&_is_const: bool, v: visit::vt<bool>) {
     fn is_str(e: @expr) -> bool {
-        alt e.node { expr_lit(@{node: lit_str(_), _}) { true } _ { false } }
+        alt e.node {
+          expr_lit(@{node: lit_str(_), _}) |
+          expr_vstore(@{node: expr_lit(@{node: lit_str(_), _}), _},
+                      vstore_uniq) { true }
+          _ { false }
+        }
     }
     alt p.node {
       // Let through plain string literals here

branches/dist-snap/src/rustc/middle/const_eval.rs

@@ -103,6 +103,8 @@ fn eval_const_expr(tcx: middle::ty::ctxt, e: @expr) -> const_val {
         }
       }
       expr_lit(lit) { lit_to_const(lit) }
+      // If we have a vstore, just keep going; it has to be a string
+      expr_vstore(e, _) { eval_const_expr(tcx, e) }
     }
 }
 

branches/dist-snap/src/rustc/middle/trans/alt.rs

@@ -47,7 +47,10 @@ fn trans_opt(bcx: block, o: opt) -> opt_result {
     alt o {
       lit(l) {
         alt l.node {
-          ast::expr_lit(@{node: ast::lit_str(s), _}) {
+          ast::expr_lit(@{node: ast::lit_str(s), _}) |
+          ast::expr_vstore(@{node: ast::expr_lit(
+              @{node: ast::lit_str(s), _}), _},
+                           ast::vstore_uniq) {
             let strty = ty::mk_str(bcx.tcx());
             let cell = empty_dest_cell();
             bcx = tvec::trans_estr(bcx, s, ast::vstore_uniq, by_val(cell));

branches/dist-snap/src/rustc/middle/trans/base.rs

@@ -4613,7 +4613,9 @@ fn trans_enum_variant(ccx: @crate_ctxt, enum_id: ast::node_id,
 fn trans_const_expr(cx: @crate_ctxt, e: @ast::expr) -> ValueRef {
     let _icx = cx.insn_ctxt("trans_const_expr");
     alt e.node {
-      ast::expr_lit(lit) { ret trans_crate_lit(cx, e, *lit); }
+      ast::expr_lit(lit) { trans_crate_lit(cx, e, *lit) }
+      // If we have a vstore, just keep going; it has to be a string
+      ast::expr_vstore(e, _) { trans_const_expr(cx, e) }
       ast::expr_binary(b, e1, e2) {
         let te1 = trans_const_expr(cx, e1);
         let te2 = trans_const_expr(cx, e2);