Kevin GLYNN wrote:
> [...]
> (except: can someone explain how I set the profiling sampling interval.
> The ghc user manual says that you use option -i<secs> where the argument
> is in seconds (that can't be right, unless you allow fractions),
<sec> can actually be a fraction of a second, e.g. -i0.08 for an interval
of 80ms.
> but the default seems to be 20ms and I don't seem to be able to change it).
The default interval is 1 second and the *resolution* for changing the
interval is 20ms (see fptools/ghc/includes/CostCentre.lh).
--
Sven Panne Tel.: +49/89/2178-2235
LMU, Institut fuer Informatik FAX : +49/89/2178-2211
LFE Programmier- und Modellierungssprachen Oettingenstr. 67
mailto:[EMAIL PROTECTED] D-80538 Muenchen
http://www.pms.informatik.uni-muenchen.de/mitarbeiter/panne
