fz0x1/HPI
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

general: small updates for typing while trying out pyright

Browse source
This commit is contained in:
Dima Gerasimov 2024-08-27 21:02:39 +01:00 • committed by karlicoss
parent b1fe23b8d0
commit c08ddbc781
7 changed files with 12 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

5
my/hypothesis.py
View file

@ -41,6 +41,7 @@ except ModuleNotFoundError as e:
dal = pre_pip_dal_handler('hypexport', e, config, requires=REQUIRES)
DAL = dal.DAL
Highlight = dal.Highlight
Page = dal.Page
@ -49,8 +50,8 @@ def inputs() -> Sequence[Path]:
return get_files(config.export_path)
def _dal() -> dal.DAL:
return dal.DAL(inputs())
def _dal() -> DAL:
return DAL(inputs())
# TODO they are in reverse chronological order...