Giám sát hoạt động của GHC

Question

Nếu GHC mất nhiều thời gian để biên dịch một cái gì đó, có cách nào để tìm hiểu xem nó đang hoạt động không? Đầu tiên, nó sẽ là tốt đẹp để biết nếu tôi đã thực sự bị rơi trình biên dịch (tức là, đặt nó vào một số loại vòng lặp vô hạn bằng cách nào đó), hoặc cho dù nó thực sự tiến bộ, nhưng chỉ rất chậm.

Thứ hai, thật tuyệt khi biết chính xác phần nào của quá trình biên dịch GHC gặp sự cố. Đó có phải là phân tích cú pháp, hoặc loại bỏ, hoặc kiểm tra kiểu, hoặc tối ưu hóa hoặc tạo mã, hoặc ...?

Có cách nào để theo dõi những gì đang xảy ra không? (Lưu ý rằng nếu GHC mất nhiều thời gian, điều đó có thể có nghĩa là nó đang làm rất nhiều công việc, vì vậy nếu bạn yêu cầu quá nhiều đầu ra, nó sẽ là lớn!)

GHC đã cho bạn biết mô-đun nào nó đang cố gắng biên dịch lại. Trong trường hợp của tôi, vấn đề là một mô-đun độc lập. Tôi muốn biết GHC đang gặp khó khăn ở đâu.

Answer 1

Theo nhận xét của Daniel Fischer, tôi đã thử chạy GHC với các tùy chọn độ dài khác nhau.

• -v1: Sản xuất nhiều hơn một chút, nhưng không có gì trong bước biên dịch chính.
• -v2: Cho bạn biết bước GHC hiện đang thực hiện (trình phân tích cú pháp, desugar, kiểm tra loại, bộ mô phỏng, v.v ...). Điều này là khá nhiều những gì tôi thực sự muốn.
• -v3: Xuất hiện để làm cho simpli thực sự đổ những gì nó đang làm cho bàn điều khiển - ý tưởng tồi khi biên dịch 8MB mã nguồn!

Vì vậy, có vẻ như -v2 là nơi bắt đầu.

(Trong trường hợp cụ thể của chương trình đã thúc đẩy câu hỏi này, có vẻ như GHC đang dành mãi mãi trong giai đoạn kiểm tra kiểu.)