#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@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