Skip to content

Conversation

BobTheBuidler
Copy link
Contributor

@BobTheBuidler BobTheBuidler commented Aug 18, 2025

This PR implements the exact_dict_rprimitive without doing anything with it yet.

Actual functionality will be introduced in a later PR.

This is ready for review.

@@ -196,7 +196,10 @@ def can_coerce_to(src: RType, dest: RType) -> bool:
if isinstance(src, RPrimitive):
# If either src or dest is a disjoint type, then they must both be.
if src.name in disjoint_types and dest.name in disjoint_types:
return src.name == dest.name
return src.name == dest.name or (
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

there must be a better way to do this

@BobTheBuidler
Copy link
Contributor Author

@JukkaL is there anything blocking us from merging this one? I'll need to rebase the larger PR on master once we do, and then I can break that out into a few smaller PRs implementing the various features

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant