vize_l2 0.507.0

L2 - the Davinci semantic IR (codename Disegno): the neutral op family every input dialect lowers into
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

use super::{NativeInterpolationInput, NativeInterpolationInputError};
use vize_l0::{
    Allocator, String,
    config::{VueDialect, VueVersion},
};
use vize_l1::{
    container::{Vue, vue::DescriptorOptions},
    markup::{NativeTemplateComponent, SurfaceParseOptions},
};

mod ownership;
mod refusals;

type Test = Result<(), String>;

fn check(value: bool, message: &str) -> Test {
    if value {
        Ok(())
    } else {
        Err(String::from(message))
    }
}

fn same<T: core::fmt::Debug + PartialEq>(actual: T, expected: T, message: &str) -> Test {
    if actual == expected {
        Ok(())
    } else {
        Err(alloc::format!("{message}: expected {expected:?}, got {actual:?}").into())
    }
}

fn selected<'a>(
    arena: &'a Allocator,
    source: &'a str,
) -> Result<NativeTemplateComponent<'a>, String> {
    let descriptor = Vue.observe_descriptor(
        arena,
        source,
        DescriptorOptions {
            version: VueVersion::V3,
            dialect: VueDialect::Vue,
            template: SurfaceParseOptions::default(),
        },
    );
    NativeTemplateComponent::parse_in(
        arena,
        descriptor.admitted().map_err(|_| "descriptor refused")?,
    )
    .map_err(|_| "component refused")?
    .ok_or_else(|| String::from("selected template missing"))
}