Code

More typeclasses, some cleanup#3124

Code

Merged

mtzguido merged 7 commits intoFStarLang:masterFStarLang/FStar:masterfrom mtzguido:miscmtzguido/FStar:miscCopy head branch name to clipboardDec 1, 2023

+953-562

Commits

Commits on Dec 1, 2023

• Syntax: show and pp for universes

  mtzguido

  committed
  68feda4

  Copy full SHA for 68feda4

• Tc: add an error context

  mtzguido

  committed
  23ffc92

  Copy full SHA for 23ffc92

• Cleanups

  mtzguido

  committed
  c3935f8

  Copy full SHA for c3935f8

• More use of typeclasses

  mtzguido

  committed
  9891762

  Copy full SHA for 9891762

• Normalizer: play it safe, freeze the gensym on printers

  mtzguido

  committed
  3d90bab

  Copy full SHA for 3d90bab

• snap

  mtzguido

  committed
  f9f5ff9

  Copy full SHA for f9f5ff9

• Update expected output

  mtzguido

  committed
  e785f7e

  Copy full SHA for e785f7e