>Qxd$QC/sdeK{93/{KA]&T@gir{b8(rd5/zL85UcsTGty!z9Nx%Z+0e193YVEXFcWdM.]+uyVYA6WN
Nn]tdh-oQ]/#\R;Vts^}W]a%+%VqSEAu
X-URL: http://WWW.CS.Yale.EDU/homes/reid-alastair/
Date: Fri, 31 Oct 1997 11:58:32 -0500
From: Alastair Reid <[EMAIL PROTECTED]>
Sender: [EMAIL PROTECTED]
Precedence: bulk
Resent-Date: Fri, 31 Oct 1997 17:00:34 +0000
Resent-From: [EMAIL PROTECTED]
Resent-To: [EMAIL PROTECTED]
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
ghc 2.08 runs out of heap while trying to compile this trivial
program:
[reid@haggis src]$ ghc
Enter your Haskell program, end with ^D (on a line of its own):
f x = x
main = print (f f f f f f f f f f f f f f f f f f f f f f 'a')
GHC's heap exhausted;
while trying to allocate 36 bytes in a 6000000-byte heap;
use the `-H<size>' option to increase the total heap size.
I suspect the problem to be in the typechecker because:
1) running again with -ddump-tc produces no typechecker output.
2) a similar program causes problems for SML-NJ's typechecker.
(albeit an unreleased version...)
3) the program is designed to demonstrate the exponential blowup
of Hindley Milner typechecking :-)
Alastair
ps Hugs has no problems with this program and released versions of
SML-NJ have no problems.
