generare il codice finale dal modello di codice Haskell

Question

Problema

E 'possibile generare il codice Haskell "pura" di quella comprese le funzioni Template Haskell?

Desidero ottenere il codice in cui vengono espanse tutte le qutazioni e le giunzioni di Haskell Template? (Per alimentare in un altro compilatore Haskell (Haste), che non supporta ancora Template Haskell.)

Esempio

modulo TupleReplicate:

tupleReplicate n = do 
    id <- newName "x" 
    return $ LamE ([VarP id]) (TupE $ replicate n $ VarE id) 

principale:

main :: IO() 
main = do 
    print $(tupleReplicate 3) "x" 
    return() 

può essere esteso a:

main :: IO() 
main = do 
    print (\x->(x,x,x)) "x" 
    return() 

Answer 1

La soluzione con Template Haskell abbastanza stampante può essere trovato qui: Preferred method for viewing code generated by Template Haskell

Ci sono anche altri strumenti, come risposta ad una domanda qui: How to create a non-TH package from code generated using Template Haskell?

Il risultato di -ddump-splices non è sempre Haskell valida codice, è solo per il programmatore.

Answer 2

Il modo più semplice è compilare (o interpretare in GHCi) con -ddump-splices.