mirrors/Nim
1
0
Fork 0
mirror of https://github.com/nim-lang/Nim.git synced 2026-04-30 03:03:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

update minimum recommended gcc version and fix manual typos (#24240)

Browse Source 
ref https://github.com/nim-lang/Nim/issues/24235

(cherry picked from commit 782b75cc08)
This commit is contained in:
tersec
2024-10-06 03:04:37 +00:00
committed by narimiran
parent 39a6106e8b
commit b873eaedf5
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
doc/manual.md
View File

@@ -2623,12 +2623,12 @@ In a call `p(args)` where `p` may refer to more than one
candidate, it is said to be a symbol choice. Overload resolution will attempt to
find the best candidate, thus transforming the symbol choice into a resolved symbol.
The routine `p` that matches best is selected following a series of trials explained below.
In order: Catagory matching, Hierarchical Order Comparison, and finally, Complexity Analysis.
In order: Category matching, Hierarchical Order Comparison, and finally, Complexity Analysis.
If multiple candidates match equally well after all trials have been tested, the ambiguity
is reported during semantic analysis.
First Trial: Catagory matching
First Trial: Category matching
--------------------------------
Every arg in `args` needs to match and there are multiple different categories of matches.
@@ -2689,7 +2689,7 @@ Matching formals for this type include `T`, `object`, `A`, `A[...]` and `A[C]` w
is a generic typeclass composition and `T` is an unconstrained generic type variable. This list is in order of
specificity with respect to `A` as each subsequent category narrows the set of types that are members of their match set.
In this trail, the formal parameters of candidates are compared in order (1st parameter, 2nd parameter, etc.) to search for
In this trial, the formal parameters of candidates are compared in order (1st parameter, 2nd parameter, etc.) to search for
a candidate that has an unrivaled specificity. If such a formal parameter is found, the candidate it belongs to is chosen
as the resolved symbol.