diff options
Diffstat (limited to 'docs/language')
| -rw-r--r-- | docs/language/ownership.md | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/docs/language/ownership.md b/docs/language/ownership.md index 2c5de36..26eebe1 100644 --- a/docs/language/ownership.md +++ b/docs/language/ownership.md @@ -19,14 +19,11 @@ References are automatically taken if the function signature specifies ref ```text -inc_push_to_ref : ([%ref x; y] - x `push y + 1 -) int_array : Array[I64] $ () float_array : Array[F64] $ () @ 0 .. 2 {[x] - inc_push_to_ref `sync (int_array, x) - inc_push_to_ref `sync (float_array, F64 $ x) + ([%ref x; y] x `push y + 1) `sync (int_array, x) + ([%ref x; y] x `push y + 1) `sync (float_array, F64 $ x) } `log int_array // Array[I64] $ (1; 2; 3) `log float_array // Array[F64] $ (1.0; 2.0; 3.0) |