Skip to content

Commit dddfb1d

Browse files
committed
Revert back to old report grepping
We're still using space to separate file and location until next version
1 parent 4ae3c86 commit dddfb1d

File tree

2 files changed

+2
-4
lines changed

2 files changed

+2
-4
lines changed

package.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
"description": "The official VSCode plugin for ReScript.",
44
"author": "chenglou",
55
"license": "MIT",
6-
"version": "0.0.7",
6+
"version": "0.0.8",
77
"repository": {
88
"type": "git",
99
"url": "https://github.com/rescript-lang/rescript-vscode"

server/src/server.ts

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -175,9 +175,7 @@ FAILED: src/test.cmj src/test.cmi
175175
let ret: { [key: string]: t.Diagnostic[] } = {}
176176
res.forEach(diagnosisLines => {
177177
let [fileAndLocation, ...diagnosisMessage] = diagnosisLines
178-
let locationSeparatorV840 = fileAndLocation.lastIndexOf(':')
179-
let locationSeparatorV830 = fileAndLocation.lastIndexOf(' ')
180-
let locationSeparator = locationSeparatorV840 >= 0 ? locationSeparatorV840 : locationSeparatorV830
178+
let locationSeparator = fileAndLocation.lastIndexOf(' ')
181179
let file = fileAndLocation.substring(2, locationSeparator)
182180
let location = fileAndLocation.substring(locationSeparator)
183181
if (ret[file] == null) {

0 commit comments

Comments
 (0)