[ocaml] タグが付いた質問
3
未回答やベストアンサーなし質問
2
票
0
回答
153
閲覧数
ReasonMlでOCamlのライブラリを使いたい
https://reasonml.github.io/docs/en/installation
公式に従いreasonのプロジェクトを作成しました。
vscodeにて、reファイルでOCamlのライブラリを使おうとすると
Error: Unbound module ライブラリ名
と出ます。
mlファイルでは.merilinに"PKG ライブラリ名"を記入することでライブラリを使用できています。...
1
票
1
回答
137
閲覧数
Coqをopam経由でインストール
現在mac上でopam install coq を実行していて、errorは吐かれないのですが二時間待ってもmakeが完了していないようです。そこでお聞きしたいのですが通常Coqをinstallするにはどれくらいの時間がかかるのでしょうか? セットアップが間違っているのかcoqが大きすぎてmakeに時間がかかっているだけなのかはっきりさせたいです。以下実行の様子です。
$ opam list
...
1
票
0
回答
111
閲覧数
Int64.add等がUnbound valueになる
Int64モジュールのadd, sub, mul, divといった名前がUnbound valueになってしまうのですが、どうすれば使えるようになるでしょうか。
utop # Int64.add;;
Error: Unbound value Int64.add
ちなみに
Int64.zero, Int64.remなどは見えている
Int32でも同じ
という状況です。
...