lemmih at gmail.com
Thu Mar 20 14:06:55 EDT 2008
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?
More information about the jhc