Run-time options in ghc on Linux
Garner, Robin
Robin.Garner@crsrehab.gov.au
Fri, 20 Dec 2002 17:52:56 +1100
This message is in MIME format. Since your mail reader does not understand
this format, some or all of this message may not be legible.
------_=_NextPart_001_01C2A7F4.6D2D4F60
Content-Type: text/plain;
charset="iso-8859-1"
The +RTS options don't seem to be working for me on Linux (Redhat 7.2, ghc
5.04 and 5.04.1 installed via the .rpms).
One of my programs will happily consume all available memory, even though I
have +RTS -M64M, and another program fails with
Stack space overflow: current size 1048576 bytes.
Use `+RTS -Ksize' to increase it.
even though I'm using +RTS -K10M.
Any suggestions ?
------_=_NextPart_001_01C2A7F4.6D2D4F60
Content-Type: text/html;
charset="iso-8859-1"
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<META content="MSHTML 6.00.2800.1106" name=GENERATOR></HEAD>
<BODY bgColor=#ffffff>
<DIV><SPAN class=71573206-20122002><FONT face=Arial size=2>The +RTS options
don't seem to be working for me on Linux (Redhat 7.2, ghc 5.04 and
5.04.1 installed via the .rpms). </FONT></SPAN></DIV>
<DIV><SPAN class=71573206-20122002><FONT face=Arial
size=2></FONT></SPAN> </DIV>
<DIV><SPAN class=71573206-20122002><FONT face=Arial size=2>One of my programs
will happily consume all available memory, even though I have +RTS -M64M, and
another program fails with</FONT></SPAN></DIV>
<DIV><SPAN class=71573206-20122002><FONT face=Arial
size=2></FONT></SPAN> </DIV>
<DIV><SPAN class=71573206-20122002><FONT face=Arial size=2>Stack space overflow:
current size 1048576 bytes.<BR>Use `+RTS -Ksize' to increase
it.<BR></FONT></SPAN></DIV>
<DIV><SPAN class=71573206-20122002><FONT face=Arial size=2>even though I'm using
+RTS -K10M.</FONT></SPAN></DIV>
<DIV><SPAN class=71573206-20122002><FONT face=Arial
size=2></FONT></SPAN> </DIV>
<DIV><SPAN class=71573206-20122002><FONT face=Arial size=2>Any suggestions
?</DIV></FONT></SPAN></BODY></HTML>
------_=_NextPart_001_01C2A7F4.6D2D4F60--