Panic when quoting a scoped type variable

[benmachine]

{-# LANGUAGE TemplateHaskell, ScopedTypeVariables #-}
module GetNameOfThing where

import Language.Haskell.TH

f :: a -> Name
f (x :: a) = ''a

ghc: panic! (the 'impossible' happened)
  (GHC version 7.2.2 for i386-unknown-linux):
	th_bracket a{tv ahF}

Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug

The function is probably nonsense, but the error message could be friendlier.

Tested on GHC 7.2.2.

[igloo]

Thanks for the report

[simonpj@…]

commit d2761231ceb8f4336d22464c9f00f1249b18ae86

Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Thu Dec 29 10:30:34 2011 +0000

    Fix Trac #5721; type variables can be quoted in TH

 compiler/typecheck/TcSplice.lhs |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

[simonpj]

Thanks!

[igloo]

Merged as a716bd4d080c0870a610683453200bdd073a00a1