簡體   English   中英

utop中的自動完成

[英]Autocompletion in utop

我很抱歉這個新問題,但我剛開始使用OCaml而且我找不到如何使用utop自動完成功能。

當我開始在utop中輸入內容時,我會在shell的底部看到一個選項列表。 如果只有一個有效選項,按TAB將自動完成我正在寫的內容。 但是如果有多個有效的選擇,並且我發現了我想要的那個,我還沒有找到一種方法來選擇它(除了繼續寫作)。

例如(假設我已導入Core.Std )我輸入

Float.of

第一個建議是Float.of_float ,第二個建議是Float.of_int 如何選擇第二個?

引用utop的自述文件

utop在提示后顯示一個條,用於實時顯示可能的完成情況。 您可以使用M-left和M-right在其中導航,並使用M-tab選擇一個完成。 M表示元鍵,大部分時間是Alt。

因此,您可以使用Alt導航完成。

與utop玩得開心!

編輯:

似乎Alt並不總是有效,具體取決於終端。 然而,鍵入Esc然后好的鍵可以工作。

此外,綁定可以通過~/.lambda-term-inputrc文件輕松重新綁定,請參見此處

暫無
暫無

聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.

 
粵ICP備18138465號  © 2020-2024 STACKOOM.COM