HEL/midas
1
0
Fork 0
Code Issues Pull Requests Actions Releases 2 Activity

chore: add new parameter to docstring
All checks were successful
Tests / tests (pull_request) Successful in 5s
Details

Browse Source
This commit is contained in:
Louis Heredero
2026-07-08 19:30:15 +02:00
parent ab7012c538
commit 4ed78d3d7e
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
midas/checker/resolver.py
View File

@@ -38,6 +38,7 @@ class Resolver(p.Stmt.Visitor[None], p.Expr.Visitor[None]):
This method must be called *before* evaluating the variable initializer This method must be called *before* evaluating the variable initializer
Args: Args:
location (Location): the location where the name is declared
name (str): the name of the variable name (str): the name of the variable
""" """
if len(self.scopes) == 0: if len(self.scopes) == 0: