Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
39 commits
Select commit Hold shift + click to select a range
0813401
Add tools/bend-lint: rules over Bend source text and checker types
MattCozendey Oct 7, 2026
2b304ce
bend-lint: show the reason when the import test fails; say where it runs
MattCozendey Oct 7, 2026
ccac75f
bend-lint: skip the relative-import test on native Windows
MattCozendey Oct 7, 2026
e821587
bend-lint: two source files, a Windows path shim, one test file
MattCozendey Oct 7, 2026
21966b3
bend-lint: facts carry quantity, uses, and whether they come from a t…
MattCozendey Oct 7, 2026
4452a65
bend-lint: check Base once per process, and leave out its facts
MattCozendey Oct 7, 2026
168f271
bend-lint: rules written in Bend
MattCozendey Oct 7, 2026
3a1c8c9
bend-lint: more checker queries for Bend rules
MattCozendey Oct 7, 2026
2d1069f
bend-lint: review pass; compile Bend rules once
MattCozendey Oct 7, 2026
0ddd228
bend-lint: fix two type errors; track tsconfig.json
MattCozendey Oct 7, 2026
ca1da36
bend-lint: GUIDE.md, how to run it and write rules
MattCozendey Oct 7, 2026
1c1a887
bend-lint: drop a trailing blank line
MattCozendey Oct 7, 2026
ce107d2
bend-lint: one condensed README in place of README and GUIDE
MattCozendey Oct 7, 2026
d43b723
bend-lint: --json, and --bend / BEND_DIR to choose the bend to load
MattCozendey Oct 7, 2026
3e1392a
bend-lint: a smaller patch, with typed wrappers
MattCozendey Oct 7, 2026
96a8906
bend-lint: no pin; check what it depends on instead
MattCozendey Oct 7, 2026
a34a894
bend-lint: Bend rules no longer slow down on large files
MattCozendey Oct 7, 2026
710d0fd
bend-lint: work outside the bend repo too
MattCozendey Oct 7, 2026
810ab27
bend-lint: rule options, and bend-lint.json
MattCozendey Oct 7, 2026
511d916
bend-lint: fixes from the review
MattCozendey Oct 7, 2026
4393323
bend-lint: link to its own repo in the README
MattCozendey Oct 7, 2026
b8e0178
gates: run tools/bend-lint's suite in the test gate
MattCozendey Oct 7, 2026
cfad2d2
bend-lint: rules/ folder, and --fix-suggested / --fix-dangerously
MattCozendey Oct 7, 2026
1ff3931
bend-lint: rules ask for the facts they need
MattCozendey Oct 7, 2026
a5ebb66
bend-lint: review of the fact filters
MattCozendey Oct 7, 2026
d0d7ab7
bend-lint: download bend's source when none is given
MattCozendey Oct 7, 2026
2494f5b
bend-lint: compare downloaded paths with "/" in the test
MattCozendey Oct 7, 2026
00e5473
bend-lint: the bendDir test gives its own bend repo, and unsets BEND_DIR
MattCozendey Oct 7, 2026
69a57c3
bend-lint: sync with the standalone repo
MattCozendey Oct 8, 2026
c81c42f
bend-lint: lint takes unsaved text
MattCozendey Oct 8, 2026
0de3855
bend-lint: endOfLine option for format/layout
MattCozendey Oct 8, 2026
fa84615
bend-lint: check with bend's own book_read, not a copy
MattCozendey Oct 8, 2026
357932f
bend-lint: seam.ts, and a public API that does not depend on bend2
MattCozendey Oct 8, 2026
2ccbfba
bend-lint: term view for TS and Bend rules; drift errors carry a symbol
MattCozendey Oct 8, 2026
c9ab361
bend-lint: seam.ts: guard the runtime names a Bend rule's run calls
MattCozendey Oct 8, 2026
e4e9b6c
bend-lint: lint.ts: no bend2 knowledge left
MattCozendey Oct 8, 2026
94bbaf7
bend-lint: src/bend/: the Bend side in its own folder
MattCozendey Oct 8, 2026
f05a9e9
gates: drop bend-lint from the test gate, keep repo.ts LF
nicolas-abril Oct 8, 2026
e867ad3
bend-lint: fixes from the review of #1389
nicolas-abril Oct 8, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions gates/repo.ts
Original file line number Diff line number Diff line change
Expand Up @@ -84,6 +84,10 @@ allow(/^tests\/[a-z]+\/[a-z0-9_]+\.(c|js)$/);
allow(/^tools\/bend-fmt-lsp\/(\.gitignore|README\.md|package\.json|package-lock\.json|tsconfig\.json)$/);
allow(/^tools\/bend-fmt-lsp\/src\/(formatter|server)\.ts$/);
allow(/^tools\/bend-fmt-lsp\/src\/test\/[a-z_]+\.test\.ts$/);
allow(/^tools\/bend-lint\/(README\.md|package\.json|tsconfig\.json)$/);
allow(/^tools\/bend-lint\/src\/(lint\.ts|seam\.ts|lint\.test\.ts)$/);
allow(/^tools\/bend-lint\/src\/bend\/(lint\.bend|effects\.js|sample\.bend)$/);
allow(/^tools\/bend-lint\/rules\/[a-z_]+(\.test)?\.(ts|bend)$/);

// Gate
// ====
Expand Down
Loading
Loading