opy-rs 0.1.7

Standalone OverPy-compatible .opy implementation with parsing, tooling, and bounded Workshop compilation.
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
80
81
82

//! Oracle-constrained #46 differential evidence (issue #46).
//!
//! The pinned OverPy oracle snapshot for the `synthetic/issue-46-primitives`
//! fixture is load-bearing for the native compiler: this suite compiles the
//! fixture source through the full native pipeline (frontend → OPY HIR →
//! canonical WIR → deterministic en-US emission). The native lowering is
//! compared directly with the oracle's parsed canonical WIR.
//!
//! The adjacent `synthetic/issue-46-unsupported` fixture is the negative
//! counterpart: the frontend resolves it and the pinned oracle compiles it,
//! while the native compiler must reject the dict primitive with the stable
//! `unsupported-integration-surface` diagnostic attributed to the source
//! statement.

use std::path::Path;

use crate::Compiler;
use workshop_rs::catalog::{Catalog, Locale};
use workshop_rs::roundtrip::equivalent;

fn fixture_dir(name: &str) -> std::path::PathBuf {
    Path::new(env!("CARGO_MANIFEST_DIR"))
        .join("../../compatibility/fixtures/synthetic")
        .join(name)
}

fn oracle_workshop(dir: &Path) -> String {
    let oracle: serde_json::Value = serde_json::from_str(
        &std::fs::read_to_string(dir.join("oracle.json")).expect("oracle.json must be readable"),
    )
    .expect("oracle.json must parse");
    oracle["compile"]["workshop"]
        .as_str()
        .expect("oracle snapshot records the compiled Workshop text")
        .to_string()
}

fn compile_fixture(dir: &Path) -> crate::CompilationArtifact {
    let source = std::fs::read_to_string(dir.join("source.opy")).expect("source must be readable");
    let hir = crate::compile(&source, "source.opy", dir).expect("fixture must resolve");
    Compiler::new()
        .expect("released workshop contract must load")
        .compile_hir(&hir)
        .expect("fixture must lower to canonical WIR")
}

#[test]
fn issue_46_native_wir_matches_the_pinned_oracle() {
    let dir = fixture_dir("issue-46-primitives");
    let artifact = compile_fixture(&dir);
    let catalog = Catalog::builtin().expect("catalog must load");
    let locale = Locale::new("en-US");

    let oracle = workshop_rs::parser::parse(&oracle_workshop(&dir), &catalog, &locale)
        .expect("the pinned oracle Workshop text must reparse");

    assert!(equivalent(&artifact.wir, &oracle));
}

#[test]
fn issue_46_unsupported_primitive_fails_with_stable_source_attribution() {
    let dir = fixture_dir("issue-46-unsupported");
    let source = std::fs::read_to_string(dir.join("source.opy")).unwrap();
    let hir = crate::compile(&source, "source.opy", &dir)
        .expect("the frontend resolves the negative fixture");
    let error = match Compiler::new().unwrap().compile_hir(&hir) {
        Ok(_) => panic!("dict primitive lowering unexpectedly succeeded"),
        Err(error) => error,
    };
    assert_eq!(error.diagnostic.code, "unsupported-integration-surface");
    assert!(error.diagnostic.message.contains("dict"));
    // `total = {"a": 1, "b": 2}["a"]` sits on line 5 of the fixture source.
    assert_eq!(
        error
            .diagnostic
            .span
            .expect("diagnostic is source-attributed")
            .start
            .line,
        5
    );
}