Code

Pretty-print basic_type_error#3064

Code

Open

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

+70-21

Commits

Commits on Sep 29, 2023

• Tc: pretty printing basic_type_error

  mtzguido

  committed
  ca66bd3

  Copy full SHA for ca66bd3

• snap

  mtzguido

  committed
  e0cefb1

  Copy full SHA for e0cefb1

• update expected output

  mtzguido

  committed
  68aca75

  Copy full SHA for 68aca75