#15546: Display coaxiom branch incompatibilities in GHCi -------------------------------------+------------------------------------- Reporter: mniip | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: 8.6.1 Component: GHCi | Version: 8.4.3 Resolution: | Keywords: TypeFamilies, | GHCi Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj):
How about -fprint-axiom-incomps?
Fine. When you say "more important to see" are you speaking about users or implementors? If the former, can you explain why they need to see this? They are just thinking "pick the first match" aren't they? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15546#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler