我試圖用ghc-mod VIM插件做類型/語法檢查等。但是,我發現,ghc-mod總是使用類型完整路徑的錯誤信息,例如: test.hs|71 col 13 error| Couldn't match type ‘Data.Text.Internal.Text’
|| with ‘[GHC.Types.Char]’
|| Expected type
標題幾乎說明了一切。我在尋找這樣的事情: f :: Int -> Bool -> Int
f = _body
巨靈可以使用定理證明被證明的類型是居住了這樣的功能生成代碼。 我想知道,有沒有一種現有的方法可以從Emacs中獲取此功能?所以,而不是在我的代碼中編寫TemplateHaskell,我只是在我的代碼上運行一個命令,它插入生成的代碼? 我已經安裝了ghc-mod,但我對它不是很熟悉。