vize_l2 0.632.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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79

use super::*;

#[test]
fn boolean_proof_is_the_original_initializer_not_a_name_annotation_or_primitive_family() {
    for initializer in ["1", "null", "'true'", "2n"] {
        let arena = Allocator::default();
        let source = alloc::format!(
            "<script setup>const ready={initializer}</script><template><div v-if='ready'/></template>"
        );
        let mut owner = owner(&arena, &source);
        {
            let mut walk = owner.begin().unwrap();
            let child = walk.selected().children().next().unwrap();
            assert_eq!(walk.child(child).unwrap_err().kind, Kind::UnsupportedChild);
            assert!(walk.complete().is_err());
        }
        let output = owner.finish();
        let file = output.file().unwrap();
        let mut bindings = file.bindings();
        let binding = bindings.next().unwrap();
        assert!(bindings.next().is_none());
        assert!(binding.declaration().unwrap().initializer.is_primitive());
        assert_eq!(binding.declaration().unwrap().boolean_initializer(), None);
        assert_eq!(file.artifact().node_count(), 0);
        assert!(!file.is_complete());
    }
}

#[test]
fn unsupported_condition_spelling_and_body_shapes_remain_whole_lower_refusals() {
    for template in [
        "<div v-if='ready && ready'/>",
        "<div v-if='(ready)'/>",
        "<div v-if='ready /* kept */'/>",
        "<div v-if=' ready '/>",
        "<div v-if='r&#101;ady'/>",
        "<div v-if='\\u0072eady'/>",
        "<div v-if='ready'><b/></div>",
        "<div v-if='ready'>a b</div>",
        "<div v-if='ready' title='value'/>",
        "<div v-if='ready' @click='ready'/>",
        "<div v-if='ready' v-if='ready'/>",
        "<div v-if='ready'/><p/>",
        "<div><p v-if='ready'/></div>",
        "<div v-if='ready' v-for='item in ready'/>",
        "<div v-else-if='ready'/>",
        "<div v-if='missing'/>",
    ] {
        let arena = Allocator::default();
        let source =
            alloc::format!("<script setup>let ready=true</script><template>{template}</template>");
        let mut owner = owner(&arena, &source);
        {
            let mut walk = owner.begin().unwrap();
            let mut refused = false;
            for child in walk.selected().children() {
                if walk.child(child).is_err() {
                    refused = true;
                    break;
                }
            }
            assert!(refused, "{template}");
            assert!(walk.complete().is_err());
        }
        let output = owner.finish();
        assert!(output.view().is_err(), "{template}");
        if let Some(file) = output.file() {
            assert!(!file.is_complete());
        }
        if let Some(file) = output.rejected_file() {
            assert!(core::ptr::eq(file.source(), source.as_str()));
            assert!(
                file.native_conditionals()
                    .iter()
                    .all(|row| !matches!(row.state(), NativeFileConditionalState::Admitted(_)))
            );
        }
    }
}