Modificación de la impresora bonita de haskell-src-exts

Question

El paquete haskell-src-exts tiene funciones para imprimir bastante un Haskell AST. Lo que quiero hacer es cambiar su comportamiento en ciertos constructores, en mi caso la forma en que se imprimen los pragmas de SCC. Entonces, todo lo demás debe imprimirse de la manera predeterminada, solo los SCC se manejan de manera diferente. ¿Es posible hacerlo sin copiar el source file y editarlo, que es lo que estoy haciendo ahora?

Answer 1

Bueno, la biblioteca ha hecho una cosa bien, usando una clase de tipo para Pretty. El desafío entonces es cómo seleccionar una instancia diferente para los constructores que desea imprimir de manera diferente. Lo ideal sería que teclearas de nuevo el nodo AST que te interese y, de algún modo, lo sustituyeses en AST.

Ahora, el problema aquí es que el AST Haskell exportado por la biblioteca tiene su estructura de tipos fija. No es así, p. use two-level types, que le permitiría sustituir los nuevos tipos por partes del árbol. Entonces, debería redefinir el tipo de AST hasta el nodo donde desea cambiar el tipo de.