Template Haskell should turn off RebindableSyntax in quotes

If I say

{-# LANGUAGE RebindableSyntax, TemplateHaskellQuotes #-}

module Bug ( quote ) where

quote = [| if 5>3 then 'x' else 'y' |]

GHC complains that ifThenElse and fromInteger are not in scope. If I then bring these into scope somehow, then the resulting quote does not use them.

I think it's correct that the resulting quote doesn't use the rebindable syntax -- a quote should just stand for a convenient way or writing the TH AST. But then we shouldn't complain about missing rebindable syntax bits inside of a quote.

Trac metadata

Trac field	Value
Version	8.4.3
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Template Haskell
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture