#7910: ConstraintKinds and reifyInstances ------------------------------------------+--------------------------------- Reporter: elliottt | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: fixed | Keywords: ConstraintKinds, TemplateHaskell Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Incorrect result at runtime | Difficulty: Unknown Testcase: th/T7901 | Blockedby: Blocking: | Related: ------------------------------------------+--------------------------------- Changes (by simonpj): * status: new => closed * difficulty: => Unknown * resolution: => fixed * testcase: => th/T7901 Comment: Good point thank you! There's a slight question about the "right" behaviour here (i.e. maybe you *really* want to look up instances for D), but I think you are right that the more permissive behaviour is more convenient and useful. So I've done that. Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7910#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler