#8392: Suggest AllowAmbiguousTypes --------------------------------------------+------------------------------ Reporter: rwbarton | Owner: simonpj Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:43856a003c9abb1bf8bf1822e6e7f5781b16ac4d/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="43856a003c9abb1bf8bf1822e6e7f5781b16ac4d" Improve -XAllowAmbiguousTypes (Trac #8392) * Add a suggestion to add AllowAmbiguousTypes when there is an ambiguity error * Move some of the logic to tcSimplifyAmbiguityCheck * Report inaccessible code regardless of the ambiguity check }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8392#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler