//! IF / COND / AND / OR / BEGIN consumed in value position (not just

//! effect position). Each is wrapped in arithmetic or comparison so

//! `compile_*_for_stack` fires and the value lands on the wasm stack.

use super::common::{compile_and_validate, wrap_with_runtime_ratio};

#[test]

    // Both branches return X (runtime Ratio) so the outer `+` sees a

    // Ratio. Locks in the `compile_if_for_stack` path for ratio-valued

    // IFs.

#[test]

    // ADR-0028: an integer-literal IF arm coerces to the other arm's numeric

    // type (Scalar here) instead of widening to AnyRef. `(if (= X 0) 1 X)` is a

    // Ratio IF, so the outer `+ … X` composes. This is the mechanism that lets

    // a recursive `(if base 1 (* n (fact …)))` keep a consistent Ratio result.

#[test]

    // No-else IF in value position; the absent branch defaults to nil

    // and the codegen path emits a typed-result block. Consumed as the

    // last program form so it lands on the value stack.

#[test]

    // A runtime-test IF whose branches are StringRef literals, bound in a

    // LET*. The binder sizes its local from the eval-time type, which must

    // match the StringRef the codegen actually pushes — previously eval

    // collapsed both-literal branches to I32, mis-sizing the local and

    // producing an invalid module.

#[test]

#[test]

    // COND at effect position routes through `compile_cond_for_effect`.

    // The cond is a prefix form; the program's last form is X so the

    // overall return is Ratio.

#[test]

#[test]

#[test]

    // `begin` at value position returns the last form's value.

#[test]

#[test]