fix position

aspeddro · aspeddro · commit 3b41ad0c8ab1 · 2022-06-18T02:09:35.000-03:00
diff --git a/analysis/src/Diagnostics.ml b/analysis/src/Diagnostics.ml
@@ -18,8 +18,8 @@ let document_syntax ~path =
              {
                range =
                  {
-                   start = {line = startline; character = startcol};
-                   end_ = {line = endline; character = endcol};
+                   start = {line = startline - 1; character = startcol};
+                   end_ = {line = endline - 1; character = endcol};
                  };
                message = Res_diagnostics.explain diagnostic;
                severity = Error;

Original file line number	Diff line number	Diff line change
`@@ -18,8 +18,8 @@ let document_syntax ~path =`
`18`	`18`	`{`
`19`	`19`	`range =`
`20`	`20`	`{`
`21`		`- start = {line = startline; character = startcol};`
`22`		`- end_ = {line = endline; character = endcol};`
	`21`	`+ start = {line = startline - 1; character = startcol};`
	`22`	`+ end_ = {line = endline - 1; character = endcol};`
`23`	`23`	`};`
`24`	`24`	`message = Res_diagnostics.explain diagnostic;`
`25`	`25`	`severity = Error;`