From de1b4d5b6444417a163e90b032f487c91e62c8a4 Mon Sep 17 00:00:00 2001 From: nodist Date: Sat, 16 May 2026 16:12:28 -0400 Subject: specify union classes --- docs/type_system/overload.md | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'docs/type_system/overload.md') 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 +``` -- cgit v1.2.3