On 01/21/2013 05:40 PM, Roman Cheplyaka wrote: > While we're at it, the trace functions I miss are > > \x -> trace x x > > and > > \x -> trace (show x) x I've defined those two trace functions for debugging my own code as well. -Isaac