Bump vscode-wasm; migrating to TypeScript v6.0

andy0130tw · andy0130tw · commit ea273467f4a7 · 2026-05-19T20:11:17.000+08:00
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -29,7 +29,7 @@
 		"@types/node": "^22.15.30",
 		"@types/vscode": "1.89.0",
 		"esbuild": "^0.25.5",
-		"typescript": "^5.9.3"
+		"typescript": "^6.0.3"
 	},
 	"dependencies": {
 		"@agda-web/wasm-wasi-core": "file:vscode-wasm/wasm-wasi-core",
diff --git a/types.d.ts b/types.d.ts
@@ -92,9 +92,10 @@ interface ConfiguredLibrary {
   paths: string[]
 }
 
-interface FolderConfiguredLibrary extends ConfiguredLibrary {
+interface FolderConfiguredLibrary {
   source: 'workspaceFolder'
   folderName: string
+  paths: string[]
 }
 
 export type ConfiguredLibraryEntry = ConfiguredLibrary | FolderConfiguredLibrary
diff --git a/vscode-wasm b/vscode-wasm
@@ -1 +1 @@
-Subproject commit 209fa209b7dc1d569a61b47d7bf1c5049f91b85b
+Subproject commit 4f0d57de05435dd112dde38d5ba45227a2fe4f50

Original file line number	Diff line number	Diff line change
`@@ -92,9 +92,10 @@ interface ConfiguredLibrary {`
`92`	`92`	`paths: string[]`
`93`	`93`	`}`
`94`	`94`
`95`		`-interface FolderConfiguredLibrary extends ConfiguredLibrary {`
	`95`	`+interface FolderConfiguredLibrary {`
`96`	`96`	`source: 'workspaceFolder'`
`97`	`97`	`folderName: string`
	`98`	`+ paths: string[]`
`98`	`99`	`}`
`99`	`100`
`100`	`101`	`export type ConfiguredLibraryEntry = ConfiguredLibrary \| FolderConfiguredLibrary`