什么是正确的方法:重新加载和运行:main作为GHCi中的单个命令？

Question

有没有一种方法,以链:reload/:r沿:main在GHCI一个命令？

这里的目标是避免每次我在其他终端中更改某些内容时键入,而只是键入↑Enter.

Answer 1

:cmd似乎接受多行的字符串.因此,您可以执行以下命令.

:cmd return $ unlines [":reload",":main"]

你也可以添加以下代码 ~/.ghci

:def hoge const $ return $ unlines [":reload",":main"]

现在你可以:hoge在ghci中执行了