From 5de379cda76476ae024120da09cd82381368a4a5 Mon Sep 17 00:00:00 2001 From: michael Date: Tue, 4 Nov 2025 19:32:34 +0800 Subject: [PATCH] Fix typings in gen-langs-map.cjs --- extensions/langs/gen-langs-map.cjs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/extensions/langs/gen-langs-map.cjs b/extensions/langs/gen-langs-map.cjs index 50be84b07..c93d979f0 100644 --- a/extensions/langs/gen-langs-map.cjs +++ b/extensions/langs/gen-langs-map.cjs @@ -257,12 +257,12 @@ const sorted = Array.from(mapObj.entries()).sort((a, b) => a[0].localeCompare(b[ let out = ''; out += `// auto-generated by gen-langs-map.cjs – DO NOT EDIT\n`; out += importLines.join('\n') + (importLines.length ? '\n\n' : ''); -out += `export const langs: Record LanguageSupport | StreamLanguage> = {\n`; +out += `export const langs = {\n`; for (const [k, v] of sorted) { const key = /^[a-z0-9_+-]+$/i.test(k) ? k : JSON.stringify(k); out += ` ${JSON.stringify(k)}: ${v},\n`; } -out += `};\n\n`; +out += `} satisfies Record LanguageSupport | StreamLanguage>;\n\n`; out += `export const langNames = Object.keys(langs) as LanguageName[];\n\n`; out += `export type LanguageName = keyof typeof langs;\n`;