Daniil Elovkov wrote:
A refinement of :tracelocal could be :tracedirect (or something) that would save the history not anywhere within the given function but only within parents, so to say. For example,

This looks like what I thought of as searching for values in dynamic stack (explained in my response to Pepe Iborra in this thread).
I just did not ask for it with a new ticket since:
* I think it is already requested by some other ticket
* if you compile with -Wall then :tracelocal should have the same
  information and only rarely name collision happens so automatic
  tracelocal trace search should return what you are looking for
  too and when needed it reruns more ... that is if the function
  is short enough to fit in the tracelocal history queue

The ticket actually has two almost independent parts:
* Adding tracelocal trace.
* Adding the automatic search for symbols in the trace and
  the trace in the search could be also some other kind of
  trace like (e.g. dynamic stack). This would not be that
  useful though since the names at higher levels in stack
  are typically different. So to make it good it would
  require matching formal arguments to expressions on
  higher level and evaluating them, not that easy to do
  as simple tracelocal search which is just based on stupid
  string comparison.

Peter.

_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to