utop

1熱

1答えて

utop：エラー：</p> <pre><code>#load "/home/xxx/.opam/system/lib/coq/grammar/grammar.cma";; </code></pre> <p>をが、エラーがあります：未定義のグローバル `文法」

への参照、私はコック文法の情報を確認したいので、私はutopにgrammar.cmaをロード Error: Reference to undefined global `Grammar' Coqのバージョン：8.5.0 OCamlのバージョン：4.02.3 utopバージョン：1.19

1熱

2答えて

ppxが動作するようにocamlinitを設定するにはどうすればよいですか？

これは私のocamlinitです：これにより (* Added by OPAM. *) let() = try Topdirs.dir_directory (Sys.getenv "OCAML_TOPLEVEL_PATH") with Not_found ->() ;; (* ## added by OPAM user-setup for ocamltop/base #

2熱

1答えて

OCamlのutop：外部モジュールのインポート

私は、プロジェクトのコンサルタントとしてパブリッシングライブラリAngstromを導入することに興味があります。次のように私はopamで私のシステムにオングストロームをインストール： $> opam install angstrom 私も成功しocamlfindを使用して問題のモジュールを参照して、プロジェクトをコンパイル：驚くべきことに $> ocamlbuild -use-ocamlfi

0熱

1答えて

utopでうまく値を表示

Haskellのghciは、Show typeclassを実装するタイプに属する値をうまく印刷できます。 utopが自動的にユーザ定義型の値をうまく印刷できるようにするOCamlには同等のものがありますか？あなたのタイプのためにあなたのモジュールで...

-1熱

1答えて

Githubからダウンロードしているにもかかわらず、OCaml [open Core.std]ライブラリにアクセスできない

私は教科書「Real World OCaml」でOCamlを学んでいます。私は継続的な問題に遭遇しています：私はJane StreetのOCaml標準ライブラリパッケージにアクセスできないようです。私はJane StreetのGithubページに行き、https://github.com/janestreet/coreからコアパッケージをダウンロードし、それを実行しました。しかし、私が入力した

0熱

1答えて

Unix_error（Ocaml）のパターンマッチングを試みるとエラーが発生しますか？

私はケースのためのパターンにしようとしてきた無効なディレクトリ内のユーザーのタイプ： # let dir = Unix.opendir "adfalf";; Exception: Unix.Unix_error (Unix.ENOENT, "opendir", "adfalf"). My機能は次のとおりです。私はコンパイルエラーを得続ける除き let files_of_dir d =

1熱

1答えて

utopをローカルocamlビルドで使用しますか？

ocaml 4.04.0のカスタムバージョンをコンパイルしました（誰かが書いたものです）。私はそれを実行し、rlwrapとleditを使ってそれと対話することができますが、私はむしろutopで実行します。（私はオートコンプリートを必要としません;コマンド編集はrlwrapやleditよりutopでうまくいきます。）opam switchを使って設定されたocamlのバージョンを実行するので、ut

1熱

1答えて

私は<code>utop</code>でファイル<code>extLib.cma</code>をロードしようとすると、トップレベル

から「extLib.cma」をロードできないOCamlで、OCamlでのトップレベルは、私は次のエラーを取得する：しかし Cannot find file extLib.cma 、私はそれをインストールしようとした場合オペアムを使用して、私は次の注記を得ます： Package extlib is already installed. 私は間違っていますか？

2熱

1答えて

ocaml utopで履歴リストを印刷する

bashからhistoryを呼び出すのと同じように、履歴リストをutopで印刷する方法はありますか？私はemacsでutop-modeに関連付けられた履歴リングも見つけていません。私は歴史をヒッピーにしてREPLに反して展開しようとしています。 Utopは、history-prevとhistory-next（utop.el）のようなコマンドに応答するようですが、これはすべて私が見つけたものです。

2熱

1答えて

OPAMとOCamlのインストール

私はセットアップ私のOCamlの環境を設定するいくつかの問題を抱えている、とこのページを以下の午前： https://github.com/realworldocaml/book/wiki/Installation-Instructions しかし、私は解決できないいくつかの問題を抱えています。私はMacOS 10.12.5で、zshを使っています。エラーまたは警告なしでBREWをインストールし