---

yaml
---
r: 16324
b: refs/heads/try
c: ab8fa49
h: refs/heads/master
v: v3

Author: nikomatsakis

[refs]

@@ -2,5 +2,5 @@
 refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
-refs/heads/try: dd37c0a41e3c695886fb2f3c33f7fee6675822aa
+refs/heads/try: ab8fa495d08f64c5a82bc8ed39f9e2066aec4b6b
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/try/src/rustc/middle/borrowck/categorization.rs

@@ -7,7 +7,15 @@ determine what kind of memory is used in evaluating it (for example,
 where dereferences occur and what kind of pointer is dereferenced;
 whether the memory is mutable; etc)
 
-
+Categorization effectively transforms all of our expressions into
+expressions of the following forms (the actual enum has many more
+possibilities, naturally, but they are all variants of these base
+forms):
+
+    E = rvalue    // some computed rvalue
+      | x         // address of a local variable, arg, or upvar
+      | *E        // deref of a ptr
+      | E.comp    // access to an interior component
 
 Imagine a routine ToAddr(Expr) that evaluates an expression and returns an
 address where the result is to be found.  If Expr is an lvalue, then this