alef 0.84.1

Opinionated polyglot binding generator for Rust libraries
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
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174

use crate::cli::pipeline::format::{converge_full_regen_formatting, poly_lint};
use crate::core::config::ResolvedCrateConfig;
use std::path::Path;

/// Run the same converging whole-tree formatting pass `alef all` uses (see
/// `converge_full_regen_formatting`) on generated output.
///
/// This used to run a bespoke single `poly fmt --fix` pass plus the old per-language
/// `cargo sort` residual list instead of delegating here -- a second, independently
/// maintained formatting implementation that inevitably drifted from the one `alef all`
/// uses. `converge_full_regen_formatting` folds in a workspace-wide `cargo fmt --all`,
/// a workspace-wide `cargo sort -n -w` (covering crates the old per-language residual
/// list simply had no entry for -- python, node, php, swift, dart, ...), `mix format`
/// for Elixir's `.ex`/`.exs` source (the old path never ran `mix` at all), and loops
/// `poly fmt --fix`/`--check` to a fixed point because some poly-bundled engines are
/// not single-pass idempotent on freshly generated output. That last point is exactly
/// why the old single-pass `alef fmt` rewrote `packages/dart/.../frb_generated.dart`
/// to an incorrect intermediate form (relative imports, two dropped `dart:core`
/// imports) that a following `alef all` then reverted -- `alef fmt` and `alef all`
/// must agree on the canonical form of the same file, and the converging pass is the
/// one CI and the ownership guard's hash-stamping already treat as authoritative
/// (alef #126). ~keep
pub fn fmt(_config: &ResolvedCrateConfig, base_dir: &Path) -> anyhow::Result<()> {
    converge_full_regen_formatting(base_dir);
    Ok(())
}

/// Run `poly lint` on generated output. Propagates failure.
pub fn lint(_config: &ResolvedCrateConfig, base_dir: &Path) -> anyhow::Result<()> {
    poly_lint(base_dir)
}

/// Run the same converging whole-tree formatting pass as [`fmt`], as a post-generation
/// best-effort pass. Never propagates failure (`converge_full_regen_formatting` is
/// itself best-effort throughout).
pub fn fmt_post_generate(_config: &ResolvedCrateConfig, base_dir: &Path) {
    converge_full_regen_formatting(base_dir);
}

#[cfg(test)]
mod tests {
    use super::*;
    use crate::cli::pipeline::format::is_tool_available;

    fn write_minimal_mix_project(elixir_dir: &Path, content: &str) {
        std::fs::create_dir_all(elixir_dir.join("lib")).unwrap();
        std::fs::write(
            elixir_dir.join("mix.exs"),
            "defmodule Sample.MixProject do\n  use Mix.Project\n\n  def project do\n    [app: :sample, \
             version: \"0.1.0\", elixir: \"~> 1.14\"]\n  end\nend\n",
        )
        .unwrap();
        std::fs::write(
            elixir_dir.join(".formatter.exs"),
            "[inputs: [\"mix.exs\", \"lib/**/*.{ex,exs}\"]]\n",
        )
        .unwrap();
        std::fs::write(elixir_dir.join("lib/sample.ex"), content).unwrap();
    }

    /// Regression for alef #126: `alef fmt` used to run a bespoke `poly_fmt` +
    /// `run_cargo_sort_residuals` pass that never invoked `mix format` at all --
    /// `.ex`/`.exs` source is excluded from poly's own pass (see
    /// `POLY_ELIXIR_EXCLUDE_GLOBS`) and `mix` is the sole formatter for it, so that old
    /// path left every `alef fmt`-only run's Elixir output completely unformatted. `fmt`
    /// must now reach the same converged state `alef all` does, which includes running
    /// `mix format`.
    #[test]
    fn fmt_runs_mix_format_the_same_way_alef_all_does() {
        if !is_tool_available("mix") {
            return;
        }
        let dir = tempfile::tempdir().expect("tempdir");
        let base = dir.path();
        let elixir_dir = base.join("packages/elixir");
        write_minimal_mix_project(&elixir_dir, "defmodule Sample do\n  def noop, do:    :ok\nend\n");

        fmt(&ResolvedCrateConfig::default(), base).expect("fmt must succeed");

        assert_eq!(
            std::fs::read_to_string(elixir_dir.join("lib/sample.ex")).unwrap(),
            "defmodule Sample do\n  def noop, do: :ok\nend\n",
            "`alef fmt` must run `mix format` on generated Elixir source, the same way \
             `alef all` does"
        );
    }

    /// `alef fmt` must leave the tree workspace-sorted and `poly fmt --check`-clean --
    /// the same state `alef all` converges to -- so that running `alef fmt` then `alef
    /// all` (or the reverse) is a no-op in either order instead of each one undoing the
    /// other's idea of "formatted". This crate uses a `-py` suffix (standing in for
    /// python/node/php/swift/dart/... -- any language with no per-language cargo-sort
    /// residual) specifically because `cargo_sort_residuals`'s fixed step list already
    /// happened to include a workspace-wide `cargo sort -n -w` (via its unconditional
    /// `Language::Ffi` arm) even under the old implementation, so this assertion alone
    /// does not discriminate old from new -- `fmt_runs_mix_format_the_same_way_alef_all_does`
    /// above is the dynamic regression proof for #126. This test instead pins the
    /// property the fix is *for*: `fmt` must delegate to the identical
    /// `converge_full_regen_formatting` function `alef all` uses, not a parallel
    /// reimplementation that happens to agree today and can silently drift tomorrow. ~keep
    #[test]
    fn fmt_converges_to_the_same_workspace_sorted_poly_clean_state_as_alef_all() {
        let dir = tempfile::tempdir().expect("tempdir");
        let base = dir.path();
        std::fs::write(
            base.join("Cargo.toml"),
            "[workspace]\nmembers = [\"crates/pkg-py\"]\nresolver = \"2\"\n",
        )
        .unwrap();
        let crate_dir = base.join("crates/pkg-py");
        std::fs::create_dir_all(crate_dir.join("src")).unwrap();
        std::fs::write(
            crate_dir.join("Cargo.toml"),
            "[package]\nname = \"pkg-py\"\nversion = \"0.1.0\"\nedition = \"2021\"\n\n\
             [dependencies]\nserde = \"1\"\nanyhow = \"1\"\n",
        )
        .unwrap();
        std::fs::write(crate_dir.join("src/lib.rs"), "pub fn noop() {}\n").unwrap();

        fmt(&ResolvedCrateConfig::default(), base).expect("fmt must succeed");

        if is_tool_available("cargo-sort") {
            let toml = std::fs::read_to_string(crate_dir.join("Cargo.toml")).unwrap();
            let anyhow_pos = toml.find("anyhow").expect("anyhow present");
            let serde_pos = toml.find("serde").expect("serde present");
            assert!(
                anyhow_pos < serde_pos,
                "`alef fmt` must workspace-sort a crate with no per-language cargo-sort \
                 residual, got: {toml}"
            );
        }
        if is_tool_available("poly") {
            let check = std::process::Command::new("poly")
                .args(["fmt", "--check", &base.to_string_lossy()])
                .current_dir(base)
                .status()
                .expect("run poly fmt --check");
            assert!(
                check.success(),
                "the tree `alef fmt` leaves behind must already be poly-fmt-clean"
            );
        }
    }

    /// Structural pin for alef #126: both `fmt` (the `alef fmt` command) and
    /// `fmt_post_generate` must call `converge_full_regen_formatting` -- the exact
    /// function `alef all` calls via `format_generated(..., None)` -- rather than a
    /// second, independently maintained implementation that can silently drift from it
    /// again. A source-string check because the dynamic tests above can only prove
    /// behavioral agreement for the specific fixtures they construct; this proves the
    /// two commands cannot help but agree, by construction, for every case.
    #[test]
    fn fmt_and_fmt_post_generate_both_delegate_to_the_shared_converging_pass() {
        let source = include_str!("lint.rs");
        let fmt_start = source.find("pub fn fmt(").expect("fmt function");
        let fmt_post_start = source
            .find("pub fn fmt_post_generate(")
            .expect("fmt_post_generate function");
        let tests_mod_start = source.find("#[cfg(test)]").expect("test module marker");

        let fmt_body = &source[fmt_start..fmt_post_start];
        let fmt_post_body = &source[fmt_post_start..tests_mod_start];

        assert!(
            fmt_body.contains("converge_full_regen_formatting(base_dir)"),
            "`fmt` must delegate to `converge_full_regen_formatting`, not a bespoke pass"
        );
        assert!(
            fmt_post_body.contains("converge_full_regen_formatting(base_dir)"),
            "`fmt_post_generate` must delegate to `converge_full_regen_formatting`, not a \
             bespoke pass"
        );
    }
}