Merge pull request #3111 from mtzguido/def_class

Tc: Making defensive checks into a single def_check_scoped function
FStarLang · Nov 28, 2023 · b464002 · b464002
2 parents 9caea11 + e4fcba1
commit b464002
Show file tree

Hide file tree

Showing 22 changed files with 663 additions and 451 deletions.
diff --git a/ocaml/fstar-lib/generated/FStar_Class_Binders.ml b/ocaml/fstar-lib/generated/FStar_Class_Binders.ml
diff --git a/ocaml/fstar-lib/generated/FStar_Defensive.ml b/ocaml/fstar-lib/generated/FStar_Defensive.ml
diff --git a/ocaml/fstar-lib/generated/FStar_SMTEncoding_EncodeTerm.ml b/ocaml/fstar-lib/generated/FStar_SMTEncoding_EncodeTerm.ml
diff --git a/ocaml/fstar-lib/generated/FStar_TypeChecker_Common.ml b/ocaml/fstar-lib/generated/FStar_TypeChecker_Common.ml