diff options
| author | Graydon Hoare <[email protected]> | 2010-07-08 07:28:21 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-07-08 07:28:21 -0700 |
| commit | d39753685b1696864624df7692ebe489e5901108 (patch) | |
| tree | e4229f969a2ba164a803e115f820d18de0d9de36 /doc | |
| parent | Numerous bug fixes to typestate algorithm. (diff) | |
| download | rust-d39753685b1696864624df7692ebe489e5901108.tar.xz rust-d39753685b1696864624df7692ebe489e5901108.zip | |
Doc tweak.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/rust.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/rust.texi b/doc/rust.texi index 725ce572..b8a59a2b 100644 --- a/doc/rust.texi +++ b/doc/rust.texi @@ -444,9 +444,9 @@ each frame. The static calculation of the typestates of a program is a function-local dataflow problem, and handles user-defined predicates in a similar fashion to the way the type system permits user-defined types. -A short way of thinking of this is: types statically model the kinds of values -held in slots, typestates statically model @emph{assertions that hold} before -and after statements. +A short way of thinking of this is: types statically model values, +typestates statically model @emph{assertions that hold} before and +after statements. @end itemize |