[MLton] Register allocation in MLton

[Jesper Louis Andersen]

Quoting Matthew Fluet (fluet@cs.cornell.edu):

> Glancing through Chapt. 16, he recommends representing the interference
> graph as a combination of an adjacency matrix and adjacency lists.

This is the same thing Appel does in his book.

I must thank you for the run-down. I really got more than I had 
hoped for and it shed some light on what you can also do to
allocate registers, being a ''hack'' or not.

-- 
j.