formalang 0.0.3-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
38
39

//! Optional / `nil` mismatch error renderers.

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

pub(in crate::reporting) fn nil_assigned_to_non_optional<'a>(
    filename: &'a str,
    span: Span,
    expected: &'a str,
) -> ReportBuilder<'a> {
    report(filename, span, "E095")
        .with_message(format!(
            "Cannot assign nil to non-optional type '{expected}'"
        ))
        .with_label(label(filename, span).with_message(format!(
            "nil cannot be assigned to '{}'; use '{}?' to allow nil",
            expected.fg(Color::Red),
            expected
        )))
        .with_help(format!("Change the type annotation to '{expected}?'"))
}

pub(in crate::reporting) fn optional_used_as_non_optional<'a>(
    filename: &'a str,
    span: Span,
    actual: &'a str,
    expected: &'a str,
) -> ReportBuilder<'a> {
    report(filename, span, "E096")
        .with_message("Optional type used where non-optional is required")
        .with_label(label(filename, span).with_message(format!(
            "found optional '{}', expected non-optional '{}'",
            actual.fg(Color::Red),
            expected.fg(Color::Green)
        )))
        .with_help("Unwrap the optional value before accessing its fields")
}