vize_l2 0.481.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

use super::{Allocator, Parser, SourceType, finish};

#[test]
fn required_after_optional_retains_the_original_parser_error_without_a_file() {
    let arena = Allocator::default();
    for (profile, source) in [
        (
            SourceType::ts().with_module(true),
            "/* original */function f(value?:number,later:number){return later;}",
        ),
        (
            SourceType::tsx().with_module(true),
            "/* original 🌸 */\r\nfunction f(value?:number,later:number){return later;}const view=<></>;",
        ),
    ] {
        let observed = Parser::new(&arena, source, profile).parse_observed();
        assert!(!observed.panicked());
        assert!(!observed.is_flow_language());
        assert!(observed.admitted().is_none());
        assert_eq!(observed.comments().len(), 1);
        let diagnostics = observed.diagnostics();
        assert_eq!(diagnostics.len(), 1, "{diagnostics:?}");
        let original = diagnostics.as_ptr();
        let diagnostic = &diagnostics[0];
        assert_eq!(diagnostic.code.scope.as_deref(), Some("TS"));
        assert_eq!(diagnostic.code.number.as_deref(), Some("1016"));
        assert_eq!(
            diagnostic.message.as_ref(),
            "A required parameter cannot follow an optional parameter."
        );
        assert_eq!(format!("{:?}", diagnostic.severity), "Error");
        assert!(diagnostic.help.is_none());
        assert!(diagnostic.note.is_none());
        assert!(diagnostic.url.is_none());
        assert_eq!(diagnostic.labels.len(), 1);
        let label = &diagnostic.labels[0];
        assert_eq!(
            label.offset() as usize,
            source.find("later:number").unwrap()
        );
        assert_eq!(label.len() as usize, "later:number".len());
        assert_eq!(
            finish(&arena, &observed).err(),
            Some("original Program admission")
        );
        assert_eq!(observed.diagnostics().as_ptr(), original);
        assert_eq!(observed.diagnostics().len(), 1);
        assert!(observed.admitted().is_none());
    }
}

#[test]
fn illegal_optional_default_and_rest_fields_remain_original_parser_refusals() {
    let arena = Allocator::default();
    for source in [
        "function f(value?:number=1){return value;}",
        "function f(...value?:number[]){return value;}",
    ] {
        let observed =
            Parser::new(&arena, source, SourceType::ts().with_module(true)).parse_observed();
        assert!(observed.admitted().is_none(), "{source}");
        assert!(observed.diagnostics().has_errors());
        let diagnostics = observed.diagnostics().clone();
        assert_eq!(
            finish(&arena, &observed).err(),
            Some("original Program admission")
        );
        assert_eq!(observed.diagnostics(), &diagnostics);
    }
}