---

yaml
---
r: 23110
b: refs/heads/master
c: 812db1e
h: refs/heads/master
v: v3

Author: lkuper

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 8703d088ead97cff975187bcd5b57851ad410cbe
+refs/heads/master: 812db1ec0d97217414b4e49962e8da75761b9279
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be

trunk/src/test/run-pass/typeclasses-eq-example-static.rs

@@ -0,0 +1,55 @@
+// Example from lkuper's intern talk, August 2012 -- now with static
+// methods!
+
+trait Equal {
+    static fn isEq(a: self, b: self) -> bool;
+}
+
+enum Color { cyan, magenta, yellow, black }
+
+impl Color : Equal {
+    static fn isEq(a: Color, b: Color) -> bool {
+        match (a, b) {
+          (cyan, cyan)       => { true  }
+          (magenta, magenta) => { true  }
+          (yellow, yellow)   => { true  }
+          (black, black)     => { true  }
+          _                  => { false }
+        }
+    }
+}
+
+enum ColorTree {
+    leaf(Color),
+    branch(@ColorTree, @ColorTree)
+}
+
+impl ColorTree : Equal {
+    static fn isEq(a: ColorTree, b: ColorTree) -> bool {
+        match (a, b) {
+          (leaf(x), leaf(y)) => { isEq(x, y) }
+          (branch(l1, r1), branch(l2, r2)) => { 
+            isEq(*l1, *l2) && isEq(*r1, *r2)
+          }
+          _ => { false }
+        }
+    }
+}
+
+fn main() {
+    assert isEq(cyan, cyan);
+    assert isEq(magenta, magenta);
+    assert !isEq(cyan, yellow);
+    assert !isEq(magenta, cyan);
+
+    assert isEq(leaf(cyan), leaf(cyan));
+    assert !isEq(leaf(cyan), leaf(yellow));
+
+    assert isEq(branch(@leaf(magenta), @leaf(cyan)),
+                branch(@leaf(magenta), @leaf(cyan)));
+
+    assert !isEq(branch(@leaf(magenta), @leaf(cyan)),
+                 branch(@leaf(magenta), @leaf(magenta)));
+
+    log(error, "Assertions all succeeded!");
+}