@@ -516,12 +516,12 @@ We can remove all these handles using `$a = NULL` and `$b = NULL`:
516
516
```
517
517
[VSlot $a *]-->[VStore null] [HStore Point [VSlot $x *] [VSlot $y *] (dead)]
518
518
| |
519
- [VSlot $b *]-->[VStore null] [VStore int 2 (dead)]< --+ V
519
+ [VSlot $b *]-->[VStore null] [VStore int 2 (dead)]< --+ V
520
520
[VStore int 1 (dead)]
521
521
522
522
[HStore Point [VSlot $x *] [VSlot $y *] (dead)]
523
523
| |
524
- [VStore int 4 (dead)]< --+ V
524
+ [VStore int 4 (dead)]< --+ V
525
525
[VStore int 6 (dead)]
526
526
```
527
527
@@ -750,7 +750,7 @@ assignment of other types. Recall the `Point` class from [the examples](#value-a
750
750
V V
751
751
[VStore int 10] [VStore Obj *]
752
752
|
753
- [HStore Point [VSlot $x *] [VSlot $y *]]< ----+
753
+ [HStore Point [VSlot $x *] [VSlot $y *]]< ----+
754
754
| |
755
755
V V
756
756
[VStore int 1] [VStore int 3]
@@ -782,7 +782,7 @@ the value assignment `$b = $a`:
782
782
| | |
783
783
+---------+ +---------+ |
784
784
V V |
785
- [VStore int 10] [VStore object *]-->[HStore Point [VSlot $x *] [VSlot $y *]]< ---+
785
+ [VStore int 10] [VStore object *]-->[HStore Point [VSlot $x *] [VSlot $y *]]< ---+
786
786
| |
787
787
V V
788
788
[VStore int 1] [VStore int 3]
@@ -830,7 +830,7 @@ implementation. Here is the first possible outcome:
830
830
```
831
831
[VSlot $a *]---->[VStore array *]---->[HStore Array [VSlot 0 *]]
832
832
|
833
- [VSlot $x *]-------------------------+ [VStore array *]< ---+
833
+ [VSlot $x *]-------------------------+ [VStore array *]< ---+
834
834
| |
835
835
[VSlot $b *]-->[VStore array *] | V
836
836
| | [HStore Array [VSlot 0 *][VSlot 1 *]]
@@ -852,7 +852,7 @@ Here is the second possible outcome:
852
852
```
853
853
[VSlot $a *]---->[VStore array *]---->[HStore Array [VSlot 0 *]]
854
854
|
855
- [VSlot $x *]-------------------------+ [VStore array *]< ----+
855
+ [VSlot $x *]-------------------------+ [VStore array *]< ----+
856
856
| |
857
857
[VSlot $b *]-->[VStore array *] | V
858
858
| | [HStore Array [VSlot 0 *] [VSlot 1 *]]
@@ -939,7 +939,7 @@ $b = $a;
939
939
```
940
940
[VSlot $a *]--->[VStore array *]--->[HStore Array [VSlot 0 *]]
941
941
^ |
942
- | [VStore array *]< --+
942
+ | [VStore array *]< --+
943
943
[VSlot $b *]--->[VStore Arr-D *]------+ |
944
944
V
945
945
[HStore Array [VSlot 0 *] [VSlot 1 *]]
@@ -1036,7 +1036,7 @@ possible outcome:
1036
1036
```
1037
1037
[VSlot $a *]---->[VStore array *]---->[HStore Array [VSlot 0 *]]
1038
1038
|
1039
- [VSlot $b *]-->[VStore array *] [VStore array *]< ---+
1039
+ [VSlot $b *]-->[VStore array *] [VStore array *]< ---+
1040
1040
| |
1041
1041
V V
1042
1042
[HStore Array [VSlot 0 *] [VSlot 1 *]] [HStore Array [VSlot 0 *] [VSlot 1 *]]
@@ -1057,8 +1057,8 @@ Here is the third possible outcome:
1057
1057
1058
1058
```
1059
1059
[VSlot $a *]---->[VStore array *-]---->[HStore Array [VSlot 0 *]]
1060
- |
1061
- [VSlot $b *]-->[VStore array *] [VStore array *]< ---+
1060
+ |
1061
+ [VSlot $b *]-->[VStore array *] [VStore array *]< ---+
1062
1062
| |
1063
1063
V V
1064
1064
[HStore Array [VSlot 0 *] [VSlot 1 *]] [HStore Array [VSlot 0 *] [VSlot 1 *]]
@@ -1204,7 +1204,7 @@ Will result in:
1204
1204
| | |
1205
1205
V V |
1206
1206
[VStore int 1] [VStore int 3] |
1207
- [VSlot $b *]---------------->[VStore int 123]< ---------------------------------------+
1207
+ [VSlot $b *]---------------->[VStore int 123]< ---------------------------------------+
1208
1208
```
1209
1209
1210
1210
### Argument Passing
@@ -1267,7 +1267,7 @@ some type(s) or to an instance of some other type.
1267
1267
V V
1268
1268
[VStore int 10] [VStore object *]
1269
1269
|
1270
- [HStore ...]< ---------+
1270
+ [HStore ...]< ---------+
1271
1271
```
1272
1272
1273
1273
Let us consider the result of ` $b = clone $a ` :
@@ -1279,7 +1279,7 @@ Let us consider the result of `$b = clone $a`:
1279
1279
| [VStore int 10] [VStore object *]
1280
1280
+-----------------------+ |
1281
1281
V |
1282
- [HStore Widget [VSlot $p1 *] [VSlot $p2 *]] +--->[HStore ...]< -+
1282
+ [HStore Widget [VSlot $p1 *] [VSlot $p2 *]] +--->[HStore ...]< -+
1283
1283
| | |
1284
1284
V V |
1285
1285
[VStore int 10] [VStore object *]----------+
0 commit comments