35

ファイルに対してGHCを呼び出すために、標準または巧妙なハックのいずれかで、タイプチェッカーのみを実行する方法はありますか？例えば

$ ghc --just-check-the-types x.hs
$

出力ファイル、.hiまたは.oなどはありません。GHCAPIを使用したくない/使用できない。ここでは、コマンドラインプログラムについて説明しています。

4

2 に答える 2

42

はどうですかghc -fno-code file.hs。他のファイルは生成されず、ファイルのタイプチェックが行われない場合はエラーが表示されます。

警告：これは、網羅的でないパターンの一致の分析を行わないため、これらの追加の有用な警告が必要な場合は、このオプションを単独で使用しないでください。

于 2012-09-11T16:24:05.563 に答える
11

ここにハックがあります：

crabgrass:~/programming% ghc test.hs -e 'return 0'

test.hs:1:7:
    No instance for (Num (a0 -> t0))
      arising from the literal `3'
    Possible fix: add an instance declaration for (Num (a0 -> t0))
    In the expression: 3
    In the expression: 3 4
    In an equation for `foo': foo = 3 4
zsh: exit 1     ghc test.hs -e 'return 0'
于 2012-09-11T16:23:42.647 に答える