There is repetitive printing code all over the compiler: just count the number of functions which print `longident`s. Obviously this is not good practice, but unless/until it is fixed, patches should conform to the style of the code already there. So I think it is better to keep the duplicated printers as is.