Comments (3)
Pulling from @sblackshear's detailed answer on discord (Thanks Sam!)
"For some historical context, I believe we used to support a much broader set of error codes, but were having difficulty with error codes committing to implementation details of the Move VM or the adapter. The current error behavior is a reaction to this experience. Error behavior is part of the VM spec, so it's important to keep it as simple/minimal as possible. That is (unfortunately) at odds with devex, but as Todd says, the intention is that this belongs in tooling outside the VM or in a layer above like the adapter"
In short, this isn't the purpose of VMStatus, as an adapter, you can use VMError as much as you want, and report this back to the developer as you see fit. The VM doesn't guarantee being stable enough to always return the same type checking error. It guarantees Yes/No answers on verification. And then guarantees the position for any Move Abort
from move.
Closing for now as it won't be something that is changed. But happy to help with sorting out any information that is missing in VMError
or for strategies in logging that error
from move.
thanks for the detailed answer.
from move.
Related Issues (20)
- [Bug] installation requires rustc 1.66.0 or newer HOT 2
- Update rust-toolchain.toml to latest version HOT 1
- cargo install failed due to toml_edit version HOT 3
- [Bug]: update rust version to 1.66.0 from 1.65.0 HOT 3
- [Dwarf] New language name for Move HOT 9
- [Bug] move-analyzer --branch sui-move server crash HOT 13
- [Feature Request] HOT 1
- [Bug]
- [Bug]
- aptos-move-analyzer 0.1.0 is not sync with the last version 2.4.0 HOT 1
- The sui-move-analyzer plug-in is installed in win10 vscode. Only code highlighting, no code error prompts. How to get code error prompts? HOT 2
- [Bug] cargo test on M2(Macbook pro) fails in docgen HOT 1
- Error parsing '[package]' section of manifest, VSCode HOT 3
- Unable to parse Move package manifest
- Error while following tutorial, Error message : ' found when reading file. Only ASCII printable characters, tabs (\t), and line endings (\n) are permitted.
- [Bug] Use openssl higher than 0.10.41
- Move analyzer parsing error in VS Code
- VSCode sui-move-analyzer plugin problem HOT 1
- [Bug]
- link to <https://github.com/MystenLabs/awesome-move>
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from move.