Merge pull request #41 from FStarLang/esbuild

Bundle using esbuild.

.vscode/launch.json

@@ -12,7 +12,7 @@
 			"autoAttachChildProcesses": true,
 			"preLaunchTask": {
 				"type": "npm",
-				"script": "watch"
+				"script": "compile"
 			}
 		},
 		{

.vscode/tasks.json

@@ -13,21 +13,5 @@
 				"$tsc"
 			]
 		},
-		{
-			"type": "npm",
-			"script": "watch",
-			"isBackground": true,
-			"group": {
-				"kind": "build",
-				"isDefault": true
-			},
-			"presentation": {
-				"panel": "dedicated",
-				"reveal": "never"
-			},
-			"problemMatcher": [
-				"$tsc-watch"
-			]
-		}
 	]
 }

.vscodeignore

@@ -1,15 +1,6 @@
-.vscode/**
+.vscode
 **/*.ts
-**/*.map
-.gitignore
-**/tsconfig.json
-**/tsconfig.base.json
-contributing.md
-.travis.yml
-client/node_modules/**
-!client/node_modules/vscode-jsonrpc/**
-!client/node_modules/vscode-languageclient/**
-!client/node_modules/vscode-languageserver-protocol/**
-!client/node_modules/vscode-languageserver-types/**
-!client/node_modules/{minimatch,brace-expansion,concat-map,balanced-match}/**
-!client/node_modules/{semver,lru-cache,yallist}/**
+**/node_modules
+*/package*.json
+.github
+resources/screenshot.png

client/package.json

@@ -12,6 +12,9 @@
 	"engines": {
 		"vscode": "^1.86.0"
 	},
+	"scripts": {
+		"compile": "esbuild --bundle src/extension.ts --outfile=out/extension.js --tsconfig=tsconfig.json --platform=node --external:vscode --sourcemap"
+	},
 	"dependencies": {
 		"vscode-languageclient": "^9.0.1"
 	},