#9853: Stateful transformation causes non-termination in Hoopl analysis. -------------------------------------+------------------------------------- Reporter: | Owner: AndreasVoellmy | Status: new Type: bug | Milestone: Priority: normal | Version: 7.8.3 Component: | Keywords: libraries/hoopl | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: Incorrect | result at runtime | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by jstolarek): I've run into identical problem in the past: https://www.haskell.org/pipermail/ghc-devs/2013-August/001954.html Some of my earlier questions about Hoopl might also be relevant: https://www.haskell.org/pipermail/ghc-devs/2013-July/001777.html -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9853#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler