---

yaml
---
r: 21001
b: refs/heads/snap-stage3
c: 8703d08
h: refs/heads/master
i:
  20999: 39fb9cc
v: v3

Author: lkuper

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: e430a699f2c60890d9b86069fd0c68a70ece7120
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: e82d2ef7639252ba365427ea1ad0e285986b5bf8
+refs/heads/snap-stage3: 8703d088ead97cff975187bcd5b57851ad410cbe
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b

branches/snap-stage3/src/test/run-pass/typeclasses-eq-example.rs

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