Voy a escribir un analizador de lenguaje verilog (o vhdl) y haré muchas manipulaciones (tipo de transformaciones) de los datos analizados. Tengo la intención de analizar archivos realmente grandes (diseños Verilog completos, tan grandes como 10K líneas) y, en última instancia, apoyaré a la mayoría de los Verilog. No me importa escribir, pero no quiero volver a escribir ninguna parte del código cada vez que agregué soporte para alguna otra regla.

En Haskell, ¿qué biblioteca recomendarías? Conozco a Haskell y he usado Happy antes (para jugar). Siento que hay posibilidades en el uso de Parsec para transformar la cadena analizada en el código (lo cual es una gran ventaja). No tengo experiencia con uu-paringlib.

Entonces, para analizar una gramática completa de verilog / VHDL, ¿cuál de ellos se recomienda? Mi principal preocupación es la facilidad y la "corrección" con la que puedo manipular los datos analizados a mi antojo. La velocidad no es una preocupación principal.