#14363: :type hangs on coerce -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Resolution: fixed | Keywords: Roles Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | typecheck/should_compile/T14363, | T14363a Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * testcase: => typecheck/should_compile/T14363, T14363a * resolution: => fixed Comment: My patch fixes the loop. The occurs-check problem was already fixed, perhaps by my `wc_insol` changes. I've added tests for both. Richard I'd appreciate a quick look at the patch, but I'm pretty confident (following our discussion) hence committing. Perhaps you can then close. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14363#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler