rustc: Parse and typecheck unique pointers

Author: pcwalton

src/comp/middle/tstate/states.rs

@@ -620,6 +620,7 @@ fn find_pre_post_state_expr(fcx: &fn_ctxt, pres: &prestate, e: @expr) ->
           none. { ret pure_exp(fcx.ccx, e.id, pres); }
         }
       }
+      expr_uniq(_) { ret pure_exp(fcx.ccx, e.id, pres); }
     }
 }
 

src/comp/middle/typeck.rs

@@ -2467,6 +2467,11 @@ fn check_expr_with_unifier(fcx: &@fn_ctxt, expr: &@ast::expr,
         // Now remove the info from the stack.
         ivec::pop[obj_info](fcx.ccx.obj_infos);
       }
+      ast::expr_uniq(x) {
+        let t = next_ty_var(fcx);
+        check_expr_with(fcx, x, ty::mk_uniq(tcx, t));
+        write::ty_only_fixup(fcx, id, ty::mk_uniq(tcx, t));
+      }
       _ { tcx.sess.unimpl("expr type in typeck::check_expr"); }
     }
     if bot {

src/comp/syntax/ast.rs

@@ -336,6 +336,7 @@ tag expr_ {
     expr_chan(@expr);
     expr_anon_obj(anon_obj);
     expr_mac(mac);
+    expr_uniq(@expr);
 }
 
 type mac = spanned[mac_];

src/comp/syntax/fold.rs

@@ -433,6 +433,7 @@ fn noop_fold_expr(e: &expr_, fld: ast_fold) -> expr_ {
           expr_chan(e) { expr_chan(fld.fold_expr(e)) }
           expr_anon_obj(ao) { expr_anon_obj(fold_anon_obj(ao)) }
           expr_mac(mac) { expr_mac(fold_mac(mac)) }
+          expr_uniq(e) { expr_uniq(fld.fold_expr(e)) }
         }
 }
 

src/comp/syntax/parse/parser.rs

@@ -870,7 +870,7 @@ fn parse_bottom_expr(p: &parser) -> @ast::expr {
                   span: p.get_span()};
             ex = ast::expr_lit(lit);
           }
-          _ { p.fatal("unimplemented: unique pointer creation"); }
+          _ { ex = ast::expr_uniq(parse_expr(p)); }
         }
     } else if (eat_word(p, "obj")) {
         // Anonymous object

src/comp/syntax/print/pprust.rs

@@ -1037,6 +1037,10 @@ fn print_expr(s: &ps, expr: &@ast::expr) {
         }
         bclose(s, expr.span);
       }
+      ast::expr_uniq(expr) {
+        word(s.s, "~");
+        print_expr(s, expr);
+      }
     }
     s.ann.post(ann_node);
     end(s);

src/comp/syntax/visit.rs

@@ -341,6 +341,7 @@ fn visit_expr[E](ex: &@expr, e: &E, v: &vt[E]) {
         }
       }
       expr_mac(mac) { visit_mac(mac, e, v); }
+      expr_uniq(x) { v.visit_expr(x, e, v); }
     }
 }