Merge pull request #3105 from mtzguido/3102

Fixing the escape check to provide better errors
FStarLang · Nov 19, 2023 · 0b0b279 · 0b0b279
2 parents d0f5ad7 + 504d88d
commit 0b0b279
Show file tree

Hide file tree

Showing 18 changed files with 1,326 additions and 218 deletions.
diff --git a/ocaml/fstar-lib/generated/FStar_Extraction_ML_Term.ml b/ocaml/fstar-lib/generated/FStar_Extraction_ML_Term.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Tactics_CheckLN.ml b/ocaml/fstar-lib/generated/FStar_Tactics_CheckLN.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Tactics_NamedView.ml b/ocaml/fstar-lib/generated/FStar_Tactics_NamedView.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Tactics_V2_Basic.ml b/ocaml/fstar-lib/generated/FStar_Tactics_V2_Basic.ml