#12466: Typechecker regression: Inaccessible code in a type expected by the context -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.2.1 Component: Compiler (Type | Version: 8.1 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by ekmett): @Iceland_jack: That should complain. The only way for it to become solvable is for the user to supply an orphan instance. We could never supply any errors for unsatisfied instances if that worked. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12466#comment:32 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler