@@ -2871,12 +2871,12 @@ Consists of 2 statements, 3 expressions and 12 points:
2871
2871
* the point after evaluating the static initializer ` "hello, world" `
2872
2872
* the point after the first statement
2873
2873
* the point before the second statement
2874
- * the point before evaluating the function value ` print `
2875
- * the point after evaluating the function value ` print `
2876
- * the point before evaluating the arguments to ` print `
2874
+ * the point before evaluating the function value ` println `
2875
+ * the point after evaluating the function value ` println `
2876
+ * the point before evaluating the arguments to ` println `
2877
2877
* the point before evaluating the symbol ` s `
2878
2878
* the point after evaluating the symbol ` s `
2879
- * the point after evaluating the arguments to ` print `
2879
+ * the point after evaluating the arguments to ` println `
2880
2880
* the point after the second statement
2881
2881
2882
2882
@@ -2894,9 +2894,9 @@ Consists of 1 statement, 7 expressions and 14 points:
2894
2894
2895
2895
2896
2896
* the point before the statement
2897
- * the point before evaluating the function value ` print `
2898
- * the point after evaluating the function value ` print `
2899
- * the point before evaluating the arguments to ` print `
2897
+ * the point before evaluating the function value ` println `
2898
+ * the point after evaluating the function value ` println `
2899
+ * the point before evaluating the arguments to ` println `
2900
2900
* the point before evaluating the arguments to ` + `
2901
2901
* the point before evaluating the function value ` x `
2902
2902
* the point after evaluating the function value ` x `
@@ -2907,7 +2907,7 @@ Consists of 1 statement, 7 expressions and 14 points:
2907
2907
* the point before evaluating the arguments to ` y `
2908
2908
* the point after evaluating the arguments to ` y `
2909
2909
* the point after evaluating the arguments to ` + `
2910
- * the point after evaluating the arguments to ` print `
2910
+ * the point after evaluating the arguments to ` println `
2911
2911
2912
2912
2913
2913
The typestate system reasons over points, rather than statements or
@@ -3186,7 +3186,7 @@ let x: ~int = ~10;
3186
3186
~~~~~~~~
3187
3187
3188
3188
Some operations (such as field selection) implicitly dereference boxes. An
3189
- example of an @ dfn {implicit dereference} operation performed on box values:
3189
+ example of an _ implicit dereference _ operation performed on box values:
3190
3190
3191
3191
~~~~~~~~
3192
3192
let x = @{y: 10};
@@ -3196,8 +3196,8 @@ assert x.y == 10;
3196
3196
Other operations act on box values as single-word-sized address values. For
3197
3197
these operations, to access the value held in the box requires an explicit
3198
3198
dereference of the box value. Explicitly dereferencing a box is indicated with
3199
- the unary * star* operator ` * ` . Examples of such @ dfn {explicit
3200
- dereference} operations are:
3199
+ the unary * star* operator ` * ` . Examples of such _ explicit dereference _
3200
+ operations are:
3201
3201
3202
3202
* copying box values (` x = y ` )
3203
3203
* passing box values to functions (` f(x,y) ` )
0 commit comments