Repository navigation
enh: show more info in reveal_type #3781
Description
import pandas as pd
import numpy as np
from typing import reveal_type
def main(s: pd.Series[pd.Timedelta]) -> None:
td = np.timedelta64(1, "D")
reveal_type(td)(.venv) mgorelli@marcoslaptop:~/pandas-stubs-dev$ mypy t.py
t.py:7: note: Revealed type is "numpy.timedelta64[datetime.timedelta]"
Success: no issues found in 1 source file
(.venv) mgorelli@marcoslaptop:~/pandas-stubs-dev$ pyrefly check t.py
INFO revealed type: timedelta64[timedelta] [reveal-type]
--> t.py:7:16
|
7 | reveal_type(td)
| ----
|
INFO 0 errorsI think the mypy output is easier to use for debugging here?
Activity
grievejia commentedon Jun 11, 2026
We actually used to always reveal fully qualified names back in Pyre1. We ended up moving away from it because we got a lot of complaints about the console output becoming completely unreadable once the types started getting large.
It’s definitely a tricky balance figuring out how to appease both sides here. We previously threw around the idea of recognizing a second parameter for
reveal_typeto control the verbosity, but that's not something that's standardized intyping.Keeping this open -- if you or anyone else has ideas on how we can cleanly thread the needle between precision and terminal readability, please share your thoughts.
MarcoGorelli commentedon Jun 11, 2026
Thanks
How about a pyrefly cli flag
yangdanny97 commentedon Jun 22, 2026
We could have a flag