#7220: Confusing error message in type checking related to type family, fundep, and higher-rank type -------------------------------------+------------------------------------- Reporter: tsuyoshi | Owner: simonpj Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.6.1-rc1 (Type checker) | Keywords: Resolution: fixed | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | typecheck/should_fail/T7220 | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"7b1a8562d9b92547251d0dff23bb3a2de25d4b6f/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="7b1a8562d9b92547251d0dff23bb3a2de25d4b6f" Fix up tests for Trac #7220; the old test really was ambiguous }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7220#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler