Skip to content
This repository has been archived by the owner on Oct 4, 2024. It is now read-only.

ADTs hashes are non unique #46

Open
albertocalderari opened this issue Nov 18, 2022 · 0 comments
Open

ADTs hashes are non unique #46

albertocalderari opened this issue Nov 18, 2022 · 0 comments

Comments

@albertocalderari
Copy link

Lets say I have an ADT defined as:

@adt
class Foo:
        BAR = Case[str]
        BAZ = Case[str]

CAsting a list of adts as a set:

set([BAR("1"), BAR("1"), BAZ("1")])

will return:

set(BAR("1"), BAR("1"), BAZ("1"))

instead of:

set([BAR("1"), BAZ("1")])
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant