Custom whiteSpace utilisant Haskell Parsec

Question

Je voudrais utiliser le makeTokenParser de Parsec pour construire mon analyseur, mais je veux utiliser ma propre définition de whiteSpace. Ce qui suit remplace whiteSpace par ma définition, mais tous les parseurs lexeme utilisent toujours l'ancienne définition (par exemple P.identifier lexer utilisera l'ancien whiteSpace).

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

En regardant le code pour makeTokenParser Je pense que je comprends pourquoi cela fonctionne de cette façon. Je veux savoir s'il existe des solutions de contournement pour éviter de dupliquer complètement le code pour makeTokenParser?

Answer 1

Malheureusement, je ne pense pas qu'il existe un moyen. Les définitions locales utilisées dans makeTokenParser se réfèrent récursivement à eux-mêmes, et ainsi, comme vous l'avez noté, lexeme utilise whiteSpace comme défini ici, plutôt que le membre d'enregistrement whiteSpace que vous remplacez dans votre objet lexer.

Le code est railleur car il utilise les mêmes noms que les deux fonctions locales dans makeTokenParser et comme membres d'enregistrement du constructeur TokenParser. Ce sont en fait des entités totalement distinctes.