wassname/jaxtyping
1
0
Fork 0
mirror of https://github.com/wassname/jaxtyping.git synced 2026-09-10 12:14:04 +08:00
Code Issues Packages Projects Releases Wiki Activity

Better handling of user-defined typechecker

Browse Source
This commit is contained in:
Roma Knyaz
2023-10-09 10:21:07 -07:00
committed by Patrick Kidger
parent 9c9635d4f3
commit 513a54b048
5 changed files with 100 additions and 65 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/test_ipython_extension.py
+1 -1
View File
@@ -14,7 +14,7 @@ def ip(session_ip):
session_ip.run_cell(raw_cell="import jaxtyping")
session_ip.run_line_magic(magic_name="load_ext", line="jaxtyping")
session_ip.run_line_magic(
magic_name="jaxtyping.typechecker", line="beartype.beartype"
magic_name="jaxtyping.typechecker", line="typeguard.typechecked"
)
yield session_ip