6

新規の質問で申し訳ありませんが、OCaml を使い始めたばかりで、オートコンプリートを使用する方法が見つかりませんでした。

utop で何かを入力し始めると、シェルの下部に選択肢のリストが表示されます。有効な選択肢が 1 つしかない場合は、TAB を押すと、書いている内容がオートコンプリートされます。しかし、複数の有効な選択肢があり、必要なものを見つけた場合、それを選択する方法が見つかりませんでした (書き続ける以外に)。

たとえば（インポートしたと仮定してCore.Std）次のように入力します

Float.of

最初の提案はFloat.of_float、2 番目の提案は ですFloat.of_int。2番目のものを選択するにはどうすればよいですか?

4

1 に答える 1

10

utop のREADMEを引用するには:

utop は、プロンプトの後にバーを表示します。これは、可能な補完をリアルタイムで表示するために使用されます。M-left と M-right を使用してナビゲートし、M-tab を使用して 1 つの補完を選択できます。M はメタ キーを表し、ほとんどの場合 Alt です。

したがって、 を使用して補完をナビゲートできますAlt。

ユートップを楽しもう！

編集：

端末によっては、常に機能するとAltは限りません。Escただし、適切なキーを入力すると機能します。

~/.lambda-term-inputrcまた、バインディングはファイルを介して簡単に再バインドできます。こちらを参照してください。

于 2015-02-23T10:29:49.297 に答える