hax icon indicating copy to clipboard operation
hax copied to clipboard

Rust engine: errors resugaring.

Open maximebuyse opened this issue 3 months ago • 1 comments

The Error nodes in patterns, type, expression, etc. should be converted into “fake” patterns, “fake” types and “fake” expressions.

E.g., ExprKind::Error(err) should be translated in the application hax_error(formatted err)

maximebuyse avatar Sep 09 '25 13:09 maximebuyse

Let's keep this PR alive: we will use it and merge it as soon as the Rust engine itself produces errros.

W95Psp avatar Sep 25 '25 10:09 W95Psp