diff options
Diffstat (limited to 'docs/type_system')
| -rw-r--r-- | docs/type_system/empty.md | 2 | ||||
| -rw-r--r-- | docs/type_system/fn.md | 6 | ||||
| -rw-r--r-- | docs/type_system/overload.md | 6 |
3 files changed, 6 insertions, 8 deletions
diff --git a/docs/type_system/empty.md b/docs/type_system/empty.md index ac1f0bc..ab0226d 100644 --- a/docs/type_system/empty.md +++ b/docs/type_system/empty.md @@ -3,3 +3,5 @@ --- Container type can be null + +## Use with `Option` Union diff --git a/docs/type_system/fn.md b/docs/type_system/fn.md index edbc04a..6a954bf 100644 --- a/docs/type_system/fn.md +++ b/docs/type_system/fn.md @@ -40,7 +40,7 @@ it : fn `sync 10 // invoking @ it { `log v }[v] // Opton[Int[...]].v $ (.some : 2); Opton[Int[...]].v $ (.some : 4) // same as above -@ `has_next it { `log it() } +@ `has_next it { `log `call_sync it } ``` # Calling @@ -57,7 +57,3 @@ value : `task_wait task ```text fn `call_sync args // `task_wait fn `call_async args ``` - -## \`call_native - -For calling native code diff --git a/docs/type_system/overload.md b/docs/type_system/overload.md index 8fec210..c446701 100644 --- a/docs/type_system/overload.md +++ b/docs/type_system/overload.md @@ -13,7 +13,7 @@ Overload[FN; ...] ```text add : Overload[Fn[.native; I64; Tuple[I64.x; I64.y]; ...]; Fn[.native; F64; Tuple[F64.x; F64.y]; ...]; ...] -`log add `call_native (1; 2) // Valid calls first -`log add `call_native (1.1; 2.2) // Valid calls second -`log add `call_native (1; 2.2) // Invalid no signature match +`log add `call_sync (1; 2) // Valid calls first +`log add `call_sync (1.1; 2.2) // Valid calls second +`log add `call_sync (1; 2.2) // Invalid no signature match ``` |