diff options
| author | _ov4 <ov4@ov4.org> | 2026-10-28 13:41:26 +0000 |
|---|---|---|
| committer | _ov4 <ov4@ov4.org> | 2026-10-28 13:41:26 +0000 |
| commit | 63109537383fa58c6a1db95f275d6b5de63b0015 (patch) | |
| tree | 318441dd53b9f7208e65867fd57dd2587fa8f147 /AGENTS/CONVENTIONS/CALLS.md | |
| parent | 5370a0d74d90799ca010d308d54330283116ca5e (diff) | |
docs(overload): document default return selection
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Diffstat (limited to 'AGENTS/CONVENTIONS/CALLS.md')
| -rw-r--r-- | AGENTS/CONVENTIONS/CALLS.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/AGENTS/CONVENTIONS/CALLS.md b/AGENTS/CONVENTIONS/CALLS.md index 55b3647..df3d61d 100644 --- a/AGENTS/CONVENTIONS/CALLS.md +++ b/AGENTS/CONVENTIONS/CALLS.md @@ -29,7 +29,7 @@ bridge C void* and nominal pseudocode pointer types. prototypes are pre-registered too. - OVERLOAD link names append canonical parameter types, plus `:ReturnKey` for non-VOID results (NEW and OPERATOR<- excepted); ordinary names except MAIN get no mangling. - An expression's expected result type filters overloads when present. Overload sets, + An expression's expected result type filters overloads when present. Without a result context, a DEFAULT return resolves return-only ambiguity within one name and canonical parameter signature. Overload sets, visibility filtering and exact selection: [SUBSYSTEMS/FUNCTIONS.md](../SUBSYSTEMS/FUNCTIONS.md#signatures-and-call-resolution). - `emitPrototype` rejects builtin and enum names. Ordinary non-EXTERN, non-OVERLOAD |