#8141: Liberalising IncoherentInstances -------------------------------------+------------------------------------ Reporter: nomeata | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by simonpj): Thanks. But shouldn't there be some carefully-written text (along the lines of my email) in the overlapping-instances section of the manual? And likewise, the comments in `Note [Incoherent Instances]` currently cover only the narrow question of your email, not the broader issue of my original post. Could you combine the two. (Also the Note needs a cross- ref from `BasicTypes`.) Ta Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8141#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler