#8221: Type checker hangs ----------------------------------------------+--------------------------- Reporter: maxs | Owner: dreixel Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: hangs Operating System: Unknown/Multiple | Architecture: arm Type of failure: GHC rejects valid program | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------------------+--------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:4db3679cc36f346f44d84d8b1a8ad2d43f4b47e3/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="4db3679cc36f346f44d84d8b1a8ad2d43f4b47e3" Put the interface-file typechecking of IfUnpackCo inside forkM Now that IfBangs can contain coercions, which can mention the very type being typechecked, the tc_strict call must be inside forkM. This led to Trac #8221 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8221#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler