Bump vscode to 1.80.0 (#912)

Author: July541

package.json

@@ -6,7 +6,7 @@
   "license": "MIT",
   "publisher": "haskell",
   "engines": {
-    "vscode": "^1.79.1"
+    "vscode": "^1.80.0"
   },
   "keywords": [
     "language",
@@ -586,4 +586,4 @@
     "vscode-languageclient": "^8.1.0",
     "which": "^3.0.1"
   }
-}
+}