Espacio en blanco personalizado con Haskell Parsec

Question

Me gustaría utilizar el makeTokenParser de Parsec para construir mi analizador, pero quiero usar mi propia definición de whiteSpace. Hacer lo siguiente reemplaza whiteSpace con mi definición, pero todos los analizadores lexeme todavía usan la definición anterior (por ejemplo, P.identifier lexer usará el viejo whiteSpace).

... 
lexer :: P.TokenParser() 
lexer  = l { P.whiteSpace = myWhiteSpace } 
    where l = P.makeTokenParser myLanguageDef 
... 

Mirando el código para makeTokenParser creo que entiendo por qué funciona de esta manera. Quiero saber si hay alguna solución alternativa para evitar duplicar por completo el código de makeTokenParser?

Answer 1

Lamentablemente, no creo que haya una manera. Las definiciones locales utilizadas en makeTokenParser se refieren recíprocamente a sí mismas y, como ha notado, lexeme usa whiteSpace como se define allí, en lugar del miembro de registro whiteSpace que reemplaza en su objeto lexer.

El código es burlón porque utiliza los mismos nombres que las funciones locales en makeTokenParser y como miembros de registro del constructor TokenParser. De hecho, son entidades totalmente distintas.