[jhc] Loops.

Lemmih lemmih at gmail.com
Thu Mar 20 14:16:20 EDT 2008


On Thu, Mar 20, 2008 at 7:06 PM, Lemmih <lemmih at gmail.com> 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?

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


-- 
Cheers,
 Lemmih


More information about the jhc mailing list