crates.sage_test_harness.compile_tests.rendering

The combined type observations, the complete rendered Sage diagnostic output, and an optional query log are separate expect_test::Expect values, created with the expect_test::expect! macro from the expect-test crate. Examples use expect! after use expect_test::expect;. The runner uses that library for snapshot comparison and UPDATE_EXPECT=1 updates, subject to the blessing gate. Type descriptions and expression ordering are deterministic. Expression source descriptions occupy one line, omit annotation comments, and normalize whitespace between tokens without changing token contents or merging tokens. Literal contents are preserved; embedded line breaks and delimiter characters are escaped as needed to keep the description on one line and unambiguous. Diagnostic rendering preserves meaningful order, labels, notes, and source excerpts, including annotation comments. Paths use fixture-relative names rather than temporary directories or machine-specific roots. Normalization removes incidental presentation details only; it does not erase semantic distinctions, unresolved results, or unexpected diagnostics.

Read in specification context · design/crates/sage_test_harness/compile-tests.md

Implementation

Implemented crates/sage-ir/src/diagnostic.rs:8–13

sage_ir::diagnostic · lib:sage_ir

--------------------------------------------------------------------------- Core types

#![allow(unused)]
fn main() {
// {anchor}`crates.sage_test_harness.compile_tests.rendering`
use crate::local_syms::LocalModItemSym;
use crate::span::{AbsoluteSpan, RelativeSpan};

// ---------------------------------------------------------------------------
// Core types

}

See more source ↗

Implemented crates/sage-ir/src/source.rs:2–7

sage_ir::source · lib:sage_ir

#![allow(unused)]
fn main() {
// {anchor}`crates.sage_test_harness.compile_tests.rendering`
/// Root input: one per file in the workspace.
#[salsa::input(debug)]
#[sage::item(crate::types::SourceFile)]
pub struct SourceFile {
    #[returns(ref)]

}

See more source ↗

Implemented crates/sage-test-harness/src/compile/observe.rs:549–589

sage_test_harness::compile::observe · lib:sage_test_harness

#![allow(unused)]
fn main() {
// {anchor}`crates.sage_test_harness.compile_tests.rendering`<<
fn compact(source: &str) -> String {
    let tree = super::annotations::tree(source);
    let mut ranges = Vec::new();
    fn leaves(node: tree_sitter::Node<'_>, source: &str, ranges: &mut Vec<std::ops::Range<usize>>) {
        if node.kind() == "line_comment" && source[node.byte_range()].starts_with("//#") {
            return;
        }
        if node.child_count() == 0
            || matches!(
                node.kind(),
                "string_literal" | "raw_string_literal" | "char_literal"
            )
        {
            ranges.push(node.byte_range());
            return;
        }
        let mut cursor = node.walk();
        for child in node.children(&mut cursor) {
            leaves(child, source, ranges);
        }
    }
    leaves(tree.root_node(), source, &mut ranges);
    let mut out = String::new();
    let mut end = 0;
    for range in ranges {
        if !out.is_empty() && range.start > end {
            out.push(' ');
        }
        out.push_str(
            &source[range.clone()]
                .replace('\\', "\\\\")
                .replace('`', "\\`")
                .replace('\n', "\\n")
                .replace('\r', "\\r"),
        );
        end = range.end;
    }
    out
}
// >>

}

See more source ↗

Implemented crates/sage-test-harness/src/compile/types.rs:5–10

sage_test_harness::compile::types · lib:sage_test_harness

#![allow(unused)]
fn main() {
// {anchor}`crates.sage_test_harness.compile_tests.rendering`
// {anchor}`crates.sage_test_harness.compile_tests.query_capture`
use sage_ir::{
    Db,
    cst::Mutability,
    symbol::{Symbol, TypeAliasSymbol},

}

See more source ↗

Implemented crates/sage-test-harness/src/compile/mod.rs:1–6

sage_test_harness::compile · lib:sage_test_harness

#![allow(unused)]
fn main() {
// {anchor}`crates.sage_test_harness.compile_tests.rendering`
//! Inline source fixtures using the production host. Preparation cannot update snapshots.
// {anchor}`crates.sage_test_harness.compile_tests.diagnostic_counts`
// {anchor}`crates.sage_test_harness.compile_tests.completed_types`
// {anchor}`crates.sage_test_harness.compile_tests.grouped_observations`
mod annotations;

}

See more source ↗

Tests and review

Indexed tests and the implementation-completeness and test-adequacy review; no test run is implied.

Implemented sage_test_harness::compile::coordinate_review_tests::evaluated_source_retains_blank_lines_indentation_and_unicode

crates/sage-test-harness/src/compile/mod.rs · lib:sage_test_harness

#![allow(unused)]
fn main() {
#[test]
    #[sage::test(crates.sage_test_harness.compile_tests.coordinates)]
    #[sage::test(crates.sage_test_harness.compile_tests.compiler_conditions)]
    #[sage::test(crates.sage_test_harness.compile_tests.rendering)]
    fn evaluated_source_retains_blank_lines_indentation_and_unicode() {
        let mut test = CompileTest::default();
        // Leading blank line and indentation are intentional fixture contents.
        // Both compilers must match the same physical line after the Unicode name.
        test.source("\n    fn café() -> u8 {\n        true //# ERROR\n    }\n");
        test.diagnostics(expect_test::expect![""]);
        let output = test.prepare().unwrap();
        assert!(
            output.diagnostics.contains("src/lib.rs:2:"),
            "{}",
            output.diagnostics
        );
        assert!(
            output.diagnostics.contains("2 |       fn café()"),
            "{}",
            output.diagnostics
        );
        assert!(
            output.diagnostics.contains("3 | |         true //# ERROR"),
            "{}",
            output.diagnostics
        );
    }
}