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

Question

有没有办法将:reload/:r与:main一起作为GHCi中的单个命令链接？

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

Answer 1

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

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

您也可以将以下代码添加到~/.ghci

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

现在您可以在ghci

中执行:hoge