TH scoping problem

[igloo]

In the HEAD, these modules:

module TH_scope where

import TH_scope_helper

x :: ()
x = ()
    where hold = $( wibble [d| hold :: ()
                               hold = () |] )

module TH_scope_helper where

import Language.Haskell.TH

wibble :: Q [Dec] -> Q Exp
wibble _ = [| 'a' |]

give:

TH_scope.hs:8:31:
    Misplaced type signature: hold :: ()
    The type signature must be given where `hold' is declared

Renaming the outer hold fixes it.

The 6.8 branch seems OK.

[simonpj]

I'm fixing this.

Simon

[simonpj]

Fixed by

Fri Apr  4 13:55:56 PDT 2008  simonpj@microsoft.com
  * Fix Trac #2188: scoping in TH declarations quotes

Simon

[igloo]

The 6.8 branch is already OK, so closing this bug.