spade-ast-lowering 0.15.0

Helper crate for https://spade-lang.org/
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

use spade_common::location_info::Loc;
use spade_diagnostics::Diagnostic;
use spade_macros::IntoDiagnostic;

pub enum ItemKind {
    Pipeline,
    Entity,
}

#[derive(IntoDiagnostic)]
#[diagnostic(error, "Cannot create a wire of ports")]
pub(crate) struct WireOfPort {
    #[diagnostic(primary, "This cannot be a wire")]
    pub(crate) full_type: Loc<()>,
    #[diagnostic(secondary, "Because this is a port")]
    pub(crate) inner_type: Loc<()>,
}

#[derive(IntoDiagnostic)]
#[diagnostic(error, "Cannot create a wire of inout")]
pub(crate) struct WireOfInOut {
    #[diagnostic(primary, "This cannot be a wire")]
    pub(crate) full_type: Loc<()>,
    #[diagnostic(secondary, "Because this is an inout")]
    pub(crate) inner_type: Loc<()>,
}

#[derive(IntoDiagnostic)]
#[diagnostic(error, "Expected {} arguments, got {}", diag.expected, diag.got)]
pub(crate) struct PatternListLengthMismatch {
    pub(crate) expected: usize,
    pub(crate) got: usize,
    #[diagnostic(
        primary,
        "Expected {} argument{}{}",
        diag.expected,
        if diag.expected == 1 { "" } else { "s" },
        if let Some(for_what) = &diag.for_what { format!(" for this {for_what}") } else { String::new() },
    )]
    pub(crate) at: Loc<()>,
    pub(crate) for_what: Option<String>,
}

pub type Result<T> = std::result::Result<T, Diagnostic>;