Remove vscode-uri

Author: chenglou

server/package-lock.json

@@ -13,8 +13,7 @@
 	},
 	"dependencies": {
 		"vscode-languageserver": "^6.1.1",
-		"vscode-languageserver-textdocument": "^1.0.1",
-		"vscode-uri": "^3.0.2"
+		"vscode-languageserver-textdocument": "^1.0.1"
 	},
 	"scripts": {}
 }

server/package.json

@@ -6,7 +6,6 @@ import * as path from "path";
 import * as t from "vscode-languageserver-types";
 import fs from "fs";
 import * as os from "os";
-import { URI } from 'vscode-uri';
 
 let tempFilePrefix = "rescript_format_file_" + process.pid + "_";
 let tempFileId = 0;
@@ -161,7 +160,7 @@ export let parseDiagnosticLocation = (location: string): Range => {
 };
 
 let findLocationSeparator = (fileAndLocation: string) => {
-	// Exclude the two first letters in windows paths to avoid the first colon in eg "c:\\.."		
+	// Exclude the two first letters in windows paths to avoid the first colon in eg "c:\\.."
 	if (process.platform === "win32") {
 		return fileAndLocation.indexOf(":", 2);
 	} else {
@@ -174,11 +173,13 @@ let separateFileAndLocation = (fileAndLocation: string): [string, string] => {
 	let file = fileAndLocation.slice(0, locationSeparator);
 	let location = fileAndLocation.slice(locationSeparator + 1);
 
-	return [URI.file(file).toString(), location];
+	if (process.platform === "win32") {
+		return [`file:\\\\\\${file}`, location];
+	} else {
+		return [file, location]
+	}
 };
 
-
-
 type filesDiagnostics = {
 	[key: string]: p.Diagnostic[];
 };