[GHC] #7910: ConstraintKinds and reifyInstances

[GHC]

#7910: ConstraintKinds and reifyInstances
----------------------------------------+-----------------------------------
Reporter:  elliottt                     |          Owner:                                  
    Type:  bug                          |         Status:  new                             
Priority:  normal                       |      Component:  Compiler                        
 Version:  7.7                          |       Keywords:  ConstraintKinds, TemplateHaskell
      Os:  Unknown/Multiple             |   Architecture:  Unknown/Multiple                
 Failure:  Incorrect result at runtime  |      Blockedby:                                  
Blocking:                               |        Related:                                  
----------------------------------------+-----------------------------------

Comment(by simonpj@…):

 commit 672553ee9b995e2bc22e5c40c73189f85058bd00
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Wed May 15 14:13:51 2013 +0100

     Make reifyInstances expand type synonyms robustly (Trac #7910)

  compiler/typecheck/TcSplice.lhs |   55
 +++++++++++++++++----------------------
  1 files changed, 24 insertions(+), 31 deletions(-)
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7910#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler