smelt-stdlib 0.1.0

Shared standard-library shims and diagnostic categories used across the Smelt transpiler.
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

//! Diagnostics for recognized but unsupported standard-library forms.

use crate::RuleId;

/// Unsupported source shape for a known standard-library rule.
#[derive(Clone, Copy, Debug, Eq, PartialEq)]
#[non_exhaustive]
pub enum UnsupportedForm {
    /// The call used an unsupported argument count.
    ArgumentCount,
    /// The call used keyword/named arguments that are not modeled yet.
    KeywordArguments,
    /// The call used unsupported argument types.
    ArgumentTypes,
    /// The call omitted required type context.
    MissingTypeContext,
}

/// Diagnostic metadata for a known standard-library API that cannot lower yet.
#[derive(Clone, Copy, Debug, Eq, PartialEq)]
#[non_exhaustive]
pub struct StdlibDiagnostic {
    /// Rule whose API spelling was recognized.
    pub rule: RuleId,
    /// Unsupported source shape.
    pub form: UnsupportedForm,
    /// Stable user-facing diagnostic message.
    pub message: &'static str,
}

impl StdlibDiagnostic {
    /// Create a diagnostic for an unsupported known API form.
    #[must_use]
    pub const fn unsupported(rule: RuleId, form: UnsupportedForm, message: &'static str) -> Self {
        Self {
            rule,
            form,
            message,
        }
    }
}