From d51f6940febc54b69eb865ccef8abeb19721f218 Mon Sep 17 00:00:00 2001 From: David Peter Date: Mon, 26 May 2025 14:14:23 +0200 Subject: [PATCH] [ty] Playground: Better default settings (#18316) ## Summary The playground default settings set the `division-by-zero` rule severity to `error`. This slightly confusing because `division-by-zero` is now disabled by default. I am assuming that we have a `rules` section in there to make it easier for users to customize those settings (in addition to what the JSON schema gives us). Here, I'm proposing a different default rule-set (`"undefined-reveal": "ignore"`) that I would personally find more helpful for the playground, since we're using it so frequently for MREs that often involve some `reveal_type` calls. --- playground/ty/src/Playground.tsx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/playground/ty/src/Playground.tsx b/playground/ty/src/Playground.tsx index e501ab8c37..9c87ff6c3c 100644 --- a/playground/ty/src/Playground.tsx +++ b/playground/ty/src/Playground.tsx @@ -198,7 +198,7 @@ export const DEFAULT_SETTINGS = JSON.stringify( "python-version": "3.13", }, rules: { - "division-by-zero": "error", + "undefined-reveal": "ignore", }, }, null,