让GHC只键入检查?(Make GHC only type-check?)

2019-06-28 05:24发布

有没有一种方法,无论是标准,还是一个聪明的黑客,作出的一个文件调用GHC只能运行类型检查? 例如

$ 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'


文章来源: Make GHC only type-check?
标签: haskell ghc