Wolfgang Grieskamp
Wolfgang Grieskamp
Any reason why this is still draft? Some folks may not look until you remove the `draft` status.
You'd need to `cd language/move-stdlib && cargo run` to regenerate the errrmap for stdlib to make the tests pass.
The historic reason why we had it in daily instead of CI were flakes in the DPN verification. But perhaps we can make it the default now? @junkil-park WDYT?
Given the experience with timeouts and flakiness, perhaps we can update this PR so it runs nightly (but this time for real as this seemed to have been broken)?
Have you debug print the `dst_ty` in the `match dest_ty` which causes the issue (sorry if I missed it)?
Even easier, use https://github.com/move-language/move/blob/750903126278ae325461b8c5c9d24f1c708965f5/language/move-model/src/model.rs#L1681
I wonder what the priority of this (clear) bug is. Is this important for you? If so do you not have a reasonable workaround?
It is fantastic to see we have now two proposals to fix this (#289 and #298 from @meng-xu-cs)! I'm still quite a bit under water, do you folks agree which...
The move-fmt project is for Move IR, an older (and simpler) instance of Move.
Formatting is hard because: - comments which need to be preserved (this excludes e.g. using the current parser, which throws comments away even before the lexer is run) - 100%...