> + 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.