#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_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
