Merge pull request #3566 from mtzguido/showable_standalone

Class.Show: remove dependency on Printable
FStarLang · Oct 15, 2024 · 18ad23c · 18ad23c
2 parents da7184a + 5c6dfd8
commit 18ad23c
Show file tree

Hide file tree

Showing 44 changed files with 336 additions and 738 deletions.
diff --git a/ocaml/fstar-lib/generated/FStarC_CheckedFiles.ml b/ocaml/fstar-lib/generated/FStarC_CheckedFiles.ml
diff --git a/ocaml/fstar-lib/generated/FStarC_Class_Show.ml b/ocaml/fstar-lib/generated/FStarC_Class_Show.ml
diff --git a/ocaml/fstar-lib/generated/FStarC_Compiler_MachineInts.ml b/ocaml/fstar-lib/generated/FStarC_Compiler_MachineInts.ml
diff --git a/ocaml/fstar-lib/generated/FStarC_Compiler_Plugins.ml b/ocaml/fstar-lib/generated/FStarC_Compiler_Plugins.ml
diff --git a/ocaml/fstar-lib/generated/FStarC_Extraction_Krml.ml b/ocaml/fstar-lib/generated/FStarC_Extraction_Krml.ml
diff --git a/ocaml/fstar-lib/generated/FStarC_Extraction_ML_RemoveUnusedParameters.ml b/ocaml/fstar-lib/generated/FStarC_Extraction_ML_RemoveUnusedParameters.ml
diff --git a/ocaml/fstar-lib/generated/FStarC_Main.ml b/ocaml/fstar-lib/generated/FStarC_Main.ml
diff --git a/ocaml/fstar-lib/generated/FStarC_Options.ml b/ocaml/fstar-lib/generated/FStarC_Options.ml
diff --git a/ocaml/fstar-lib/generated/FStarC_Parser_Dep.ml b/ocaml/fstar-lib/generated/FStarC_Parser_Dep.ml
diff --git a/ocaml/fstar-lib/generated/FStarC_Reflection_V1_Builtins.ml b/ocaml/fstar-lib/generated/FStarC_Reflection_V1_Builtins.ml
diff --git a/ocaml/fstar-lib/generated/FStarC_Reflection_V2_Builtins.ml b/ocaml/fstar-lib/generated/FStarC_Reflection_V2_Builtins.ml
diff --git a/ocaml/fstar-lib/generated/FStarC_SMTEncoding_EncodeTerm.ml b/ocaml/fstar-lib/generated/FStarC_SMTEncoding_EncodeTerm.ml
diff --git a/ocaml/fstar-lib/generated/FStarC_SMTEncoding_Pruning.ml b/ocaml/fstar-lib/generated/FStarC_SMTEncoding_Pruning.ml