Eliminate empty struct *definitions*

FStarLang · Dec 20, 2024 · 4578377 · 4578377
1 parent 8b1ec11
commit 4578377
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