You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, if you run hax on a crate on which you run an older hax before, you might get a parsing error.
The parsing error is currently a stack trace from OCaml, we should instead add a message that tells the user this is probably:
either hax frontend / engine mismatch
either cache issue (so needs cargo clean)
The text was updated successfully, but these errors were encountered:
Currently, if you run
hax
on a crate on which you run an olderhax
before, you might get a parsing error.The parsing error is currently a stack trace from OCaml, we should instead add a message that tells the user this is probably:
cargo clean
)The text was updated successfully, but these errors were encountered: