Variablen in Vorlage Haskell benutzerdefinierte Quasiquoter

Question

Ein Beispiel sagt mehr als tausend Worte. Hier ist eine ziemlich einfache quasi quoter, die ich gerade erfunden habe.

import Language.Haskell.TH.Quote 
import Language.Haskell.TH.Syntax 

quoter :: QuasiQuoter 
quoter = QuasiQuoter { quotePat = parse } 
    where 
    parse :: String -> Q Pat 
    parse ('$':x) = pure (VarP (mkName x)) 
    parse "_" = pure WildP 
    parse _ = fail "Invalid pattern" 

Dann wird unter Verwendung es in GHCi

ghci> :set -XQuasiQuotes 
ghci> [quoter|_|] = 2 
ghci> [quoter|$x|] = 2 
ghci> x 
error: Variable not in scope: x 

Ich würde 2-x gebunden zu sein, gefallen. Also: Gibt es eine Möglichkeit, variable Muster in benutzerdefinierten Quasi-Anführungszeichen einzuführen, die wir wieder verwenden können? Beachten Sie, dass mein tatsächlicher Anwendungsfall ein bisschen mehr beteiligt ist als das oben genannte - parse tatsächlich einige wesentliche Arbeit.

EDIT

Die folgenden Werke:

ghci> inc [quoter|$x|] = x + 1 
ghci> inc 2 
3 

und die folgende nicht

ghci> let [quoter|$x|] = 1 in x 
error: Variable not in scope: x 

so ist dies ein Fehler in GHCi?

Answer 1

Dies ist jetzt in GHC 8.2 behoben (siehe this commit).