#9318: Type error reported in wrong place with repeated type family expressions -------------------------------------+------------------------------------- Reporter: goldfire | Owner: simonpj Type: bug | Status: closed Priority: high | Milestone: 7.10.1 Component: Compiler | Version: 7.8.3 (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/T9318 | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by Herbert Valerio Riedel <hvr@…>): In [changeset:"888d75c80bf422cd4d67c44eadce7bdfe5133633/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="888d75c80bf422cd4d67c44eadce7bdfe5133633" Revert "Test Trac #9318" This reverts commit 5760eb598e0dfa451407195f15072204c15233ed because the very same test was already added via 5eebd990ea7a5bc1937657b101ae83475e20fc7a and is causing `./validate` to fail due to "framework failure". }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9318#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler