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

mod optional_parameters;
mod primitive_returns;
mod rejection;
mod required_named_exports;
mod semantics;
mod typed_parameters;
mod unwind;

use oxc_parser::{Parser, ProgramObservation};
use oxc_span::SourceType;
use vize_l0::{Allocator, SourceBlock, SourceRoot};
use vize_l2::file::FileArtifact;
use vize_l2::lang::js::{FileProducer, ProgramInput, ProgramScope};

fn parse<'a>(arena: &'a Allocator, source: &'a str) -> ProgramObservation<'a> {
    Parser::new(arena, source, SourceType::mjs()).parse_observed()
}

fn finish<'a>(
    arena: &'a Allocator,
    parsed: &ProgramObservation<'a>,
) -> Result<FileArtifact<'a>, &'static str> {
    let admitted = parsed.admitted().ok_or("original Program admission")?;
    let source = admitted.source();
    let block = SourceRoot::new(source)
        .map_err(|_| "source root")?
        .whole_block();
    finish_block(arena, parsed, block)
}

fn finish_block<'a>(
    arena: &'a Allocator,
    parsed: &ProgramObservation<'a>,
    block: SourceBlock<'a>,
) -> Result<FileArtifact<'a>, &'static str> {
    let mut producer = FileProducer::new(arena, block.root_source()).map_err(|_| "file source")?;
    producer
        .program(
            ProgramInput::checked(
                parsed.admitted().ok_or("original Program admission")?,
                block,
                7,
            )
            .map_err(|_| "checked original block")?,
            ProgramScope::Module,
        )
        .map_err(|_| "program admission")?;
    producer.finish().map_err(|_| "canonical finish")
}