[英]How to edit prior line in ghci's multi-line mode?
使用ghci
,我有时会使用多行模式输入定义(如交互式评估文档中所述 )。
例如,
> :{
Prelude| sumToN :: (Eq a, Num a) => a -> a
Prelude| sumToN n
Prelude| | signum n /= 1 = 0
Prelude| | otherwise = 1 + sumToN (n-1)
Prelude| :}
>
当使用这种多线输入模式时,我偶尔会发现我在前一行的输入中出错了。 例如,在这段代码中我偶然输入了A
而不是a
。
> :{
Prelude| sumToN :: (Eq a, Num a) => a -> A
Prelude|
要纠正错误,我需要编辑前一行。 但是,我找不到任何方法可以返回并编辑上一行。 相反,I ^C
退出多线模式并重新开始,必要时重复,直到我逐行输入整个定义而没有错误。
有没有办法在ghci
的多行模式中编辑前一行而不必再次键入所有行?
GHCi使用Haskeline ,它只能在每行的基础上工作(并且不像GNU Bash那样提供Cx Ce
)。 从本质上讲,GHCi只是通过一个使用Haskeline的getInputLine
的行队列来工作。
所以:{
和:}
只接受你的代码,在你的行之间添加"\\n"
,然后“通过解释器运行它”。 遗憾的是,您无法编辑行缓冲区。 你所能做的就是用Cc
丢弃这些线,然后再试一次。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.