fix add missing cases in vscode

This commit is contained in:
2026-01-05 20:29:58 -08:00
parent c56270c183
commit 6eb72cffd8

View File

@@ -289,7 +289,7 @@ export function activate(context: vscode.ExtensionContext) {
const actions: vscode.CodeAction[] = []; const actions: vscode.CodeAction[] = [];
for (const diagnostic of context.diagnostics) { for (const diagnostic of context.diagnostics) {
let {message,range} = diagnostic; let {message,range} = diagnostic;
let m = message.match(/missing cases: (.*)/); let m = message.match(/missing cases: \[(.*)\]/);
if (m) { if (m) {
// A lot of this logic would also apply to case split. // A lot of this logic would also apply to case split.
let cons = m[1].split(', '); let cons = m[1].split(', ');