
#9432: IncoherentInstances are too restricted -------------------------------------+------------------------------------- Reporter: danilo2 | Owner: Type: bug | Status: new Priority: high | Milestone: Component: Compiler (Type | Version: 7.8.2 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #8141 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by diatchki): I am not sure I understand the issue here, could you provide an example using the new notation for incoherent and overlapping instances (i.e., where each instance is annotated individually, rather than having the global flag). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9432#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler