Jak zdefiniować wiele typów bloków komentarzy w Parserze

Question

Próbuję nauczyć się używać Parsec do pisania parsera Delphi, ale utknąłem w definiowaniu LanguageDef. W przypadku Delphi istnieją dwa typy bloków komentarzy: (* comments *) i { comments }. Ale typy commentStart & commentEnd z LanguageDef są ciągami, a nie [String], więc mogłem umieścić tylko jeden lub drugi.

Tak więc, próbowałem stworzyć własny parser WhiteSpace, ale nie jestem pewien czy mógłbym go przekazać pod makeTokenParser.

Każda pomoc zostanie doceniona.

Dzięki

---

John i Chris pomogły mi zrozumieć i ominąć ten problem, ale rozwiązanie polega na zastąpieniu ogromną liczbę parserami że makeTokenParser dostarcza, więc nie jest to dokładnie to pożądane.

Będę pisać ponownie, gdybym mógł znaleźć lepsze rozwiązanie.

Answer 1

Moje czytanie pliku Text.ParserCombinators.Parsec.Language polega na tym, że nie można tego zrobić bezpośrednio za pomocą LanguageDef.

Wierzę, że jesteś na dobrej drodze do napisania własnego parsera whiteSpace. Aby pomyślnie z niego skorzystać, należy nadpisać analizator składni whiteSpace wygenerowany przez makeTokenParser. Numer TokenParser utworzony przez makeTokenParser jest rekordem dla każdego pola zawierającego analizator składni. Możemy utworzyć nową kopię zapisu z jednego z tych pól otrzymuje brzmienie:

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