Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
如何关闭 ghc-mod 中警告的突出显示？更具体地说，我希望能够按警告类型切换警告。