Haskell: GHCi 尽可能加载，而不是失败或错误

Question

在 Haskell 中，使用 GHCi 有一种方法可以加载如下所示的文件，让您可以测试具有绑定的方法。

用例： 尝试测试我的模块的一部分，同时拥有其余部分的框架代码。（至于没有 XY 问题）

module X (methodA, methodB, methodC) where

methodA :: String->String
methodA name = "Hello " ++ name

methodB :: Int -> String

methodC :: String -> String

这显然输出了正确的错误：The type signature for ‘methodB’ lacks an accompanying binding。例如，我想要类似于下面的东西来工作。

GHCi, version 8.0.1: http://www.haskell.org/ghc/  :? for help
Prelude> :l example.hs 
[1 of 1] Compiling X                ( example.hs, interpreted )

example.hs:6:1: error:
    The type signature for ‘methodB’ lacks an accompanying binding

example.hs:8:1: error:
    The type signature for ‘methodC’ lacks an accompanying binding
Failed, modules loaded: none.
Prelude> methodA "jamesmstone"

<interactive>:2:1: error:
    Variable not in scope: methodA :: [Char] -> t

Answer 1

只是给他们一个不起作用的绑定：

methodB = undefined
methodC = undefined

Answer 2

您可以使用 -fdefer-type-errors。这将向您发出有关类型错误的警告，但不会阻止您运行使用程序的其他类型正确的部分。

示例：

如果Program.hs包含：

foo :: Int
foo = 'a'

main = putStrLn "Hello, world"

然后使用 -fdefer-type-errors 你仍然可以加载并且运行 main:

$ ghci -fdefer-type-errors Program.hs
GHCi, version 7.10.2: http://www.haskell.org/ghc/  :? for help
[1 of 1] Compiling Main             ( Program.hs, interpreted )

Program.hs:5:7: Warning:
    Couldn't match expected type ‘Int’ with actual type ‘Char’
    In the expression: 'a'
    In an equation for ‘foo’: foo = 'a'
Ok, modules loaded: Main.
*Main> main
Hello, world
*Main>

Haskell: GHCi 尽可能加载，而不是失败或错误

Haskell: GHCi Load as much as possible, rather than fail or error

haskell

ghci