#167 - не зависим от порядка объявления функции

Author: Stepami

src/Application/HydraScript.Application.StaticAnalysis/Exceptions/AmbiguousInvocation.cs

@@ -9,4 +9,4 @@ public class AmbiguousInvocation(
     IReadOnlyCollection<FunctionSymbolId> candidates) :
     SemanticException(
         segment,
-        $"Candidates are:\n{string.Join('\n', candidates)}");
+        $"Ambiguous Invocation - Candidates are:\n{string.Join('\n', candidates)}");

src/Application/HydraScript.Application.StaticAnalysis/Visitors/DeclarationVisitor.cs

@@ -90,8 +90,16 @@ public VisitUnit Visit(FunctionDeclaration visitable)
                 x.TypeValue.Accept(_typeBuilder))).ToList();
         var functionSymbolId = new FunctionSymbolId(visitable.Name, parameters.Select(x => x.Type));
         visitable.ComputedFunctionAddress = functionSymbolId.ToString();
+        var functionSymbol = new FunctionSymbol(
+            visitable.Name,
+            parameters,
+            visitable.ReturnTypeValue.Accept(_typeBuilder),
+            visitable.IsEmpty);
         if (parentTable.ContainsSymbol(functionSymbolId))
-            throw new OverloadAlreadyExists(visitable.Name, functionSymbolId);
+        {
+            if (!(parentTable.FindSymbol(functionSymbolId)! > functionSymbol))
+                throw new OverloadAlreadyExists(visitable.Name, functionSymbolId);
+        }
 
         for (var i = 0; i < parameters.Count; i++)
         {
@@ -100,11 +108,6 @@ public VisitUnit Visit(FunctionDeclaration visitable)
             _symbolTables[visitable.Scope].AddSymbol(arg);
         }
 
-        var functionSymbol = new FunctionSymbol(
-            visitable.Name,
-            parameters,
-            visitable.ReturnTypeValue.Accept(_typeBuilder),
-            visitable.IsEmpty);
         if (parameters is [{ Type: ObjectType objectType }, ..] &&
             visitable.Arguments is [{ TypeValue: TypeIdentValue }, ..])
         {