Merge pull request #506 from FStarLang/protz_empty_structs

Eliminate empty struct *definitions*
FStarLang · Dec 20, 2024 · e0fe023 · e0fe023
2 parents 8b1ec11 + 4578377
commit e0fe023
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/lib/DataTypes.ml b/lib/DataTypes.ml
@@ -1280,6 +1280,10 @@ let remove_empty_structs files =
         LidSet.empty
   end)#visit_files () files in
 
+  let files = List.map (fun (f, decls) ->
+    f, List.filter (fun d -> not (LidSet.mem (lid_of_decl d) empty_structs)) decls
+  ) files in
+
   (object
 
     inherit [_] map as super