WhiteSpace personalizzato utilizzando Haskell Parsec

Question

Vorrei utilizzare Parsec makeTokenParser per generare il mio parser, ma voglio utilizzare la mia definizione di whiteSpace. La seguente sostituzione sostituisce whiteSpace con la mia definizione, ma tutti i parser lexeme utilizzano ancora la vecchia definizione (ad esempio, P.identifier lexer utilizzerà il vecchio whiteSpace).

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

Guardando il codice per makeTokenParser credo di capire perché funziona in questo modo. Voglio sapere se esistono soluzioni alternative per evitare la duplicazione completa del codice per makeTokenParser?

Answer 1

Purtroppo, non penso ci sia un modo. Le definizioni locali utilizzate in makeTokenParser si riferiscono in modo ricorsivo a se stesse e pertanto, come hai notato, lexeme utilizza whiteSpace come definito qui, anziché il membro record whiteSpace da sostituire nell'oggetto lexer.

Il codice è beffardo perché utilizza lo stesso nome di entrambe le funzioni locali in makeTokenParser e come membri record del costruttore TokenParser. Sono in realtà entità completamente distinte.