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

[Feature Request][refactoring][compiler-v2] Avoid having to include the vector module for compiler v2 #15483

Open
vineethk opened this issue Dec 4, 2024 · 1 comment
Open

[Feature Request][refactoring][compiler-v2] Avoid having to include the vector module for compiler v2 #15483

vineethk opened this issue Dec 4, 2024 · 1 comment
Labels
compiler-v2 enhancement New feature or request

Comments

@vineethk
Copy link
Contributor

vineethk commented Dec 4, 2024 •
edited
Loading

🚀 Feature Request

Due to implicit usages of the vector module (e.g., vector::borrow is automatically inserted on vector index operation), we currently need to include the vector module (see "Step 3: selective compilation" in third_party/move/move-model/src/lib.rs).

We may want to refactor the code to remove this special case.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
compiler-v2 enhancement New feature or request
Projects
Move Language and Runtime
Status: 🆕 New
Milestone
No milestone
Development

No branches or pull requests
2 participants
@vineethk and others