track effects when instantiating type arguments when generating ML, t…

…o prevent mistaken erasure (cf. #3473)
FStarLang · Oct 2, 2024 · eac472d · eac472d
1 parent 55e1119
commit eac472d
Show file tree

Hide file tree

Showing 29 changed files with 2,797 additions and 2,672 deletions.
diff --git a/ocaml/fstar-lib/generated/FStar_Algebra_Monoid.ml b/ocaml/fstar-lib/generated/FStar_Algebra_Monoid.ml
diff --git a/ocaml/fstar-lib/generated/FStar_CheckedFiles.ml b/ocaml/fstar-lib/generated/FStar_CheckedFiles.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Class_TotalOrder_Raw.ml b/ocaml/fstar-lib/generated/FStar_Class_TotalOrder_Raw.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Errors.ml b/ocaml/fstar-lib/generated/FStar_Errors.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Extraction_ML_Code.ml b/ocaml/fstar-lib/generated/FStar_Extraction_ML_Code.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Extraction_ML_Modul.ml b/ocaml/fstar-lib/generated/FStar_Extraction_ML_Modul.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Extraction_ML_Syntax.ml b/ocaml/fstar-lib/generated/FStar_Extraction_ML_Syntax.ml