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 |