Re: [jhc] Loops.

On Thu, Mar 20, 2008 at 7:06 PM, Lemmih wrote:

On Thu, Mar 20, 2008 at 6:39 PM, John Meacham 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?

Sorry, I see that I wasn't clear. It blows the stack of jhc when compiling the program. -- Cheers, Lemmih