compiler (simplifier) loops

[Simon Peyton-Jones]

A known infelicity; see the bottom of
	
http://www.haskell.org/ghc/docs/latest/html/users_guide/bugs.html


My hypothesis is that this only happens if you try to make it happen.
I've never found it happen in a real program.  Let me know if that's not
the case.

Simon

| -----Original Message-----
| From: glasgow-haskell-bugs-admin at haskell.org
[mailto:glasgow-haskell-bugs-admin at haskell.org] On
| Behalf Of Iavor Diatchki
| Sent: 06 August 2003 00:42
| To: glasgow-haskell-bugs at haskell.org
| Subject: 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               |
| ==================================================
| 
| _______________________________________________
| Glasgow-haskell-bugs mailing list
| Glasgow-haskell-bugs at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs