formalang 0.0.5-beta

FormaLang compiler frontend: lexer, parser, semantic analyzer, and IR lowering.
Documentation 
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

//! Mutability and ownership error renderers (`mut` parameter mismatch
//! and `sink` use-after-move).

use super::super::ReportBuilder;
use super::{label, report};
use crate::location::Span;
use ariadne::{Color, Fmt};

pub(in crate::reporting) fn mutability_mismatch<'a>(
    filename: &'a str,
    span: Span,
    param: &'a str,
) -> ReportBuilder<'a> {
    report(filename, span, "E070")
        .with_message(format!("Mutability mismatch for parameter '{param}'"))
        .with_label(label(filename, span).with_message(format!(
            "parameter '{}' requires a mutable value",
            param.fg(Color::Red)
        )))
        .with_help("Declare the binding with 'let mut' so it can be passed to a 'mut' parameter")
}

pub(in crate::reporting) fn use_after_sink<'a>(
    filename: &'a str,
    span: Span,
    name: &'a str,
) -> ReportBuilder<'a> {
    report(filename, span, "E071")
        .with_message(format!("Use of moved value '{name}'"))
        .with_label(label(filename, span).with_message(format!(
            "'{}' was moved into a 'sink' parameter and cannot be used again",
            name.fg(Color::Red)
        )))
        .with_help(
            "Each 'sink' parameter consumes its argument; do not use the binding after the call",
        )
}