Skip to content

Commit 1ec87e1

Browse files
committed
Try to guess element type from values in ilist.New
1 parent 2992835 commit 1ec87e1

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

src/kirin/dialects/ilist/stmts.py

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,10 @@ def __init__(
3535
elem_type: types.TypeAttribute | None = None,
3636
) -> None:
3737
if not elem_type:
38-
elem_type = types.Any
38+
if not values:
39+
elem_type = types.Any
40+
else:
41+
elem_type = values[0].type
3942
result_type = IListType[elem_type, types.Literal(len(values))]
4043
super().__init__(
4144
args=values,

0 commit comments

Comments
 (0)