#12386: Infinite loop when showing type family error -------------------------------------+------------------------------------- Reporter: elliottt | Owner: goldfire Type: bug | Status: closed Priority: highest | Milestone: 8.0.3 Component: Compiler (Type | Version: 8.0.1 checker) | Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Compile-time | Test Case: indexed- crash | types/should_fail/T12386 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonpj): * testcase: => indexed-types/should_fail/T12386 * status: new => closed * resolution: => fixed Comment: Fixed by {{{ commit 3f5673f34a2f761423027bf46f64f7499708725f Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Tue Sep 20 23:31:07 2016 +0100 A collection of type-inference refactorings. This patch does a raft of useful tidy-ups in the type checker. I've been meaning to do this for some time, and finally made time to do it en route to ICFP. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12386#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler