compiler (simplifier) loops

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               |
==================================================