RSSA backend

Matthew Fluet fluet@CS.Cornell.EDU
Fri, 18 Jan 2002 15:02:16 -0500 (EST)


> I'm updating the documentation to reflect the MLton.Profile structure.

Any reason not to mention the -color option in the profiling
documentation?  (Note: here's another case where having accurate SSA
labels for profiling would be better.)  Maybe that's reason enough not to
mention it for now.