14 Dec
2006
14 Dec
'06
6:09 p.m.
On Dec 14, 2006, at 10:00 , Felix Breuer wrote:
3) I tried using +RTS -K<size> as suggested, but these options do not seem to be passed through if I use --make. How can I use both, these compilation flags and --make?
They aren't compile options; they're runtime options. The GHC runtime intercepts +RTS options and processes them before passing the remaining arguments (if any) to your program. -- brandon s. allbery [linux,solaris,freebsd,perl] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH