标签: tuareg

Ocaml - Emacs tuareg模式

我刚开始在emacs中使用tuareg模式进行ocaml编程.那么有人能告诉我使用它的主要优点是什么?有人可以建议我任何教程吗?

emacs ocaml tuareg

8
推荐指数
1
解决办法
2902
查看次数

图阿雷格模式和凸轮模式

我目前正在使用tuareg模式,但我希望能够使用caml-mode的功能.特别是我希望能够以交互方式使用类型注释,并且显然这与caml类型一起发生.我尝试将http://cristal.inria.fr/~remy/poly/emacs/index.html放在我的.emacs.d中,但我对这两种模式如何或如何协同工作感到困惑.事实上,我根本无法使用caml-mode工作.

我在init.el中有这一行:

(add-to-list 'load-path "~/.emacs.d/modes/caml")
Run Code Online (Sandbox Code Playgroud)

但是文件没有加载 - 至少没有函数定义或键绑定.我真的以为我开始意识到这些emacs插件是如何工作的,但我开始怀疑.也许有人可以解释还有什么需要发生?

编辑:我没有意识到我必须require 'caml为此工作.尽管我有来自http://caml.inria.fr/svn/ocaml/branches/gadts/emacs/的 caml-types,但注释似乎并没有起作用.我编译-annot但我仍然被告知没有注释文件.

emacs ocaml annotations tuareg

7
推荐指数
1
解决办法
1826
查看次数

Ocaml:错误 - 此表达式的类型为x,但与x类型一起使用

这是我的错误:

Error: This expression has type nfa but is here used with type nfa
Run Code Online (Sandbox Code Playgroud)

可能会发生什么导致这种情况?我正在使用emacs tuareg,并逐个加载评估文件.有时会发生这种情况,有时却不会发生.

ocaml tuareg

6
推荐指数
1
解决办法
791
查看次数

如何在tuareg-mode emacs中指定注释文件的自定义路径?

无论如何在emacs中使用tuareg-mode时指定annot文件的路径?我试图找出我的函数的类型,模式抱怨"不是注释文件".

我的构建结构是:

lib 
 obj
  *.o
  *.cmi
  *.cmx
  *.annot
 src
  *.ml
  *.mli
Run Code Online (Sandbox Code Playgroud)

emacs configuration ocaml tuareg

5
推荐指数
1
解决办法
360
查看次数

如何下载和安装Emacs for OCaml?

我觉得这个问题很迟钝,但我现在已经把头撞到了墙上一段时间了......

该目录由网站链接以获取emacs:http://ftp.gnu.org/pub/gnu/emacs/.我想要哪个文件?我下载emacs-23.1.tar.gz并解压缩了它,但我现在不知道该怎么做.我找不到要执行的任何文件.

(我正在运行Vista.)

然后我想使用OCarel的tuareg模式.救命?

emacs installation ocaml tuareg

4
推荐指数
1
解决办法
2594
查看次数

图阿雷格模式找不到ocaml?

我有关于emacs的tuareg模式.我在Mac OS上下载了ocaml 4.01.0并安装了它.

Maxs-MacBook-Pro:~ Max$ ocaml
        OCaml version 4.01.0

Maxs-MacBook-Pro:~ Max$ which ocamlrun
/usr/local/bin/ocamlrun
Run Code Online (Sandbox Code Playgroud)

在tuareg模式下,Cx Cb ocaml返回"正在搜索程序:没有这样的文件或目录,ocaml"

我需要做些什么来让ocaml与tuareg模式一起工作?

谢谢.

emacs ocaml tuareg

3
推荐指数
1
解决办法
662
查看次数

标签 统计

ocaml ×6

tuareg ×6

emacs ×5

annotations ×1

configuration ×1

installation ×1