llzk 0.6.0

Rust bindings to the LLZK C API.
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

use llzk::{context::LlzkContext, prelude::*, typing};
use melior::{StringRef, ir::r#type::Type};

mod common;

#[test]
fn identical_types_unify() {
    common::setup();
    let context = LlzkContext::new();
    let index = Type::index(&context);

    assert!(typing::types_unify(index, index));
}

#[test]
fn identical_types_unify_with_empty_prefix() {
    common::setup();
    let context = LlzkContext::new();
    let felt: Type = FeltType::new(&context).into();

    assert!(typing::types_unify_with_prefix(felt, felt, &[]));
}

#[test]
fn identical_types_unify_with_prefix() {
    common::setup();
    let context = LlzkContext::new();
    let tvar: Type = TVarType::new(&context, StringRef::new("T")).into();
    let prefix = [StringRef::new("compute"), StringRef::new("StructA")];

    assert!(typing::types_unify_with_prefix(tvar, tvar, &prefix));
}