Comments (2)
I can't replicate your issue I'm afraid. Running:
import torch
from jaxtyping import Float
def simple_test_a(x: Float[torch.Tensor, "dim1"]) -> torch.Tensor:
reveal_type(x)
return x
def simple_test_b(x: Float[torch.Tensor, "dim1"]) -> float:
reveal_type(x)
return x.item()
def simple_test_c(x: Float[torch.Tensor, "dim1"]) -> None:
reveal_type(x)
x.asdfasdfasdf()
prints:
tmp.py:5: note: Revealed type is "torch._tensor.Tensor"
tmp.py:9: note: Revealed type is "torch._tensor.Tensor"
tmp.py:13: note: Revealed type is "torch._tensor.Tensor"
tmp.py:14: error: "Tensor" has no attribute "asdfasdfasdf" [attr-defined]
This is with versions:
torch: 1.13.1
jaxtyping: 0.2.9
mypy: 0.991
As for VSCode, this issue is due to a now-resolved bug in pyright: microsoft/pyright#4287 . Try updating your pyright version.
from jaxtyping.
Interesting, it seems to be related with strict
mode. I can replicate your output when I run mypy in non-strict mode:
test.py:6: note: Revealed type is "torch._tensor.Tensor"
test.py:11: note: Revealed type is "torch._tensor.Tensor"
test.py:16: note: Revealed type is "torch._tensor.Tensor"
test.py:17: error: "Tensor" has no attribute "asdfasdfasdf" [attr-defined]
As soon as I add a mypy.ini
containing
[mypy]
strict = True
the output becomes:
test.py:5: error: Name "dim1" is not defined [name-defined]
test.py:6: note: Revealed type is "Any"
test.py:7: error: Returning Any from function declared to return "Tensor" [no-any-return]
test.py:10: error: Name "dim1" is not defined [name-defined]
test.py:11: note: Revealed type is "Any"
test.py:12: error: Returning Any from function declared to return "float" [no-any-return]
test.py:15: error: Name "dim1" is not defined [name-defined]
test.py:16: note: Revealed type is "Any"
Note that even the revealed types change.
Using exactly the same package versions.
Looks like a mypy bug?
from jaxtyping.
Related Issues (20)
- BUG: Exception if array in args is modified in a function with the same name HOT 4
- Isinstance checks against a ShapeDtypeStruct HOT 2
- bug: can't type flax.struct.dataclass with vmapped functions HOT 3
- Disabling JAX import HOT 2
- einops-like packing notation HOT 4
- Symbolic expressions example doesn't run HOT 2
- v0.2.26 Release Failed HOT 1
- Allow two variadic shapes when it makes sense HOT 1
- Support for NestedTensors HOT 3
- `jaxtyped` Annotation fails
- jax dependency error when jax is not installed HOT 4
- Random instances / Hypothesis-like generation HOT 3
- Question: manual assertion HOT 4
- Move equinox "tree_pformat" into jaxtyping or allow users to configure their own HOT 1
- How to use with Sphinx autodoc? HOT 1
- Issues with torch.compile HOT 5
- Functions without type hints and import hook HOT 1
- Compatibility with multiprocessing / joblib - AttributeError: type object 'Float[Tensor, 'batch_size num_classes']' has no attribute 'index_variadic' HOT 4
- Can typeguard be an optional dependency? HOT 8
- Are pytorch named tensors supported, like in torchtyping? HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from jaxtyping.