search

hacspec / hax

A Rust verification tool
https://hacspec.org/blog
Apache License 2.0
157 stars 16 forks source link

Move diagnostics reporting to annotate_snippets #739

Open W95Psp opened 5 days ago

W95Psp commented 5 days ago

Since https://github.com/hacspec/hax/pull/735 Rustc doesn't allow us to report diagnostics with custom error codes any more. This was needed for https://github.com/hacspec/hax/issues/277 anyway, and decoupling rustc sessions and error reporting will help in general with the design of the CLI.

W95Psp commented 2 days ago

Miette was not the best candidate, since it's output format is very different from the one used in Rustc. Also, Rustc exposes its own reporting crate, annotate_snippets, so let's use that instead.