Skip to content

Comments

chore: use oxlint#118

Merged
tstirrat15 merged 1 commit intomainfrom
use-oxlint
Feb 17, 2026
Merged

chore: use oxlint#118
tstirrat15 merged 1 commit intomainfrom
use-oxlint

Conversation

@tstirrat15
Copy link
Contributor

@tstirrat15 tstirrat15 commented Feb 17, 2026

I screwed up the rebase on this one. See #119

@vercel
Copy link

vercel bot commented Feb 17, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
playground Ready Ready Preview, Comment Feb 17, 2026 10:11pm

Request Review

Copy link
Contributor Author

@tstirrat15 tstirrat15 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

See comments

<ul className="">
{error.path.map((item) => (
// NOTE: the \2192 here is the → character; tailwind needs it as an escape sequence.
<li className="after:content-['\2192'] after:ml-2 last:after:content-none" key={item}>
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I guess this \ is ambiguous, so using \u makes it explicit

Comment on lines 96 to 98
// NOTE: an index is appropriate here because a user could theoretically
// write a duplicate relationship, and the position makes some sense as a key
(invalid, index) => {
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Check me on this

if (!hasSelection) {
inputRef.current?.focus();
const handleMouseUp = (event: MouseEvent) => {
if (event.target instanceof Element) {
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This was interesting - target is typed as EventTarget rather than Element because technically the mouse event could come from anywhere within this div, and therefore the target isn't guaranteed to be an Element. A runtime check is the only way to guarantee it.

escapeXML: true,
});
const children = sections.flatMap((section: TerminalSection): ReactNode => {
const children = sections.flatMap((section, index) => {
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Same here - this needed a key and I'm not sure there's anything more appropriate than the index

// NOTE: we do not want to rerun this if the dataUpdated callback has changed (which it should
// not, ideally).
// TODO: dataUpdated is currently changing on every render because the debouncer isn't memoized.
// oxlint-disable-next-line eslint-plugin-react-hooks(exhaustive-deps)
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Dealing with this later

};
fetchExamples();
if (examples === undefined) {
setExamples(LoadExamples());
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LoadExamples isn't a promise now - I'm not sure when that changed

};

const conductUpload = () => {
(async () => {
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is getting rid of the async wrapper and pushing it up onto conductUpload

});
return;
}
const contents = await file.text();
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is what lets us get rid of getFileContentsAsText - file now implements Blob which means we can just await .text()


contextualizedCaveat.context = caveatContext;
} catch (e) {
const errorText = e instanceof Error ? e.message : "";
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

e was previously treated as any,which is technically incorrect. This fixes that.

alecmerdler
alecmerdler previously approved these changes Feb 17, 2026
Copy link

@alecmerdler alecmerdler left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

so good

@tstirrat15 tstirrat15 merged commit 158a1a3 into main Feb 17, 2026
5 checks passed
@github-actions github-actions bot locked and limited conversation to collaborators Feb 17, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants