Add some type annotations

Brendan Zabarauskas
2013-12-12 15:51:59 -08:00
parent a561f3e79d
commit 85d05d3f48
+2 -2
@@ -123,11 +123,11 @@ Phantom types are useful for enforcing state at compile time. For example:
struct Door<State>(~str);
fn close(Door(name): Door<Open>) -> Door<Closed> {
Door(name)
Door::<Closed>(name)
}
fn open(Door(name): Door<Closed>) -> Door<Open> {
Door(name)
Door::<Open>(name)
}
let _ = close(Door::<Open>(~"front")); // ok