Skip to content

implicitly shared type variable #310

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
Roger-luo opened this issue Mar 5, 2025 · 0 comments
Open

implicitly shared type variable #310

Roger-luo opened this issue Mar 5, 2025 · 0 comments
Labels
bug Something isn't working dialect: python types issues related to builtin dialect py.types

Comments

@Roger-luo
Copy link
Member

if two parameteric types are used within same statement, e.g

class MyStatemet:
    lhs: ir.SSAValue = info.argument(ilist.IListType[Tuple[Float, Float]])
    rhs: ir.SSAValue = info.argument(ilist.IListType[Tuple[Float, Float]])

this implicitly shared the length parameter because IListType is declared with the same object, however, if not explicitly specified one would expect this not sharing the same type variable. This should be considered a bug and we should fix it.

cc: @kaihsin

@Roger-luo Roger-luo added bug Something isn't working dialect: python types issues related to builtin dialect py.types labels Mar 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working dialect: python types issues related to builtin dialect py.types
Projects
None yet
Development

No branches or pull requests

1 participant