Merge pull request #459 from FStarLang/protz_pretty

hints, minor pretty-printing fix
FStarLang · Aug 13, 2024 · 9fb21c7 · 9fb21c7
2 parents f9cdef2 + bdf0695
commit 9fb21c7
Show file tree

Hide file tree

Showing 141 changed files with 717 additions and 713 deletions.
diff --git a/krmllib/dist/generic/FStar_Issue.h b/krmllib/dist/generic/FStar_Issue.h
@@ -41,7 +41,7 @@ FStar_Pervasives_Native_option__krml_checked_int_t;
 extern FStar_Pervasives_Native_option__krml_checked_int_t
 FStar_Issue_number_of_issue(FStar_Issue_issue i);
 
-extern FStar_Pervasives_Native_option__FStar_Range_range
+extern FStar_Pervasives_Native_option__FStar_Sealed_sealed_FStar_Range___range
 FStar_Issue_range_of_issue(FStar_Issue_issue i);
 
 extern Prims_list__Prims_string *FStar_Issue_context_of_issue(FStar_Issue_issue i);
@@ -52,7 +52,7 @@ extern FStar_Issue_issue
 FStar_Issue_mk_issue_doc(
   Prims_string i,
   Prims_list__FStar_Pprint_document *msg,
-  FStar_Pervasives_Native_option__FStar_Range_range range,
+  FStar_Pervasives_Native_option__FStar_Sealed_sealed_FStar_Range___range range,
   FStar_Pervasives_Native_option__krml_checked_int_t number,
   Prims_list__Prims_string *ctx
 );

diff --git a/krmllib/dist/generic/FStar_Monotonic_Heap.h b/krmllib/dist/generic/FStar_Monotonic_Heap.h
@@ -15,26 +15,26 @@
 
 typedef void *FStar_Monotonic_Heap_tset;
 
-typedef struct FStar_Pervasives_dtuple4_____FStar_Pervasives_Native_option_____bool_any_s
+typedef struct FStar_Pervasives_dtuple4_____FStar_Pervasives_Native_option____bool_any_s
 {
   FStar_Pervasives_Native_option__Prims_string_tags _2;
   bool _3;
   void *_4;
 }
-FStar_Pervasives_dtuple4_____FStar_Pervasives_Native_option_____bool_any;
+FStar_Pervasives_dtuple4_____FStar_Pervasives_Native_option____bool_any;
 
 typedef struct
-FStar_Pervasives_Native_option__FStar_Pervasives_dtuple4____FStar_Pervasives_Native_option_____bool_any_s
+FStar_Pervasives_Native_option__FStar_Pervasives_dtuple4____FStar_Pervasives_Native_option____bool_any_s
 {
   FStar_Pervasives_Native_option__Prims_string_tags tag;
-  FStar_Pervasives_dtuple4_____FStar_Pervasives_Native_option_____bool_any v;
+  FStar_Pervasives_dtuple4_____FStar_Pervasives_Native_option____bool_any v;
 }
-FStar_Pervasives_Native_option__FStar_Pervasives_dtuple4____FStar_Pervasives_Native_option_____bool_any;
+FStar_Pervasives_Native_option__FStar_Pervasives_dtuple4____FStar_Pervasives_Native_option____bool_any;
 
 typedef struct FStar_Monotonic_Heap_heap_rec_s
 {
   krml_checked_int_t next_addr;
-  FStar_Pervasives_Native_option__FStar_Pervasives_dtuple4____FStar_Pervasives_Native_option_____bool_any
+  FStar_Pervasives_Native_option__FStar_Pervasives_dtuple4____FStar_Pervasives_Native_option____bool_any
   (*memory)(krml_checked_int_t x0);
 }
 FStar_Monotonic_Heap_heap_rec;

diff --git a/krmllib/hints/C.Endianness.fst.hints b/krmllib/hints/C.Endianness.fst.hints
diff --git a/krmllib/hints/C.Failure.fst.hints b/krmllib/hints/C.Failure.fst.hints