Code

Fixing some scoping bugs#3237

Code

Merged

mtzguido merged 8 commits intoFStarLang:masterFStarLang/FStar:masterfrom mtzguido:scopingmtzguido/FStar:scopingCopy head branch name to clipboardApr 10, 2024

+352-113

Commits

Commits on Apr 10, 2024

• Rel: do not print we're dropping a VC if in phase1

  mtzguido

  committed
  107ddba

  Copy full SHA for 107ddba

• Normalizer: nit

  mtzguido

  committed
  5555eee

  Copy full SHA for 5555eee

• Tc: Improve an error message

  mtzguido

  committed
  6040277

  Copy full SHA for 6040277

• Tc.Rel: fix some scoping bugs

  mtzguido

  committed
  ff8a3d3

  Copy full SHA for ff8a3d3

• Tc/Rel: fixing more scoping bugs

  mtzguido

  committed
  f025f0e

  Copy full SHA for f025f0e

• Tc: scoping

  mtzguido

  committed
  c9d1aef

  Copy full SHA for c9d1aef

• snap

  mtzguido

  committed
  5341dde

  Copy full SHA for 5341dde

• Add repro for FStarLang#3236

  mtzguido

  committed
  09e3f64

  Copy full SHA for 09e3f64