Skip to content

Commit f5a3c1a

Browse files
xclerclukemaurer
authored andcommitted
Print aliases for debug.
1 parent 059d0b4 commit f5a3c1a

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

middle_end/flambda/types/env/typing_env.rec.ml

+4-1
Original file line numberDiff line numberDiff line change
@@ -457,10 +457,13 @@ let print_with_cache ~cache ppf
457457
@[<hov 1>(defined_symbols@ %a)@]@ \
458458
@[<hov 1>(code_age_relation@ %a)@]@ \
459459
@[<hov 1>(levels@ %a)@]\
460+
@[<hov 1>(aliases@ %a)@]\
460461
)@]"
461462
Symbol.Set.print defined_symbols
462463
Code_age_relation.print code_age_relation
463-
(Scope.Map.print (One_level.print_with_cache ~cache)) levels)
464+
(Scope.Map.print (One_level.print_with_cache ~cache)) levels
465+
Aliases.print (Cached.aliases current_level.just_after_level))
466+
464467

465468
let print ppf t =
466469
print_with_cache ~cache:(Printing_cache.create ()) ppf t

0 commit comments

Comments
 (0)