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 |