Fix missing topological sort

AeneasVerif · Sep 12, 2024 · 1a65dbf · 1a65dbf
1 parent b2946d0
commit 1a65dbf
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/lib/Bundles.ml b/lib/Bundles.ml
@@ -524,12 +524,14 @@ let reassign_monomorphizations (files : Krml.Ast.file list) (config : config) =
         f, decls @ reassigned)
       files
   in
+
+  (* Deal with files that did not exist previously. *)
+  let files = files @ Hashtbl.fold (fun f reassigned acc -> (f, reassigned) :: acc) reassigned [] in
+
   (* A quick topological sort to make sure type declarations come *before*
      functions that use them. *)
   let files = List.map (fun (f, decls) -> f, topological_sort decls) files in
 
-  (* Deal with files that did not exist previously. *)
-  let files = files @ Hashtbl.fold (fun f reassigned acc -> (f, reassigned) :: acc) reassigned [] in
   let c1 = count_decls files in
   assert (c0 = c1);
   files