Método preferido para ver el código generado por la plantilla Haskell

Question

Como ya sabe, la plantilla Haskell se utiliza para generar diversos tipos de empalmes AST programáticamente en tiempo de compilación.

Sin embargo, un empalme a menudo puede ser muy opaco, y a menudo es difícil discernir lo que realmente genera un empalme. Si ejecuta la mónada Q para un empalme, y el empalme está bien tipado, obtendrá una representación capaz show de la pieza generada de AST, pero esta representación puede ser muy difícil de entender, debido a su diseño no estructurado.

¿Cuál es el método preferido para convertir una pieza de AST generada por TH en algo similar al código Haskell normal, para que el código pueda leerse y entenderse fácilmente? ¿Se puede reconstruir el código fuente de, p. un valor dado Dec? ¿Hay que leer el código GHC Core? ¿Hay alguna forma de estructurar al menos el AST para que sea más legible (más allá de lo que, por ejemplo, el paquete pretty-show)?

Answer 1

Usted puede ser capaz de utilizar pprint o ppr de Language.Haskell.TH.Ppr (importado de forma automática con Language.Haskell.TH):

GHCi> expr <- runQ [| \f g x -> f (x*2 + 3) . g |] 
GHCi> putStrLn $ pprint expr 
\f_0 g_1 x_2 -> f_0 ((x_2 GHC.Num.* 2) GHC.Num.+ 3) GHC.Base.. g_1 

No es bonito, pero es Haskell válida. Debería poder hacer que la salida sea más agradable eliminando los prefijos de los módulos de los nombres de los Preludios (aunque es posible que tenga que tener cuidado de solo quitar el prefijo esperado; Foo.* es un operador infijo perfectamente válido, después de todo).

Answer 2

¿Está buscando la bandera -ddump-splices para el compilador?

Answer 3

Como complemento a ehird answer:

Tenga en cuenta que el uso de runQ directamente de GHCi en general podría no funcionar (por ejemplo los generadores TH .: reify que utilizan operaciones, cf. comments above the runQ declaration).

Cuando eso falla, puede pprint (o show), transformar introducción de una expresión de cadena stringE luego empalmar como argumento para putStrLn:

> putStrLn $(stringE . pprint =<< [| \f g x -> f (x*2 + 3) . g |]) 
\f_0 g_1 x_2 -> f_0 ((x_2 GHC.Num.* 2) GHC.Num.+ 3) GHC.Base.. g_1