[ ghc-Bugs-604849 ] Compiling with -O yields broken .hc file

2002-09-05 Thread noreply
Bugs item #604849, was opened at 2002-09-04 18:45 You can respond by visiting: https://sourceforge.net/tracker/?func=detailatid=108032aid=604849group_id=8032 Category: Compiler Group: 5.04 Status: Open Resolution: None Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to:

[ ghc-Bugs-604889 ] Optimizer introduces non-termination

2002-09-05 Thread noreply
Bugs item #604889, was opened at 2002-09-05 04:54 You can respond by visiting: https://sourceforge.net/tracker/?func=detailatid=108032aid=604889group_id=8032 Category: Compiler Group: 5.04 Status: Open Resolution: None Priority: 5 Submitted By: Henrik Nilsson (nhn) Assigned to: Nobody/Anonymous

RE: ghc-5.02.3: fatal error: getStablePtr: too light

2002-09-05 Thread Simon Marlow
I'm sporadically seeing the following error: ghc-5.02.3: fatal error: getStablePtr: too light Any ideas what it means or how to avoid it? I'm running on Linux. This is fixed in 5.04. I believe it was triggered by making too many stable pointers to the same object. Cheers,

[ ghc-Bugs-604849 ] Compiling with -O yields broken .hc file

2002-09-05 Thread noreply
Bugs item #604849, was opened at 2002-09-05 01:45 You can respond by visiting: https://sourceforge.net/tracker/?func=detailatid=108032aid=604849group_id=8032 Category: Compiler Group: 5.04 Status: Closed Resolution: Fixed Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to:

External Core typechecker

2002-09-05 Thread Kirsten Chevalier
GHC doesn't seem to do much typechecking on external Core files; it happily compiles .hcr files with type errors that then segfault when you run the program. An example of such a program is attached (the type error is on line 19, where cons is applied to the Integer type and two integer lists).

External Core typechecker

2002-09-05 Thread Kirsten Chevalier
[ oops, forgot to include the attachment in the last message; it's also copied here as text ] %module Main %rec {main1 :: GHCziPrim.ZLzmzgZR (GHCziPrim.Statezh GHCziPrim.RealWorld) (GHCziPrim.Z2H (GHCziPrim.Statezh GHCziPrim.RealWorld)

Re: External Core typechecker

2002-09-05 Thread Sigbjorn Finne
To enable type checking of Core, compile with -dcore-lint --sigbjorn - Original Message - From: Kirsten Chevalier [EMAIL PROTECTED] To: [EMAIL PROTECTED] Sent: Thursday, September 05, 2002 12:05 Subject: External Core typechecker GHC doesn't seem to do much typechecking on external

Re: External Core typechecker

2002-09-05 Thread Kirsten Chevalier
On Thu, Sep 05, 2002 at 12:20:27PM -0700, Sigbjorn Finne wrote: To enable type checking of Core, compile with -dcore-lint Ah, thanks. You'd think it would do that by default when starting from an external Core file (hint :-)) -- Kirsten Chevalier * [EMAIL PROTECTED] * Often in error, never

Re: External Core typechecker

2002-09-05 Thread Sigbjorn Finne
Kirsten Chevalier [EMAIL PROTECTED] writes: On Thu, Sep 05, 2002 at 12:20:27PM -0700, Sigbjorn Finne wrote: To enable type checking of Core, compile with -dcore-lint Ah, thanks. You'd think it would do that by default when starting from an external Core file (hint :-)) It actually