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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67

//! Per-variant `ReportBuilder` constructors for the more advanced /
//! less common `CompilerError` variants: trait-impl checks, generic
//! arity / constraint violations, function / overload resolution,
//! mutability and ownership, extern declarations, struct/enum field
//! errors, optional/`nil` handling, visibility, limits, and
//! closure-capture lifetime errors.
//!
//! Each function builds the `ariadne::ReportBuilder` for exactly one
//! enum variant and is invoked from the dispatcher in
//! [`super::build_error_report`].

use super::ReportBuilder;
use crate::location::Span;
use ariadne::{Color, Label, Report, ReportKind};

mod fields;
mod functions;
mod generics;
mod misc;
mod mutability;
mod optional;
mod traits;

pub(in crate::reporting) use fields::{
    assignment_to_immutable, enum_variant_requires_data, enum_variant_without_data, missing_field,
    positional_arg_in_struct, unknown_field,
};
pub(in crate::reporting) use functions::{
    ambiguous_call, cannot_infer_enum_type, extern_fn_with_body, extern_impl_with_body,
    function_return_type_mismatch, no_matching_overload, regular_fn_without_body,
    required_param_after_default,
};
pub(in crate::reporting) use generics::{
    duplicate_generic_param, generic_arity_mismatch, generic_constraint_violation,
    missing_generic_arguments, out_of_scope_type_parameter,
};
pub(in crate::reporting) use misc::{
    closure_capture_escapes_local_binding, expression_depth_exceeded, internal_error,
    too_many_definitions, visibility_violation,
};
pub(in crate::reporting) use mutability::{mutability_mismatch, use_after_sink};
pub(in crate::reporting) use optional::{
    nil_assigned_to_non_optional, optional_used_as_non_optional,
};
pub(in crate::reporting) use traits::{
    missing_trait_field, missing_trait_method, trait_field_type_mismatch,
    trait_method_signature_mismatch,
};

/// Red label spanning `span` in `filename`. Shared across every renderer
/// in this module.
pub(in crate::reporting) fn label(
    filename: &str,
    span: Span,
) -> Label<(&str, std::ops::Range<usize>)> {
    Label::new((filename, span.start.offset..span.end.offset)).with_color(Color::Red)
}

/// New `ariadne` report builder pinned to `span.start.offset` and stamped
/// with the project-wide error `code`.
pub(in crate::reporting) fn report<'a>(
    filename: &'a str,
    span: Span,
    code: &'static str,
) -> ReportBuilder<'a> {
    Report::build(ReportKind::Error, filename, span.start.offset).with_code(code)
}