Minos

A fancy compiler diagnostics crate. A fork of ariadne with a nicer interface.

Example

minos supports arbitrary multi-line spans

fn main() {
    use minos::{Color, ColorGenerator, Fmt, Label, Report, ReportKind, Source};

    let mut colors = ColorGenerator::new();

    // Generate & choose some colours for each of our elements
    let a = colors.next();
    let b = colors.next();
    let out = Color::Fixed(81);

    Report::build(ReportKind::Error, "sample.tao", 12)
        .with_code(3)
        .with_message(format!("Incompatible types"))
        .with_label(
            Label::new(("sample.tao", 32..33))
                .with_message(format!("This is of type {}", "Nat".fg(a)))
                .with_color(a),
        )
        .with_label(
            Label::new(("sample.tao", 42..45))
                .with_message(format!("This is of type {}", "Str".fg(b)))
                .with_color(b),
        )
        .with_label(
            Label::new(("sample.tao", 11..48))
                .with_message(format!(
                    "The values are outputs of this {} expression",
                    "match".fg(out),
                ))
                .with_color(out),
        )
        .with_note(format!(
            "Outputs of {} expressions must coerce to the same type",
            "match".fg(out)
        ))
        .finish()
        .print(("sample.tao", Source::from(include_str!("sample.tao"))))
        .unwrap();
}

See examples/ for more examples.

Usage

For each error you wish to report:

Call Report::build() to create a ReportBuilder.
Assign whatever details are appropriate to the error using the various methods, and then call the finish method to get a Report.
For each Report, call print or eprint to write the report directly to stdout or stderr. Alternately, you can use write to send the report to any other Write destination (such as a file).

About

minos is a fork of ariadne, which is a sister project of chumsky. However, we found that while developing lace that the interface that ariadne gives was not always how we liked it, and decided to make some changes.

Features

Inline and multi-line labels capable of handling arbitrary configurations of spans
Multi-file errors
Generic across custom spans and file caches
A choice of character sets to ensure compatibility
Coloured labels & highlighting with 8-bit and 24-bit color support (thanks to yansi)
Label priority and ordering
Compact mode for smaller diagnostics
Correct handling of variable-width characters such as tabs
A ColorGenerator type that generates distinct colours for visual elements.
A plethora of other options (tab width, label attach points, underlines, etc.)
Built-in ordering/overlap heuristics that come up with the best way to avoid overlapping & label crossover

Cargo Features

"concolor" enables integration with the concolor crate for global color output control across your application
"auto-color" enables concolor's "auto" feature for automatic color control

concolor's features should be defined by the top-level binary crate, but without any features enabled concolor does nothing. If minos is your only dependency using concolor then "auto-color" provides a convenience to enable concolor's automatic color support detection, i.e. this:

[dependencies]
minos = { version = "...", features = ["auto-color"] }

is equivalent to this:

[dependencies]
minos = { version = "...", features = ["concolor"] }
concolor = { version = "...", features = ["auto"] }

Planned Features

Improved layout planning & space usage
Non-ANSI terminal support
More accessibility options (screenreader-friendly mode, textured highlighting as an alternative to color, etc.)
More color options
Better support for layout restrictions (maximum terminal width, for example)

Stability

The API (should) follow semver. However, this does not apply to the layout of final error messages. Minor tweaks to the internal layout heuristics can often result in the exact format of error messages changing with labels moving slightly. If you experience a change in layout that you believe to be a regression (either the change is incorrect, or makes your diagnostics harder to read) then please open an issue.

Credit

Thanks to:

@brendanzab for their beautiful codespan crate that inspired me to try pushing the envelope of error diagnostics.
@estebank for showing innumerable people just how good compiler diagnostics can be through their work on Rust.

jdonszelmann/minos