On 28 July 2014 10:04, Jonathan S. Shapiro <[email protected]> wrote: > On Sun, Jul 27, 2014 at 4:31 PM, William ML Leslie < > [email protected]> wrote: > >> I think that the support I would like from the compiler is the support >> you already require for the GC: A way to walk the stack, a way to >> determine how the things on the stack relate to your original program, and >> a way to figure out what the currently executing function is (however they >> are identified). >> > > The information needed by the GC is very different from what a debugger > needs. > > But that begs the question: *why* do you want this, given that you agree > that walking the stack raises ambient authority issues? >
If you can create a heap dump and inspect your program, there is some authority that you obviously hold. If this authority has a representation as an object within my program, I can reason about its use with the capability model of the language. I don't have a problem with that. My why is maybe a little crazy, but it's not really significant either. -- William Leslie Notice: Likely much of this email is, by the nature of copyright, covered under copyright law. You absolutely MAY reproduce any part of it in accordance with the copyright law of the nation you are reading this in. Any attempt to DENY YOU THOSE RIGHTS would be illegal without prior contractual agreement.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
