hello,

the following program makes the compiler (version 6.0.1) loop.
the same seems to happen on 5.04.2.
when i run it with -v, it seems that it gets stuck in the simplifier.

> newtype T a = Close { open :: T a -> a }
>
> fix :: (a -> a) -> a
> fix f = s (Close s)
>  where s x = f (open x x)

also the flag:
-fmax-simplifier-iterations
is not recognized on 6.0.1

bye
iavor


-- ================================================== | Iavor S. Diatchki, Ph.D. student | | Department of Computer Science and Engineering | | School of OGI at OHSU | | http://www.cse.ogi.edu/~diatchki | ==================================================

_______________________________________________
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to