Merge pull request #3237 from mtzguido/scoping

Fixing some scoping bugs
FStarLang · Apr 10, 2024 · 2384fd5 · 2384fd5
2 parents 695c472 + 09e3f64
commit 2384fd5
Show file tree

Hide file tree

Showing 11 changed files with 352 additions and 113 deletions.
diff --git a/ocaml/fstar-lib/generated/FStar_TypeChecker_Normalize.ml b/ocaml/fstar-lib/generated/FStar_TypeChecker_Normalize.ml
diff --git a/ocaml/fstar-lib/generated/FStar_TypeChecker_Rel.ml b/ocaml/fstar-lib/generated/FStar_TypeChecker_Rel.ml