[jhc] Loops.

[John Meacham]

On Thu, Mar 20, 2008 at 07:06:55PM +0100, Lemmih wrote:
> On Thu, Mar 20, 2008 at 6:39 PM, John Meacham <john at repetae.net> wrote:
> > On Thu, Mar 20, 2008 at 06:13:48PM +0100, Lemmih wrote:
> >  > x :: IO ()  -- This type signature works fine, <<loop>> is printed
> >  > x :: a  -- This type signature blows the stack of jhc
> >  > x = x
> >  > main = x
> >  >
> >  > Is this a known bug?
> >
> >  Well, it's not really a bug as all detection of loops is a bonus, if the
> >  optimizer comes across something of exactly 'x = x' it will replace it
> >  with error "<<loop>>" but not all loops optimize to that form.
> 
> Blowing the stack is not a bug?

Ah! are you saying 'jhc' blows its stack or the compiled program does?
sorry, I misunderstood. yeah, that is a bug then. I have actually run
into a few programs that blow stack, perhaps this is the cause.

        John

-- 
John Meacham - ⑆repetae.net⑆john⑈