From d90a1dee4343305deb429150e79131abc8edcdc2 Mon Sep 17 00:00:00 2001
From: Lindsey Kuper <lindsey@rockstargirl.org>
Date: Mon, 2 Jul 2012 17:11:26 -0700
Subject: [PATCH] Start sketching some traitorous code (xfail'd)

---
 src/test/run-pass/traits.rs | 46 +++++++++++++++++++++++++++++++++++++
 1 file changed, 46 insertions(+)
 create mode 100644 src/test/run-pass/traits.rs

diff --git a/src/test/run-pass/traits.rs b/src/test/run-pass/traits.rs
new file mode 100644
index 00000000000..c50d9bf96ac
--- /dev/null
+++ b/src/test/run-pass/traits.rs
@@ -0,0 +1,46 @@
+//xfail-test
+
+// Sketching traits.
+
+// methods with no implementation are required; methods with an
+// implementation are provided.  No "req" keyword necessary.
+trait Eq {
+    fn eq(a: self) -> bool;
+
+    fn neq(a: self) -> bool {
+        !self.neq(a)
+    }
+}
+
+// The `<` is pronounced `extends`.  Also under consideration is `<:`.
+// Just using `:` is frowned upon, because (paraphrasing dherman) `:`
+// is supposed to separate things from different universes.
+trait Ord < Eq {
+
+    fn lt(a: self) -> bool;
+
+    fn lte(a: self) -> bool {
+        self.lt(a) || self.eq(a)
+    }
+
+    fn gt(a: self) -> bool {
+        !self.lt(a) && !self.eq(a)
+    }
+
+    fn gte(a: self) -> bool {
+        !self.lt(a)
+    }
+}
+
+// pronounced "impl of Ord for int" -- not sold on this yet
+impl int: Ord {
+    fn lt(a: self) -> bool {
+        self < a
+    }
+
+    // is this the place to put this?
+    fn eq(a: self) -> bool {
+        self == a
+    }
+}
+