#7967: With dependent types, error reported in seemingly unrelated function ----------------------------------------------+----------------------------- Reporter: goldfire | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: fixed | Keywords: DataKinds, GADTs Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: indexed_types/should_fail/T7967 | Blockedby: Blocking: | Related: ----------------------------------------------+----------------------------- Changes (by simonpj): * status: new => closed * difficulty: => Unknown * resolution: => fixed * testcase: => indexed_types/should_fail/T7967 Comment: Thank you for reporting this. It exposed one real bug, and one opportunity for improvement. Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7967#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler