> + write_pred_progress_message("% Transforming polymorphism for ", > + PredId, ModuleInfo0, IO0, IO1), I haven't read the rest of the diff, but I want to point out that there is already code for printing progress messages for polymorphism.m. It is commented out since it leads to far too many messages. Zoltan.