#1495: newtype fixpoint 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 | Resolution:
Keywords: | Difficulty: Unknown
Os: Windows | Testcase:
Architecture: x86 |
-------------------------+--------------------------------------------------
Comment (by guest):
That's possible, although I suspect not; that bug refers specifically to
the inliner (which I assume means function inlining), whereas with this
bug there's no inlining to do; {{{testInfiniteLoop = undefined}}}.
(code from that page for comparison)
{{{
data U = MkU (U -> Bool)
russel :: U -> Bool
russel u@(MkU p) = not $ p u
x :: Bool
x = russel (MkU russel)
}}}
--
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
