fix typing

life4 · May 7, 2020 · fc63a81 · fc63a81
1 parent 43e3364
commit fc63a81
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/deal/linter/_func.py b/deal/linter/_func.py
@@ -64,7 +64,7 @@ def from_astroid(cls, tree: astroid.Module) -> List['Func']:
 
             # make signature
             code = 'def f({}):0'.format(expr.args.as_string())
-            func_args = ast.parse(code).body[0].args
+            func_args = ast.parse(code).body[0].args  # type: ignore
 
             # collect contracts
             contracts = []

diff --git a/deal/linter/_template.py b/deal/linter/_template.py
@@ -9,12 +9,12 @@
 contract = ...
 func = ...
 
-base = Base(validator=contract)
+base = Base(validator=contract)  # type: ignore
 if func is not Ellipsis:
     base.function = func
 
 try:
-    base.validate(*args, **kwargs)  # noqa: F821
+    base.validate(*args, **kwargs)  # type: ignore  # noqa: F821
 except ContractError as exc:
     result = False
     if exc.args: