web-dev-qa-db-ja.com

GHC-modは型にフルネームを使用する必要がありますか？

タイプ/構文チェックなどを行うために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: containers-0.5.6.2:Data.Map.Base.Map
||                  [GHC.Types.Char]
||                  ([(integer-gmp-1.0.0.0:GHC.Integer.Type.Integer,
||                     integer-gmp-1.0.0.0:GHC.Integer.Type.Integer)],
||                   containers-0.5.6.2:Data.Set.Base.Set
||                     integer-gmp-1.0.0.0:GHC.Integer.Type.Integer)
||   Actual type: containers-0.5.6.2:Data.Map.Base.Map
||                  Data.Text.Internal.Text
||                  ([(integer-gmp-1.0.0.0:GHC.Integer.Type.Integer,
||                     integer-gmp-1.0.0.0:GHC.Integer.Type.Integer)],
||                   containers-0.5.6.2:Data.Set.Base.Set
||                     integer-gmp-1.0.0.0:GHC.Integer.Type.Integer)
|| In the second argument of ‘containers-0.5.6.2:Data.Map.Base.map’, namely
||   ‘zippedMap’
|| In the second argument of ‘(GHC.Base.$)’, namely
||   ‘containers-0.5.6.2:Data.Map.Base.map
...

画面が乱雑になり、どこで問題が発生したのかを見つけるのが非常に困難です。比較として、これはghciを使用した同じファイルのエラーメッセージです。

test.hs:71:13:
    Couldn't match type ‘T.Text’ with ‘[Char]’
    Expected type: M.Map [Char] ([(Integer, Integer)], S.Set Integer)
      Actual type: M.Map T.Text ([(Integer, Integer)], S.Set Integer)
    In the second argument of ‘M.map’, namely ‘zippedMap’
    In the second argument of ‘($)’, namely
      ‘M.map
...

はるかにきれいです。 ghc-modに型の短い名前を使用させる方法はありますか？

haskellghcghc-mod
143
xzhu

次のように、ghc-modからghcに引数を渡すことができます。

$ ghc-mod lint *.hs -g -dsuppress-module-prefixes

これにより、引数-dsuppress-module-prefixesがghcに送信されます。

1
Kronos

-dsuppress-module-prefixes GHCオプションとして。ある時点で、名前のモジュール修飾子を取り除くのに役立ちました。

0
sergv