Yes, thanks. This is a known bug in 5.04.
What is interesting to me is how many people are using self-recursive
newtypes, with no intervening data types. That is, a type that would be
infinite if the newtype were a type synonym. At least four people have
independently reported the bug, so they
Hi,
The following code compiles OK with hugs (dec 2001) but produces a loop
& stack overflow with GHC 5.04
data Ctx m a b = forall i. CBCC (a -> CUT m i -> CUT m i) (CUT m i)
(Ctx m i b)
newtype CUT m a = MkCut (forall b. Ctx m a b -> m b)
promote :: Monad m => m a -> CUT m a
promote m
Bugs item #608378, was opened at 2002-09-12 13:44
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=608378&group_id=8032
Category: Prelude
Group: 5.04
Status: Open
Resolution: None
Priority: 5
Submitted By: Martin Norbäck (norpan)
Assigned to: Nobody/Anony
Bugs item #608378, was opened at 2002-09-12 13:44
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=608378&group_id=8032
Category: Prelude
Group: 5.04
Status: Open
Resolution: None
Priority: 5
Submitted By: Martin Norbäck (norpan)
Assigned to: Nobody/Anony
> "Simon Marlow" <[EMAIL PROTECTED]> writes:
>
> > The problem is that GHC is asking for memory at a particular address
> > (0x5000) and the kernel is returning memory elsewhere
> that doesn't
> > satisfy our aligment constraints (1M aligned). We don't
> particularly
> > care where we get
I'll add a note to the user guide; good point.
Let and where are not equivalent and never have been:
let is an expression form, and can be nested
where scopes over guards, and is not an expression form,
and cannot be nested
Simon
| -Original Message-
| From: Alastair
