Function toVscodeRange

apps/vscode/src/diagnostics.ts:45–55

(range: {
  start: { line: number; col: number };
  end: { line: number; col: number };
})

}

function toVscodeRange(range: {
  start: { line: number; col: number };
  end: { line: number; col: number };
}): vscode.Range {
  return new vscode.Range(
    range.start.line,
    range.start.col,
    range.end.line,
    range.end.col
  );
}