Opinionated OCaml linter with Merlin integration for code quality, naming conventions, and style checks
merlint: add cram test for E807 (rust oracle missing Cargo.toml)
+56
+1
test/cram/e807.t/bad/dune-project
+1
test/cram/e807.t/bad/dune-project
···
1
+
(lang dune 3.21)
+1
test/cram/e807.t/bad/foo/test/interop/oracle/scripts/main.rs
+1
test/cram/e807.t/bad/foo/test/interop/oracle/scripts/main.rs
···
1
+
fn main() {}
+1
test/cram/e807.t/good/dune-project
+1
test/cram/e807.t/good/dune-project
···
1
+
(lang dune 3.21)
+4
test/cram/e807.t/good/foo/test/interop/oracle/scripts/Cargo.toml
+4
test/cram/e807.t/good/foo/test/interop/oracle/scripts/Cargo.toml
+1
test/cram/e807.t/good/foo/test/interop/oracle/scripts/main.rs
+1
test/cram/e807.t/good/foo/test/interop/oracle/scripts/main.rs
···
1
+
fn main() {}
+48
test/cram/e807.t/run.t
+48
test/cram/e807.t/run.t
···
1
+
Test bad example - rust script without Cargo.toml:
2
+
$ merlint -B -r E807 bad/
3
+
Running merlint analysis...
4
+
5
+
Analyzing 0 files
6
+
7
+
✓ Code Quality (0 total issues)
8
+
✓ Code Style (0 total issues)
9
+
✓ Naming Conventions (0 total issues)
10
+
✓ Documentation (0 total issues)
11
+
✓ Project Structure (0 total issues)
12
+
✓ Test Quality (0 total issues)
13
+
✗ Interop Testing (1 total issues)
14
+
[E807] Missing Cargo.toml (1 issue)
15
+
Rust oracles must pin the upstream crate in Cargo.toml with a tagged version
16
+
or git rev. This ensures reproducible trace generation without depending on
17
+
local checkouts.
18
+
- (global) Rust oracle bad/foo/test/interop/oracle/scripts/ missing Cargo.toml
19
+
✓ Code Generation (0 total issues)
20
+
21
+
╭─────────────────┬──────────────────────────╮
22
+
│ Category │ Issues │
23
+
├─────────────────┼──────────────────────────┤
24
+
│ Interop Testing │ 1 (1 missing cargo.toml) │
25
+
╰─────────────────┴──────────────────────────╯
26
+
27
+
28
+
Summary: ✗ 1 total issue (applied 1 rule)
29
+
✗ Some checks failed. See details above.
30
+
[1]
31
+
32
+
Test good example - rust script with Cargo.toml:
33
+
$ merlint -B -r E807 good/
34
+
Running merlint analysis...
35
+
36
+
Analyzing 0 files
37
+
38
+
✓ Code Quality (0 total issues)
39
+
✓ Code Style (0 total issues)
40
+
✓ Naming Conventions (0 total issues)
41
+
✓ Documentation (0 total issues)
42
+
✓ Project Structure (0 total issues)
43
+
✓ Test Quality (0 total issues)
44
+
✓ Interop Testing (0 total issues)
45
+
✓ Code Generation (0 total issues)
46
+
47
+
Summary: ✓ 0 total issues (applied 1 rule)
48
+
✓ All checks passed!