Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Translate stateless crates #2

Open
bugarela opened this issue Feb 26, 2024 · 1 comment
Open

Translate stateless crates #2

bugarela opened this issue Feb 26, 2024 · 1 comment
Assignees
@bugarela

Comments

@bugarela
Copy link
Collaborator

Sometimes, contracts use other non-contract crates as dependencies. We need to

  1. translate those creates to stateless quint modules (with less boilerplate than our current stateful modules)
  2. translate use statements into imports from those modules.
@bugarela bugarela self-assigned this Feb 26, 2024
@bugarela bugarela changed the title Translating stateless crates Translate stateless crates Feb 26, 2024
@bugarela
Copy link
Collaborator Author

Idk how to approach this for external dependencies. My best idea now is to advise the user to run our tool for the external crates. So far, I couldn't find a way to automate this - perhaps by trying to vendorize the dependencies and then calling the generator for them?

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

@bugarela bugarela

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@bugarela