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

//! Model-specific semantic use of the one actual original Identifier.

use super::{BindingLookup, ResolutionError, ResolutionErrorKind, ResolutionTable, sink};
use crate::lang::js::NativeModelInput;
use vize_l0::Span;

pub(crate) fn resolve_model_facts<'a>(
    input: &NativeModelInput<'a>,
    bindings: &impl BindingLookup,
) -> Result<ResolutionTable<'a>, ResolutionError> {
    let expression = input.expression().ok_or(ResolutionError {
        span: Span::new(0, 0),
        kind: ResolutionErrorKind::UnsupportedSyntax,
    })?;
    let occurrences = sink::resolve_model(input, bindings)?;
    Ok(ResolutionTable {
        expression: *expression,
        occurrences,
    })
}