[MLton-devel] MLton at PLDI?

[Norman Ramsey]

 > As to source-level debugging, we've become more optimistic about its
 > prospects after the recent success with source-level profiling.  I
 > haven't thought about it a lot yet, but if I were going to start, I'd
 > look at Tolmach's stuff and into whatever OCaml does.  Do you have
 > other starting points you're thinking of?

Yes, we're trying a more traditional reverse-engineering style
debugger for native code, with no time travel.  It is essentially
taking ideas from my thesis and trying to figure out how to make them
work in multiple compilers.  I don't know how much would survive
optimization---that's one big question.


Norman


-------------------------------------------------------
Enterprise Linux Forum Conference & Expo, June 4-6, 2003, Santa Clara
The only event dedicated to issues related to Linux enterprise solutions
www.enterpriselinuxforum.com

_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel