#15 - если у функции не прописан тип и нет return'ов, то она void

Stepami · Jul 20, 2024 · 5ff32a5 · 5ff32a5
1 parent b2bf014
commit 5ff32a5
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 6 deletions.
diff --git a/HydraScript.Lib/IR/CheckSemantics/Visitors/DeclarationVisitor.cs b/HydraScript.Lib/IR/CheckSemantics/Visitors/DeclarationVisitor.cs
@@ -86,7 +86,12 @@ public Unit Visit(FunctionDeclaration visitable)
 
         Type undefined = "undefined";
         if (functionSymbol.Type.Equals(undefined))
-            _functionStorage.Save(functionSymbol, visitable);
+        {
+            if (visitable.HasReturnStatement())
+                _functionStorage.Save(functionSymbol, visitable);
+            else
+                functionSymbol.DefineReturnType("void");
+        }
 
         visitable.Parent.SymbolTable.AddSymbol(functionSymbol);
         return visitable.Statements.Accept(this);

diff --git a/HydraScript.Lib/IR/CheckSemantics/Visitors/SemanticChecker.cs b/HydraScript.Lib/IR/CheckSemantics/Visitors/SemanticChecker.cs
@@ -411,12 +411,8 @@ symbol as FunctionSymbol
 
     public Type Visit(FunctionDeclaration visitable)
     {
-        var symbol =
-            visitable.SymbolTable.FindSymbol<FunctionSymbol>(visitable.Name)
-            ?? throw new UnknownIdentifierReference(visitable.Name);
-
+        var symbol = visitable.SymbolTable.FindSymbol<FunctionSymbol>(visitable.Name);
         _functionStorage.RemoveIfPresent(symbol);
-
         visitable.Statements.Accept(this);
 
         var returnStatements = visitable.GetReturnStatements()