compiler (simplifier) loops

[Iavor Diatchki]

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