Code

Improving some error formats.#3059

Code

Merged

mtzguido merged 5 commits intoFStarLang:masterFStarLang/FStar:masterfrom mtzguido:miscmtzguido/FStar:miscCopy head branch name to clipboardSep 28, 2023

+187-150

Commits

Commits on Sep 28, 2023

• nit: comment

  mtzguido

  committed
  2b47259

  Copy full SHA for 2b47259

• Misc: improving some error formatting

  mtzguido

  committed
  dc16cee

  Copy full SHA for dc16cee

• snap

  mtzguido

  committed
  3282307

  Copy full SHA for 3282307

• tests: error-messages: update expected output

  mtzguido

  committed
  fd991ac

  Copy full SHA for fd991ac

• tests: ide: update expected output

  mtzguido

  committed
  7da8279

  Copy full SHA for 7da8279