Skip to content

Commit 1db1dfb

Browse files
Add failing no import * star test
1 parent d9f26ff commit 1db1dfb

File tree

1 file changed

+12
-0
lines changed

1 file changed

+12
-0
lines changed
Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
import egglog as el
2+
3+
4+
def test_no_import_star():
5+
"""
6+
https://github.com/egraphs-good/egglog-python/issues/210
7+
"""
8+
9+
class Num(el.Expr):
10+
def __init__(self, value: el.i64Like) -> None: ...
11+
12+
Num(1) # gets an error "NameError: name 'i64' is not defined"

0 commit comments

Comments
 (0)