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

fix(cli): add types files argument

Browse Source
This commit is contained in:
Louis Heredero
2026-06-05 10:44:20 +02:00
parent 74b297c89c
commit 5d7c724bc8
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
midas/cli/main.py
View File

@@ -34,8 +34,9 @@ def midas():
@midas.command() @midas.command()
@click.option("-l", "--highlight", type=click.File("w")) @click.option("-l", "--highlight", type=click.File("w"))
@click.option("-t", "--types", type=click.File("r"), multiple=True)
@click.argument("file", type=click.File("r")) @click.argument("file", type=click.File("r"))
def compile(highlight: Optional[TextIO], file: TextIO): def compile(highlight: Optional[TextIO], file: TextIO, types: tuple[TextIO]):
logging.basicConfig(level=logging.DEBUG) logging.basicConfig(level=logging.DEBUG)
source: str = file.read() source: str = file.read()
tree: ast.Module = ast.parse(source, filename=file.name) tree: ast.Module = ast.parse(source, filename=file.name)
@@ -43,7 +44,12 @@ def compile(highlight: Optional[TextIO], file: TextIO):
stmts: list[p.Stmt] = parser.parse_module(tree) stmts: list[p.Stmt] = parser.parse_module(tree)
resolver = Resolver() resolver = Resolver()
resolver.resolve(*stmts) resolver.resolve(*stmts)
checker = Checker(resolver.locals, file_path=Path(file.name).resolve()) types_paths: list[Path] = [Path(t.name).resolve() for t in types]
checker = Checker(
resolver.locals,
source_path=Path(file.name).resolve(),
types_paths=types_paths,
)
diagnostics: list[Diagnostic] = checker.check(stmts) diagnostics: list[Diagnostic] = checker.check(stmts)
for diagnostic in diagnostics: for diagnostic in diagnostics:
print(diagnostic) print(diagnostic)