Question

有没有办法，无论是标准的还是聪明的黑客，在文件上调用GHC只运行类型检查器？ E.g。

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

没有输出文件，没有.hi或.o等。不想/不能使用GHC API。这里只谈论命令行程序。

Answer 1

ghc -fno-code file.hs怎么样？它不会生成其他文件，如果您的文件没有进行类型检查，则会显示错误。

警告：这将不对详尽模式匹配进行分析，因此如果您需要其他有用的警告，请不要单独使用此选项。

Answer 2

这是一个黑客：

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'

让GHC只进行型式检查？

2 个答案: