#5751: code works in 7.0 but hangs in 7.2/7.4 due to changes in type checker
(most
likely)
-------------------------------+--------------------------------------------
Reporter: JeremyShaw | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.2.1
Keywords: | Os: Linux
Architecture: x86_64 (amd64) | Failure: Incorrect result at runtime
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
-------------------------------+--------------------------------------------
Comment(by JeremyShaw):
Also, changing the type signature of `web` to:
{{{
web :: IdentityT IO ()
}}}
Will cause the program to work correctly under GHC 7.4rc1.
In a more complex version of the test case, switching the order of
`Widgets` and `XMLGenerator` in the `web` also made it work. Though that
does not seem to happen in this particular test case.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5751#comment:4>
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
