# Ariadne

[![crates.io](https://img.shields.io/crates/v/ariadne.svg)](https://crates.io/crates/ariadne)
[![crates.io](https://docs.rs/ariadne/badge.svg)](https://docs.rs/ariadne)
[![License](https://img.shields.io/badge/license-MIT%2FApache--2.0-blue.svg)](https://github.com/zesterer/ariadne)
![actions-badge](https://codeberg.org/zesterer/ariadne/badges/workflows/rust.yml/badge.svg?branch=main)

A fancy compiler diagnostics crate.

## Example

<a href = "https://github.com/zesterer/ariadne/blob/main/examples/multiline.rs">
<img src="https://raw.githubusercontent.com/zesterer/ariadne/main/misc/example.png" alt="Ariadne supports arbitrary multi-line spans"/>
</a>

```rust
use ariadne::{Color, ColorGenerator, Fmt, Label, Report, ReportKind, Source};

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

Report::build(ReportKind::Error, ("sample.tao", 12..12))
    .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", 52..55))
        .with_message(format!("This is of type {}", "Str".fg(b)))
        .with_color(b))
    .with_label(Label::new(("sample.tao", 11..58))
        .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()
    .eprint(("sample.tao", Source::from(include_str!("sample.tao"))))
    .unwrap();
```

See [`examples/`](https://github.com/zesterer/ariadne/tree/main/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

`ariadne` is a sister project of [`chumsky`](https://github.com/zesterer/chumsky/). Neither are dependent on
one-another, but I'm working on both simultaneously and like to think that their features complement each other. If
you're thinking of using `ariadne` to process your compiler's output, why not try using `chumsky` to process its input?

## 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`](https://github.com/SergioBenitez/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`](https://crates.io/crates/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 `ariadne` is your only dependency using `concolor` then `"auto-color"` provides a convenience to enable
`concolor`'s automatic color support detection, i.e. this:
```TOML
[dependencies]
ariadne = { version = "...", features = ["auto-color"] }
```
is equivalent to this:
```TOML
[dependencies]
ariadne = { 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](https://www.semver.org/). 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.

Ariadne currently has a Minimum Supported Rust Version (MSRV) of `1.85.0`.

## Credit

Thanks to:

- `@brendanzab` for their beautiful [`codespan`](https://github.com/brendanzab/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.

## Provenance

This software is proudly and fondly written, maintained, used - and most crucially - **understood** by real human beings.
While we can't personally attest to the provenance of every line of code ever contributed, the vast majority of the
codebase has certainly been developed without the aid of large language models and other stochastic 'intelligence'.

While the license may not guarantee warranty 'of any kind', you can at least use this software in the comforting knowledge
that its veracity and coherence is vouched for by sentient intelligence with skin in the game and a reputation to uphold.

## Contribution guidelines

See [`CONTRIBUTING.md`](CONTRIBUTING).