Skip to content

Conversation

@aviatesk
Copy link
Member

Both of these interfaces have nearly identical roles. Considering the simplicity in the codebase and the possible overloads by external abstract interpreters, it seems more sensible to unify them into one interface.
Also tweaks remarks a bit.

@aviatesk aviatesk requested a review from Keno January 16, 2024 10:22
Both of these interfaces have nearly identical roles. Considering the
simplicity in the codebase and the possible overloads by external
abstract interpreters, it seems more sensible to unify them into one
interface.
@aviatesk aviatesk force-pushed the avi/unify-const-bail-out branch from 295390d to 66c9811 Compare January 17, 2024 03:36
@aviatesk aviatesk merged commit 3ed49fd into master Jan 17, 2024
@aviatesk aviatesk deleted the avi/unify-const-bail-out branch January 17, 2024 06:57
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.

2 participants