問題タブ [tuareg]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票する
3 に答える
2644 参照

emacs - Emacs for OCamlをダウンロードしてインストールする方法は?

この質問をするのが遅れているように感じますが、私はしばらくの間壁に頭をぶつけてきました...

このディレクトリは、emacsを入手するためのWebサイトhttp://ftp.gnu.org/pub/gnu/emacs/によってリンクされています。どのファイルが欲しいですか?ダウンロードemacs-23.1.tar.gzして解凍しましたが、どうしたらいいかわかりません。実行するファイルが見つかりません。

(私はVistaを実行しています。)

そして、OCamlでトゥアレグモードを使いたいです。ヘルプ?

0 投票する
2 に答える
820 参照

ocaml - Ocaml:エラー-この式はタイプxですが、タイプxで使用されます

これは私のエラーです:

これを引き起こすために何が起こっている可能性がありますか?私はemacstuaregを使用しており、評価ファイルを1つずつ読み込んでいます。これが発生する場合と発生しない場合があります。

0 投票する
4 に答える
1723 参照

emacs - OCaml Emacs Tuareg: 句のキーボード ショートカットを評価し、実際のギリシャ記号を表示する方法は?

Emacs Tuareg for OCaml に関する 2 つの質問:

  1. ' の代わりにアルファ記号を表示する構成を見たことがあります。これを有効にするにはどうすればよいですか?

  2. 「フレーズの評価」または「バッファの評価」のキーボード ショートカットは何ですか?

0 投票する
3 に答える
394 参照

emacs - tuareg-mode emacsで注釈ファイルへのカスタムパスを指定するにはどうすればよいですか?

emacsでtuareg-modeを使用するときにannotファイルへのパスを指定する方法はありますか?関数のタイプを調べようとしていますが、モードで「注釈ファイルではありません」というメッセージが表示されます。

私のビルド構造は次のとおりです。

0 投票する
1 に答える
356 参照

ocaml - tuaregモードのCcCeコマンドでこのOCaml行を評価できないのはなぜですか?

背景:私はEmacs 23.3、OCaml 3.12.0、tuareg1.45.7を使用しています。

私はHickeyOCamlの本を見ていて、pgで例を実行しようとしています。本の157、.pdfの167。式で問題が発生します

これをtuaregモードでemacsバッファーに入力し、を使用して評価しようとするとC-c C-e、camlトップレベルで次のエラーが発生します。

トップレベルに送信されたコマンドにファイナルaが表示されないことに注意してください。線をトップレベルに直接入力すると、問題なく機能します。

だから私の質問は:なぜこれが機能しないのですか、そしてどうすればそれを修正できますか?tuaregを更新することはオプションではないようです。tuaregバージョン2.0を使用しようとしましたが、正しくロードされません。

更新:これは、12/8/12の時点でtuaregSVNトランクで修正されました。彼らが修正でリリースを更新したとは思わないが、あなたは匿名でトランクをつかむことができる

開発バージョンとリリースバージョンに関する通常の警告を念頭に置いてください。

0 投票する
1 に答える
450 参照

emacs - 私の ocaml プログラムに型注釈を付ける方法についての素朴な質問です。emacsで

ocaml prog にアノテーションを付けることができると聞きました。それらのタイプによって。フォーラムの古いスレッドでは、 http: //cristal.inria.fr/~remy/poly/emacs/index.html の ocaml モードを使用することが提案されました。

私はトゥアレグ モードを使用してきました。このモードでは、「cc ct」を使用して型を取得することが提案されています。tuareg.el のこのコード

すべてが適切に構成されているように見えますが、「cc ct」が未定義になりました。

ここに.emacsファイルがあります

caml-mode のファイル (ocaml.el を含む) は次のとおりです。

私は次のことをしました

--階乗関数を書きます。「annot.ml」と呼ばれるocamlで

--ocamlc -annot annot.ml

-- emacs で annot.ml を開き、カーソルが "n" の下にある間に "cc ct" を押します。

emacsのミニバッファに入りました

結論として、私はまだタイプを取得できません。どうして???アイデアありがとうございます。

詳細: Mx caml-[tab] を試すと、caml-types-show-types を含まない次のリストが表示されます

0 投票する
1 に答える
379 参照

emacs - Emacs の caml-mode で tuareg のフォントを使うことはできますか?

"if"</a>のインデントは、caml-modeEmacs で使用する必要があります。

しかし、 のフォントtuaregは よりもカラフルであることがわかったので、caml-fontのフォントを で使用できるかどうかを質問tuaregcaml-modeます。

また、必要な現在の.emacsではcaml-font.mlファイルを開くと、一部の行 (特にファイルの先頭) が強調表示されません。それらの行に移動して変更すると、色が変わります。誰かがその問題を解決する方法を教えてもらえますか?

また、 と のフォント以外に、ocaml プログラムが推奨するより良いフォントがいくつかtuaregありcaml-fontますか?

どうもありがとうございました!

0 投票する
3 に答える
3054 参照

emacs - Ocaml - Emacs トゥアレグモード

ocaml プログラミングのために、emacs で tuareg モードを使い始めました。それで、それを使用する主な利点は何ですか?誰かが私にそのためのチュートリアルを提案できますか?

0 投票する
1 に答える
1401 参照

emacs - OCamlのemacsカラーテーマ

OCaml コードを編集するために tuareg モードでコンソール emacs を使用しています。構文の強調表示には color-theme パッケージを使用しており、しばらくの間 jsc-dark color テーマに落ち着いています。悲しいことに、私の OCaml 編集経験の結果は平凡です (ほとんどの構文要素は黄色っぽくレンダリングされます)。私が試した他のカラーテーマでも同様の結果が得られました (実際に時間をかけてすべてを試してみました)。OCaml言語のさまざまな部分をレンダリングするために、はるかに多彩なパレットを使用するemacsのスクリーンショットをWebで見たことがあります。コンソール emacs に提案する、より良いテーマまたは OCaml 構文ハイライト ソリューションを持っている人はいますか? (X ではない)。

0 投票する
1 に答える
2027 参照

emacs - Tuareg モードと Caml モード

私は現在 tuareg-mode を使用していますが、caml-mode の機能も使用できるようにしたいと考えています。特に、型注釈をインタラクティブに使用できるようにしたいのですが、明らかにこれは caml 型で発生します。http://cristal.inria.fr/~remy/poly/emacs/index.htmlを .emacs.d に入れてみましたが、これら 2 つのモードがどのように、または連携できるかについて混乱しています。実際、caml-mode をまったく動作させることができません。

init.el に次の行があります。

しかし、ファイルはロードされません。少なくとも、関数定義やキーバインドはロードされません。これらの emacs プラグインがどのように機能するかを理解し始めたと本当に思っていましたが、不思議に思っています。多分誰かが他に何が起こる必要があるかを説明できますか?

編集:これが機能するために必要であることに気づきませんでしたrequire 'camlhttp://caml.inria.fr/svn/ocaml/branches/gadts/emacs/のcamlタイプがありますが、注釈は機能していないようです。でコンパイルしまし-annotたが、まだ注釈ファイルがないと言われています。