diff options
Diffstat (limited to 'docs/type_system/overload.md')
| -rw-r--r-- | docs/type_system/overload.md | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/docs/type_system/overload.md b/docs/type_system/overload.md index 142c20a..8fec210 100644 --- a/docs/type_system/overload.md +++ b/docs/type_system/overload.md @@ -3,3 +3,17 @@ --- List of complete functions, selected by signature + +```text +Overload[FN; ...] +``` + +## Example + +```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 +``` |