-
Simon Marlow authored
Use +RTS -S<file> rather than +RTS -s<file>, since the latter only gives summary statistics now.
Simon Marlow authoredUse +RTS -S<file> rather than +RTS -s<file>, since the latter only gives summary statistics now.
Loading
Use +RTS -S<file> rather than +RTS -s<file>, since the latter only gives summary statistics now.
Use +RTS -S<file> rather than +RTS -s<file>, since the latter only gives summary statistics now.