[GHC] #1495: newtype fix sends the compiler into an infinite loop

[GHC]

#1495: newtype fix sends the compiler into an infinite loop
-----------------------+----------------------------------------------------
  Reporter:  guest     |          Owner:         
      Type:  bug       |         Status:  new    
  Priority:  normal    |      Milestone:         
 Component:  Compiler  |        Version:  6.6.1  
  Severity:  minor     |       Keywords:         
Difficulty:  Unknown   |             Os:  Windows
  Testcase:            |   Architecture:  x86    
-----------------------+----------------------------------------------------
I was playing around with some edge cases in the type system and hit an
 infinite loop compiling the following program:

 {{{
 module CompilerBug where

 newtype Fix a = Fix (a (Fix a))
 data ID a = ID a
 newtype I a = I a

 testOk :: Fix ID
 testOk = undefined

 -- this definition causes the compiler to fail to terminate
 testInfiniteLoop :: Fix I
 testInfiniteLoop = undefined
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1495>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
-------------- next part --------------
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs