7 Sep
2010
7 Sep
'10
10:51 a.m.
Excerpts from Johannes Waldmann's message of Tue Sep 07 10:38:47 -0400 2010:
Yuras Shumovich
writes: So what is the magic "link-time flag to en/disable the RTS options"?
As you mentioned earlier, -rtsopts.
It seems it would be needed for all things multi-core, since you'd want to modify +RTS -Nx
This is a good point: if RTS options are disabled, there should probably be a mechanism for specifying what RTS options should be baked in. Cheers, Edward