llzk 0.3.1

Rust bindings to the LLZK C API.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46

use log::Log;
use melior::diagnostic::{Diagnostic, DiagnosticSeverity};

fn log_msg(diag: &Diagnostic, logger: &dyn Log) {
    match diag.severity() {
        DiagnosticSeverity::Error => {
            log::error!(logger: logger, "[{}] {}", diag.location(), diag)
        }
        DiagnosticSeverity::Note => {
            log::info!(logger: logger, "[{}] note: {}", diag.location(), diag)
        }
        DiagnosticSeverity::Remark => {
            log::info!(logger: logger, "[{}] remark: {}", diag.location(), diag)
        }
        DiagnosticSeverity::Warning => {
            log::warn!(logger: logger, "[{}] {}", diag.location(), diag)
        }
    }
}

fn log_notes(diag: &Diagnostic, logger: &dyn Log) -> Result<(), bool> {
    for note_no in 0..diag.note_count() {
        let note = diag.note(note_no);
        match note {
            Ok(note) => {
                log_msg(&note, logger);
                log_notes(&note, logger)?;
            }
            Err(err) => {
                log::error!(logger: logger, "Error while obtaining note #{note_no}: {err}");
                return Err(false);
            }
        };
    }
    Ok(())
}

/// Diagnostics handler that writes the diagnostics to the [`log`].
pub fn log_diagnostic(diag: Diagnostic, logger: &dyn Log) -> bool {
    log_msg(&diag, logger);
    if let Err(res) = log_notes(&diag, logger) {
        return res;
    }

    true
}