From ac9d360dcdf587588d076e56a5ffaaa7d1b2f1e6 Mon Sep 17 00:00:00 2001 From: Mike Gerber Date: Mon, 8 Jan 2024 19:04:36 +0100 Subject: [PATCH] =?UTF-8?q?=F0=9F=94=8D=20mypy:=20Make=20cli.process()=20t?= =?UTF-8?q?yped=20so=20mypy=20checks=20it=20(and=20issues=20no=20warning)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/dinglehopper/cli.py | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/src/dinglehopper/cli.py b/src/dinglehopper/cli.py index 99403ba..5d2000a 100644 --- a/src/dinglehopper/cli.py +++ b/src/dinglehopper/cli.py @@ -105,14 +105,14 @@ def json_float(value): def process( - gt, - ocr, - report_prefix, - reports_folder=".", + gt: str, + ocr: str, + report_prefix: str, + reports_folder: str = ".", *, - metrics=True, - differences=False, - textequiv_level="region", + metrics: bool = True, + differences: bool = False, + textequiv_level: str = "region", ): """Check OCR result against GT.