Code

Some error nits#3682

Code

Draft

mtzguido wants to merge 3 commits intoFStarLang:masterFStarLang/FStar:masterfrom mtzguido:error_nitsmtzguido/FStar:error_nitsCopy head branch name to clipboard

+9-9

Commits

Commits on Jan 17, 2025

• Misc: do no use bold for errors

  mtzguido

  committed
  1943b38

  Copy full SHA for 1943b38

• Parser.Util: consider columns to be 1-based

  Show description for c6c6bbd
  mtzguido

  committed
  c6c6bbd

  Copy full SHA for c6c6bbd

• Range: reformat show instance, allows clicking in VScode to work

  Show description for 61fe940
  mtzguido

  committed
  61fe940

  Copy full SHA for 61fe940