Re: Elisp native profiler

[Paul Eggert]

On 10/01/2012 07:25 AM, Stefan Monnier wrote:
> I'd much rather that people actually answer my questions about *why*
> they want to change the default, rather than have them change it
> back&forth as the wind blows.

I thought that's what we were doing -- you asked why change it to 10 ms,
I responded that I was worried that 1 ms wouldn't work for older/slower
hosts, you said 1 ms works fine on your very-slow host, and that was
good enough for me so I changed it back.

> Whether 1ms is a good default (and leads to good/valid profiles) is
> still an open question.

Absolutely.