[WIP] Ariadne

A fancy error diagnostics & reporting crate. Designed to be used with chumsky, although not exclusively.

Features

• Inline and multi-line labels capable of handling arbitrary configurations of spans
• Multi-file source support
• Generic across custom spans and file caches

Planned Feature

• Support for syntax highlight, coloured text & labels, etc.
• Probably some other things

Examples

The following...

fn main() {
    Report::build(ReportKind::Error, "b.tao", 10)
        .with_code(3)
        .with_message(format!("Cannot add types Nat and Str"))
        .with_label(Label::new(("b.tao", 10..14)).with_note("This is of type Nat"))
        .with_label(Label::new(("b.tao", 17..20)).with_note("This is of type Str"))
        .with_label(Label::new(("a.tao", 4..8)).with_note("Original definition of 'five' is here"))
        .finish()
        .print(sources(vec![
            ("a.tao", include_str!("a.tao")),
            ("b.tao", include_str!("b.tao")),
        ]))
        .unwrap();
}

...produces neat, inline, overlapping labels.

[E03] Error: Cannot add types Nat and Str
    ╭─[b.tao:1:11]
    │
  1 │ def six = five + "1"
    ·           ──┬─   ─┬─
    ·             ╰─────│── This is of type Nat
    ·                   │
    ·                   ╰── This is of type Str
    │
    ├─[a.tao:1:5]
    │
  1 │ def five = 5
    ·     ──┬─
    ·       ╰── Original definition of 'five' is here
────╯

The crate can also handle arbitrarily complex spans!

[E03] Error: Incompatible types
    ╭─[<unknown>:1:14]
    │
  1 │         def fives = ["5", 5]
    ·                           ┬
    ·                           ╰── This is of type Nat
  3 │         def sixes = ["6", 6, True, (), []]
    ·                      ─┬─  ┬  ──┬─  ─┬  ─┬
    ·                       ╰───┼────┼────┼───┼── This is of type Str
    ·                           │    │    │   │
    ·                           ╰────┼────┼───┼── This is of type Nat
    ·                                │    │   │
    ·                                ╰────┼───┼── This is of type Bool
    ·                                     │   │
    ·                                     ╰───┼── This is of type ()
    ·                                         │
    ·                                         ╰── This is of type [_]
  5 │         def multiline :: Str = match Some 5 in {
    ·                          ─┬─   │
    · ╭─────────────────────────┼────╯
    · │                         │
    · │                         ╰─────── This is of type Str
  6 │ │           | Some x => x
    · │        │     │ │ ┬┬
    · │ ╭──────╯     │ │ ││
    · │ │            │ │ ││
    · │ │ ╭──────────╯ │ ││
    · │ │ │            │ ││
    · │ │ │ ╭──────────╯ ││
    · │ │ │ │            ││
    · │ │ │ │            ╰┼── This is an inline within the nesting!
    · │ │ │ │             │
    · │ │ │ │             ╰── And another!
  7 │ │ │ │ │     | None => 0
    · │ │ │ │   │ │   │
    · │ │ ╰─┼───┴─┼───┼── This is another inner multi-line
    · │ │   │     │   │
    · │ │   ╰─────┴───┼── This is a *really* nested multi-line
    · │ │             │
    · │ ╰─────────────┴── This is an inner multi-line
  8 │ │       }
    · │       │
    · ╰───────┴── This is of type Nat
────╯