#2665: Compiler hangs
---------------------------------+------------------------------------------
Reporter: rolyp | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.8.2
Severity: normal | Resolution:
Keywords: | Testcase:
Architecture: Unknown/Multiple | Os: Unknown/Multiple
---------------------------------+------------------------------------------
Comment (by NeilMitchell):
It doesn't look like a case of the inliner bug - your data type is not of
the right form. Using GHC 6.9 I get the error:
{{{
hang.hs:7:20:
Couldn't match expected type `a1' against inferred type `f a'
`a1' is a rigid type variable bound by
the type signature for `row' at hang.hs:6:7
In the first argument of `iterate', namely `(fmap id)'
In the first argument of `U', namely `(iterate (fmap id) u)'
In the expression: U (iterate (fmap id) u) (iterate (fmap id) u)
}}}
So your code has a type error, and whatever bug GHC was exhibiting has
since been fixed.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2665#comment:1>
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
