Cómo definir el tipo múltiple de bloque de comentarios en Parsec

Question

Estoy tratando de aprender a usar Parsec para escribir un analizador Delphi, pero me estoy atascado en la definición de LanguageDef.

En Delphi, hay dos tipos de bloques de comentarios, (* comments *) y { comments }. Pero los tipos de commentStart & commentEnd of LanguageDef son String, no [String], así que solo pude poner uno o el otro.

Así que traté de hacer mi propio analizador de whiteSpace, pero no estoy seguro de poder pasarlo al makeTokenParser.

Cualquier ayuda sería apreciada.

Gracias

---

John y Chris me han ayudado a entender y evitar el problema, pero la solución consiste en reemplazar un gran número de programas de análisis que makeTokenParser permita, por lo que no es exactamente deseable.

Volveré a publicar si pudiera encontrar una solución mejor.

Answer 1

Mi lectura del archivo Text.ParserCombinators.Parsec.Language es que esto no se puede hacer directamente usando un LanguageDef.

Creo que está en el camino correcto para escribir su propio analizador whiteSpace. Para utilizarlo con éxito, debe sobrescribir el analizador whiteSpace generado por makeTokenParser. El TokenParser creado por makeTokenParser es un registro con cada campo que contiene un analizador. Podemos crear una nueva copia del registro con uno de esos campos sustituye por el siguiente:

-- ask GCHi for the type actual type signature constraints 
-- Type sig is approx. fixWhiteSpace :: TokenParser -> Parser -> TokenParser 
fixWhiteSpace originalTokenParser myWhiteSpaceParser = 
    originalTokenParser {whiteSpace = myWhiteSpaceParser}