---

yaml
---
r: 13197
b: refs/heads/master
c: 6e2aa3b
h: refs/heads/master
i:
  13195: c73dd10
v: v3

Author: catamorphism

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 14e3fdea9c0a4e9669d4c918af84b6306aca0123
+refs/heads/master: 6e2aa3b9986e1534ccdd2e12303b89507c579b00
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/test/compile-fail/issue-2063-resource.rs

@@ -1,12 +1,12 @@
 // test that autoderef of a type like this does not
 // cause compiler to loop.  Note that no instances
 // of such a type could ever be constructed.
-resource t(x: x) {} //! ERROR this type cannot be instantiated
-enum x = @t; //! ERROR this type cannot be instantiated
-
-fn new_t(x: t) {
-    x.to_str; //! ERROR attempted access of field to_str
+class t { //! ERROR this type cannot be instantiated
+  let x: x;
+  let to_str: ();
+  new(x: x) { self.x = x; self.to_str = (); }
 }
+enum x = @t; //! ERROR this type cannot be instantiated
 
 fn main() {
 }

trunk/src/test/compile-fail/non-const.rs

@@ -2,8 +2,17 @@
 
 fn foo<T: const>(_x: T) { }
 
-resource r(_x: int) {}
-resource r2(_x: @mut int) {}
+class r {
+  let x:int;
+  new(x:int) { self.x = x; }
+  drop {}
+}
+
+class r2 {
+  let x:@mut int;
+  new(x:@mut int) { self.x = x; }
+  drop {}
+}
 
 fn main() {
     foo({f: 3});

trunk/src/test/compile-fail/pinned-deep-copy.rs

@@ -1,7 +1,9 @@
 // error-pattern: copying a noncopyable value
 
-resource r(i: @mut int) {
-    *i = *i + 1;
+class r {
+  let i: @mut int;
+  new(i: @mut int) { self.i = i; }
+  drop { *(self.i) = *(self.i) + 1; }
 }
 
 fn main() {

trunk/src/test/compile-fail/record-with-resource.rs

@@ -1,7 +1,9 @@
 // error-pattern: copying a noncopyable value
 
-resource my_resource(x: int) {
-    log(error, x);
+class my_resource {
+  let x: int;
+  new(x: int) { self.x = x; }
+  drop { log(error, self.x); }
 }
 
 fn main() {

trunk/src/test/compile-fail/regions-bounds.rs

@@ -5,7 +5,6 @@
 enum an_enum/& { }
 iface an_iface/& { }
 class a_class/& { new() { } }
-resource a_rsrc/&(_x: ()) { }
 
 fn a_fn1(e: an_enum/&a) -> an_enum/&b {
     ret e; //! ERROR mismatched types: expected `an_enum/&b` but found `an_enum/&a`
@@ -19,11 +18,7 @@ fn a_fn3(e: a_class/&a) -> a_class/&b {
     ret e; //! ERROR mismatched types: expected `a_class/&b` but found `a_class/&a`
 }
 
-fn a_fn4(e: a_rsrc/&a) -> a_rsrc/&b {
-    ret e; //! ERROR mismatched types: expected `a_rsrc/&b` but found `a_rsrc/&a`
-}
-
-fn a_fn5(e: int/&a) -> int/&b {
+fn a_fn4(e: int/&a) -> int/&b {
     //!^ ERROR Region parameters are not allowed on this type.
     //!^^ ERROR Region parameters are not allowed on this type.
     ret e;

trunk/src/test/compile-fail/unique-pinned-nocopy.rs

@@ -1,6 +1,9 @@
 // error-pattern: copying a noncopyable value
 
-resource r(b: bool) {
+class r {
+  let b:bool;
+  new(b: bool) { self.b = b; }
+  drop {}
 }
 
 fn main() {

trunk/src/test/compile-fail/unique-vec-res.rs

@@ -1,7 +1,9 @@
 // error-pattern: copying a noncopyable value
 
-resource r(i: @mut int) {
-    *i = *i + 1;
+class r {
+  let i: @mut int;
+  new(i: @mut int) { self.i = i; }
+  drop { *(self.i) = *(self.i) + 1; }
 }
 
 fn f<T>(+i: [T], +j: [T]) {

trunk/src/test/compile-fail/vec-res-add.rs

@@ -1,9 +1,12 @@
 // error-pattern: copying a noncopyable value
 
-resource r(_i: int) { }
+class r {
+  new(_i:int) {}
+  drop {}
+}
 
 fn main() {
-    // This can't make sense as it would copy the resources
+    // This can't make sense as it would copy the classes
     let i <- [r(0)];
     let j <- [r(1)];
     let k = i + j;