message: handle some errors in updateGoal
diff: @@ -363,7 +363,8 @@ export class InfoProvider implements Disposable {
  }
  private async updateGoal(): Promise<boolean> {
  - if (this.stopped) { return false; }
  + if (this.stopped || !this.curFileName || !this.curPosition) { return false; }
  + try {
  const info = await this.server.info(
  this.curFileName, this.curPosition.line + 1, this.curPosition.character);
  if (info.record && info.record.state) {
  @@ -380,6 +381,9 @@ export class InfoProvider implements Disposable {
  if (workspace.getConfiguration('lean').get('typeInStatusBar')) {
  this.updateTypeStatus(info);
  }
  + } catch (e) {
  + if (e !== 'interrupted') { throw e; }
  + }
  }
  private updateTypeStatus(info: InfoResponse) {
  