diff options
Diffstat (limited to '')
-rw-r--r-- | compiler/PureMicroPasses.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/PureMicroPasses.ml b/compiler/PureMicroPasses.ml index 12b3387a..9fa07029 100644 --- a/compiler/PureMicroPasses.ml +++ b/compiler/PureMicroPasses.ml @@ -1989,6 +1989,7 @@ let filter_loop_inputs (ctx : trans_ctx) (transl : pure_fun_translation list) : (List.concat (List.map (fun { f; loops } -> [ f :: loops ]) transl)) in let subgroups = ReorderDecls.group_reorder_fun_decls all_decls in + log#ldebug (lazy ("filter_loop_inputs: all_decls:\n\n" |