monomorphizing ML programs

[Bernard James POPE]

Hello MLton developers,

My name is Bernie Pope, I am a phd student at the University of Melbourne,
Australia. I am researching in the field of functional programming 
languages (particularly Haskell).

I read in a recent article on comp.lang.functional that MLton
monomorphizes code. I take this to mean that it makes special monomophic
versions of polymorphic functions before compiling to machine code. 

If this is the case then I would be very interested to hear about your
techniques for performing such specialisation.

The reason I am interested is that I am working on a transformation of
Haskell programs for debugging purposes. Polymorphic code causes some 
difficult problems when it occurs with higher order code (type variables
can be instantiated with functions). 

Hopefully I have not been mis-informed, and hopefully I haven't wasted your
time.

Regards,
Bernie.