Daniel Jacobowitz wrote:
On Tue, Dec 18, 2007 at 11:22:12AM -0500, Robert Dewar wrote:
I don't think it is fine, we have constant complaints from our users about this. I think we definitely need an optimization level that avoids this.It's fine because it's not the problem he's working on. We don't have to fix everything at once!
Fair enough, I am all in favor of improving all aspects of debuggability :-)
