Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Split DVar into two declarations #279

Open
phadej opened this issue Nov 13, 2024 · 2 comments
Open

Split DVar into two declarations #279

phadej opened this issue Nov 13, 2024 · 2 comments
Assignees
@phadej
Milestone
1: `Storable` ins...

Comments

@phadej
Copy link
Collaborator

phadej commented Nov 13, 2024

  • the variable binding
  • and the type annotation

Then we can return to having one-to-one translations.
@phadej phadej self-assigned this Nov 13, 2024
@edsko
Copy link
Collaborator

edsko commented Dec 20, 2024

@phadej Is this still necessary?

@edsko edsko added this to the 1: `Storable` instances milestone Dec 20, 2024
@phadej
Copy link
Collaborator Author

phadej commented Dec 20, 2024

yes

# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@phadej phadej

Labels
None yet
Projects
None yet
Milestone
1: `Storable` instances
Development

No branches or pull requests
2 participants
@phadej @edsko