mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Doc tweak.

Browse Source
This commit is contained in:
Graydon Hoare 2010-07-08 07:28:21 -07:00
parent e813388df8
commit d39753685b
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
doc/rust.texi
View File

@ -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