---

yaml
---
r: 22606
b: refs/heads/master
c: 9c1dea5
h: refs/heads/master
v: v3

Author: nikomatsakis

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 3ac5b4a86fa37d2b2c17ef5ffdb6e521630ea4ac
+refs/heads/master: 9c1dea5eb247c505ff050b6cf0aa13d260b872e5
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be

trunk/doc/tutorial.md

@@ -485,7 +485,7 @@ and function signatures in the surrounding program.  For example, here
 the type of `x` is inferred to be `u16` because it is passed to a
 function that takes a `u16` argument:
 
-~~~~~
+~~~~
 let x = 3;
 
 fn identity_u16(n: u16) -> u16 { n }
@@ -497,7 +497,7 @@ On the other hand, if the program gives conflicting information about
 what the type of the unsuffixed literal should be, you'll get an error
 message.
 
-~~~~~{.xfail-test}
+~~~~{.xfail-test}
 let x = 3;
 let y: i32 = 3;
 
@@ -2572,27 +2572,11 @@ more expensive than statically resolved method calls.
 
 If you only intend to use an implementation for static overloading,
 and there is no interface available that it conforms to, you are free
-to leave off the `of` clause.
-
-~~~~
-# type currency = ();
-# fn mk_currency(x: int, s: ~str) {}
-impl int_util for int {
-    fn times(b: fn(int)) {
-        let mut i = 0;
-        while i < self { b(i); i += 1; }
-    }
-    fn dollars() -> currency {
-        mk_currency(self, ~"USD")
-    }
-}
-~~~~
-
-This allows cutesy things like `send_payment(10.dollars())`. And the
-nice thing is that it's fully scoped, so the uneasy feeling that
-anybody with experience in object-oriented languages (with the
-possible exception of Rubyists) gets at the sight of such things is
-not justified. It's harmless!
+to leave off the `of` clause.  However, this is only possible when you
+are defining an implementation in the same module as the receiver
+type, and the receiver type is a named type (i.e., an enum or a
+class); [single-variant enums](#single_variant_enum) are a common
+choice.
 
 # Interacting with foreign code