Cách xác định nhiều loại khối chú thích trong Parsec

Question

Tôi đang cố gắng tìm hiểu cách sử dụng Parsec để viết trình phân tích cú pháp Delphi, nhưng tôi gặp khó khăn khi xác định LanguageDef.

Trong Delphi, có hai loại khối nhận xét, (* comments *) và { comments }. Nhưng các loại bình luậnBắt đầu & nhận xétEnd của LanguageDef là String, không phải [String], vì vậy tôi chỉ có thể đặt trong một hoặc khác.

Vì vậy, tôi đã cố gắng tạo trình phân tích cú pháp không gian trắng của riêng mình, nhưng tôi không chắc chắn tôi có thể chuyển nó vào makeTokenParser hay không.

Mọi trợ giúp sẽ được đánh giá cao.

Cảm ơn

---

John và Chris đã giúp tôi hiểu và nhận được xung quanh vấn đề này, nhưng các giải pháp liên quan đến việc thay thế một số lượng lớn các phân tích cú pháp mà makeTokenParser cung cấp, vì vậy nó không chính xác mong muốn.

Tôi sẽ đăng lại nếu tôi có thể tìm được giải pháp tốt hơn.

Answer 1

Việc đọc tệp Text.ParserCombinators.Parsec.Language của tôi là điều này không thể thực hiện trực tiếp bằng cách sử dụng LanguageDef.

Tôi tin rằng bạn đang đi đúng hướng để viết trình phân tích cú pháp whiteSpace của riêng bạn. Để sử dụng thành công, bạn cần phải ghi đè trình phân tích cú pháp whiteSpace được tạo bởi makeTokenParser. TokenParser được tạo bởi makeTokenParser là một bản ghi với mỗi trường có chứa một trình phân tích cú pháp. Chúng ta có thể tạo ra một bản sao mới của kỷ lục với một trong những lĩnh vực thay thế như sau:

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