OCaml :异常问题
OCaml是一种功能强大的多范式编程语言，它结合了函数式编程和命令式编程的特性。在OCaml中，异常是一种用于处理错误和异常情况的机制。
异常问题是指在程序执行过程中可能出现的错误或异常情况。OCaml提供了异常处理机制，使开发人员能够捕获和处理这些异常，从而保证程序的稳定性和可靠性。
在OCaml中，异常是通过try...with语句来捕获和处理的。try...with语句包含一个可能引发异常的代码块，以及一个用于处理异常的代码块。当异常发生时，程序会跳转到with后面的代码块，并执行相应的处理逻辑。
OCaml中的异常可以通过raise语句来抛出。开发人员可以自定义异常类型，并使用raise语句将异常抛出。抛出的异常可以是预定义的异常类型，也可以是自定义的异常类型。
异常处理是一种良好的编程实践，它可以提高程序的健壮性和容错性。在处理异常时，开发人员可以根据具体情况选择恢复程序执行、重新抛出异常或者终止程序运行。
在使用OCaml进行异常处理时，可以结合使用OCaml的模式匹配和异常过滤器来对不同类型的异常进行不同的处理。这样可以使异常处理代码更加清晰和易于维护。
对于OCaml开发者来说，熟悉异常处理机制是非常重要的。它可以帮助开发人员更好地理解和处理程序中可能出现的错误和异常情况，提高程序的可靠性和稳定性。
腾讯云提供了一系列与云计算相关的产品和服务，其中包括云服务器、云数据库、云存储等。这些产品可以帮助开发人员在云环境中构建和部署OCaml应用程序。具体的产品介绍和相关链接可以在腾讯云官方网站上找到。
相关·内容
2回答
我在OCaml中编写了一个简单的非负数Fibonacci函数，如果传入一个负数，就会引发异常。
let rec fib (n:int) : int =
match n with
| a when a < 0 -> invalid arg ("Positive numbers only")
| i when i < 2 -> n
| _ -> fib (n - 1) + fib(n - 2)
let _ = assert (fib(-1))
该函数非常初级(这是我的第一个OCaml程序)，但我的问题是测试在执行fib(-1)时是
浏览 1提问于2015-09-13得票数 2
回答已采纳
我正在编写一些OCaml代码，我想定义一个复合异常类型，如下所示：
type exceptbase = string * string
exception UndefinedTyp of exceptbase
我希望这种例外的第一个元素是。但是，当我在下面使用一些异常处理代码时，无法编译它。
raise UndefinedTyp (__LOC__, "some exception messages")
以下是我的问题：
如何正确定义这种复合异常类型？
请注意，由于第一个元素是始终是的__LOC__，有什么方法可以节省精力并使用__LOC__预先占用第一个元素吗？
浏览 2提问于2016-09-11得票数 1
回答已采纳
3回答
我经常读到异常有点慢，如果性能有问题应该避免(例如，在Java、F#等中)。这是否适用于Hashtbl.find等常见的OCaml函数，它们会为未找到的元素返回异常？
特别是，如果我希望我的应用程序高效，我是否应该在调用Hashtbl.find之前总是使用例如Hashtable.mem测试元素成员资格？或者，mem函数的额外比较会对性能产生负面影响吗？
浏览 4提问于2012-08-28得票数 13
回答已采纳
1回答
我需要创建一个在某些情况下生成异常的函数，但是我需要它来使用try catch生成一个特定的错误。它使用以下功能：
let lookup (x,evn) = match listAssoc(x,evn) with
|Some Int v ->Int v
| None -> raise (MLFailure "variable not found")
;;
let arithmetic (x,y,z) = match (x,y,z) with
| (Int a, Int b, Plus)-> Int (a+b)
| (Int a, Int b,Minus)
浏览 1提问于2015-11-15得票数 0
在Toplevel中，如何打开异常的堆栈跟踪？
简单的问题，不知道如何问更多的细节。
浏览 0提问于2013-03-02得票数 6
回答已采纳
3回答
我的理解是，“纯OCaml”指的是OCaml中的所有标准功能，包括它的非“纯”功能特性，而“纯功能”指的是通常的属性:没有副作用，没有异常处理等。在这个意义上，“纯OCaml”实现是与C或C++实现相对立的，比如OCaml。
然而，我最近与一个非常坚持“纯OCaml”在某些圈子中意味着OCaml的“纯函数子集”的人进行了一场辩论。
这两种意思是否真的在社会上使用呢？是否存在这样的含糊不清？在第二个意义上，是否有指向使用“纯OCaml”的受高度重视的源的指针？
浏览 10提问于2016-01-28得票数 4
3回答
我对OCaml非常陌生，尤其是对js_of_ocaml编译器而言。
是否有人用js_of_ocaml编译了使用Jane Street的应用程序？在编译过程中，我会收到许多“缺少原语”的警告，然后当我尝试使用node运行它时，它们会变成一个实际的异常。
我知道，这些原语不能从OCaml移植到JS，它们的实现应该依赖于应用程序，但是对于核心，实际上有数千个原语，而我的程序只使用输出到stdout。
另外，我甚至很难编译一个简单的"hello world“项目，因为IO函数没有在JS中实现。是否有一个“标准”JS文件可用于此目的？例如，用caml_ml_output_char和其他东西代替c
浏览 5提问于2014-02-05得票数 6
回答已采纳
1回答
我大致知道F#和OCaml在“特性”方面的不同之处(例如，函数器、camlp4、度量单位...)。
我想知道以下几点:关于不包含上述功能的代码，F#和OCaml在编码风格(除了命名约定之外)上有区别吗？换句话说，如果一些(惯用的) F#代码可以直接(可能微不足道地)转换成OCaml，那么这种转换必然会导致惯用的Ocaml吗？
编辑:从Guy Coder提供的链接中，我猜测一些“惯用的”OCaml代码可能不能直接转换为“惯用的”F#代码，因为在F#中异常要慢得多(在OCaml中使用得更广泛)。另一个方向呢？一些F#ish OCaml代码会不会引起这样的反应：“别这样做XX，OCaml做XX的方式
浏览 5提问于2016-04-21得票数 24
回答已采纳
OCaml允许从OCaml程序调用C函数，只要程序员遵循手册“C与OCaml的接口”一章中的说明即可。
遵循这些指令时，本机编译器会将对C函数的调用转换为：
movq ml_as_z_sub@GOTPCREL(%rip), %rax
call caml_c_call@PLT
(这里是amd64指令集，但看看其他体系结构，该方案似乎相当统一)。
函数caml_c_call最终会执行计算跳转call *%rax，但它会在执行之前和之后执行很多操作。来自asmrun/amd64.S：
/* Call a C function from Caml */
FUNCTI
浏览 1提问于2011-09-26得票数 7
回答已采纳
1回答
我经常需要在OCaml中中断循环，至少有两种方法：
(* by exception *)
try
for i = 0 to 100 do
...
if cond then raise BreakLoop
done;
...
with BreakLoop -> ...
(* by while *)
let cond = ref false in
let i = ref 0 in
while (not !cond) && (i<= 100) do
...
i := !i + 1
done;
if !cond then ...
我最关心的
浏览 0提问于2013-06-05得票数 2
回答已采纳
3回答
阅读开头的F# -，我专注于以下段落：
来自OCaml背景的程序员在使用F#中的异常时应该小心。由于CLR的体系结构，抛出异常非常昂贵--比在OCaml中要昂贵得多。如果您抛出大量异常，请仔细分析代码，以确定性能成本是否值得。如果成本太高，请适当修改代码。
为什么，由于CLR，如果F#比在OCaml中抛出异常要花费更多？在这种情况下，正确修改代码的最佳方法是什么？
浏览 7提问于2012-06-09得票数 13
回答已采纳
1回答
我正在尝试使用ocamldebug。我的程序做了很多东西，然后写到一个文件中。它可以很好地编译和工作，但当我使用ocamldebug并到达它将写入文件的部分时，会引发以下异常：
Uncaught exception: Unix.Unix_error (5, "waitpid", "")
有人能帮我吗？
浏览 1提问于2013-05-20得票数 2
回答已采纳
我正在尝试创建一个具有更大功能的自定义断言函数，但问题是该断言异常指向自定义断言函数，当最终用户试图找出哪个断言失败时，它对最终用户没有用处。
到目前为止，我的情况如下：
let assert_eq (exp: 'a) (exp2: 'a) =
assert (exp = exp2)
浏览 6提问于2022-09-26得票数 2
回答已采纳
1回答
我想我是在问这个设计决策背后的理由。
在默认情况下不可变的其他数据结构(list、record、hashmap、set)中，可变的原因数组是异常的。
这有什么原因吗？有没有一种不可改变的选择？
浏览 2提问于2017-09-12得票数 3
回答已采纳
假设，我想编写一个函数，它试图在地图中找到一个键并返回None (如果不能)：try_find: 'a -> ('a, 'b) Map.t -> 'b option，这是一种规范的方法吗？首先检查密钥是否与mem一起存在，然后调用find？还是要捕获Not_found异常？电池似乎适用于后者。
另一方面，在C#或Java等语言中，出于性能原因，通常不鼓励人们在这种情况下使用异常。在Ocaml中，在“正常”执行路径上使用异常是常见的事情，还是也不鼓励使用异常？
浏览 2提问于2016-11-16得票数 4
回答已采纳
我已经创建了~/.ocamlinit，如下所示
let interactive = !Sys.interactive;;
Sys.interactive := false;; (*Pretend to be in non-interactive mode*)
#use "topfind";;
Sys.interactive := interactive;; (*Return to regular interactive mode*)
Toploop.use_silently Format.err_formatter (Filename.concat (Findlib.pack
浏览 6提问于2012-09-27得票数 0
回答已采纳
在没有调试符号的情况下，是否有一种很好的方法来获取OCaml中异常的行数？当然，如果我们打开调试符号并使用OCAMLRUNPARAM=b运行，我们可以得到回溯。但是，我并不真正需要整个回溯，我想要一个没有调试符号的解决方案。目前，我们可以编写如下代码
try
assert false
with x ->
failwith (Printexc.to_string x ^ "\nMore useful message")
为了从assert中获取文件和行号，但这似乎有些尴尬。是否有更好的方法来获取异常的文件和行号？
浏览 6提问于2015-08-20得票数 7
回答已采纳
我读过，它在一定程度上解决了性能上下文中的OCaml异常，并提到可能会使用异常来操纵控制流。
但是，我想从语言设计/历史的角度了解在具有第一类求和类型的语言中添加异常的理由。
我的理解(请纠正我的错误)是，OCaml中的异常会破坏类型系统，从而使对程序的特定状态进行推理变得更加困难。与和类型上的匹配不同，编译器将不会检查是否处理了所有可能的错误情况，这可能成为一个问题，特别是如果对库函数的修改引入了新的错误状态。这就是为什么，例如，Zig编程语言执行错误处理，并为检查所有可能的错误案例()提供一个由编译器执行的构造。
鉴于以上所述，并且考虑到在某些情况下绕过多个堆栈帧可能是有用的，我可以想象一
浏览 0提问于2019-07-11得票数 11
回答已采纳
1回答
我试着用omake编译一个OMakefile。我用GODI安装了所有需要的包。GODI向我展示了安装后的这些包。Ocamlfind没有找到所有这些包。使用ocamlfind列表，它只显示一些。
它没有找到的包是:电池和ocamlgraph。有谁有办法解决这个问题。我的目标是使用别人创建的程序。
问候
斯文
root@debian:/# ocamlfind list
bigarray (version: [distributed with Ocaml])
camlp4 (version: [distributed with
浏览 3提问于2012-01-16得票数 1
我正在浏览Camlp4，关注上一系列有用的博客文章，但我遇到了编译问题。这是我的test.ml文件的代码：
open Camlp4.PreCast
let _loc = Loc.ghost in
let cons =
let rec loop () =
try
match read_line () with
| "" -> []
| c -> c :: loop ()
with End_of_file -> [] in
loop () in
Printers.Ocaml.print_implem
&
浏览 1提问于2012-11-23得票数 0
回答已采纳
1回答
我想在Ocaml中使用SDL2库函数。我已经安装了sdl2和ocamlsdl2，但是调用Sdl.init会抛出一个异常。
在utop上
#use "topfind";;
#require "sdl2";;
Sdl.init [`VIDEO];;
给出了Exception: Failure "Sdl.init"错误
浏览 14提问于2019-10-30得票数 2
1回答
OCaml内部:异常
、、、、
我很想知道如何在OCaml运行时中处理异常，使它们变得如此轻量级。它们是使用setjmp/longjmp，还是在每个函数中返回一个特殊的值并传播它？
在我看来，longjmp会给系统带来一些压力，但只有在出现异常时才会出现，而检查每个函数的返回值都需要在调用函数后检查每个值，在我看来，这会进行大量的检查和跳转，而且它的性能似乎最差。
通过查看OCaml与C( )的接口，以及回调.h，似乎使用对象的内存对齐( #define Is_exception_result(v) (V ) & 3) == 2) )标记了一个异常。这似乎表明它的实现不使用longjmp，并在每次函数调用后检查每个
浏览 1提问于2011-12-20得票数 25
回答已采纳
1回答
在一个学校项目中，我使用了Jane Street的Core和Async库。我正在尝试调试bind Unix syscall的问题，所以我运行ocamldebug myprogram。当异常被抛出(Unix.Unix_error)时，这会停止，但在回溯时，我会收到以下消息：
No source file for Async_parallel.Master_process.
它是在其中引发错误的文件。是否可以指定opam来构建我安装的带有调试信息的包，以便我可以使用ocamldebug来检查它们？否则，我还能做些什么来解决这个问题呢？
提前感谢！
浏览 2提问于2013-11-29得票数 2
1回答
我想定义一个类foo和一个异常X，它的构造函数使用一对foo作为参数。类foo的方法应该能够引发异常X。我无法找到正确的语法。有人能建议一下怎么做吗？
浏览 1提问于2015-10-24得票数 0
回答已采纳
我正在使用尾递归编写一个函数，但我不知道如何执行。通常，我使用ocaml QuicksortTail.ml ，但是当我对包含70000个元素的列表执行时会显示错误：
致命错误:异常Stack_overflow“
let rec trev l r =
match l with
| [] -> r
| x::xs -> trev xs (x::r);;
let rev l = trev l [];;
List.iter (fun x->print_int x) (rev[5;4;3;2;1])
我的oCaml是4.01。
浏览 2提问于2017-07-12得票数 2
回答已采纳
我刚开始讲道理。我想通过正确的异常处理从字符串中解析浮点。
这样做是可行的：
let number = try (float_of_string("1,")) {
| _ => 0.0;
};
但我想做这样的事：
let number = try (float_of_string("1,")) {
| Failure(_) => 0.0;
};
不幸的是，它没有捕捉到异常。我假设这是一个Failure异常，因为在开发人员控制台中，我看到了这个数据的一个错误：
[["Failure", -2], "float_of_st
浏览 0提问于2020-01-06得票数 1
回答已采纳
这是我多年来一直在思考的一个问题，我在windows下使用OCaml，当我构建每个OCaml发行版本时，我需要一个C编译器，无论是MSVC还是MingGW，我必须在Cygwin下执行。
当我手中有我的OCaml，当我需要编译我的代码时，我也需要我用来编译我的OCaml..for的c链接器，这是非常奇怪的。为什么OCaml不能用老版本的OCaml自动引导，而用一些C编译器呢？
浏览 5提问于2018-07-23得票数 1
1回答
经过几天的努力，我不得不停止浪费时间，并最终寻求帮助。我在我的iMac上运行小牛。我已经安装了EclipseVersion: Kepler Service Release 1和OcaIDE插件。默认情况下，除了ocamlbuild、omake和Ocamle lib Path之外，我的所有路径都是填写的。所以我在想，我已经做了所有需要做的事情，最终让Ocaml编译我的程序，并得到我在终端中获得的结果。
我创建了一个新的Ocaml托管项目，然后创建了一个扩展名为file.ml的新文件，并键入：
List.fold_left
(fun acc x -> acc + x)
0
[1; 2; 3;
浏览 1提问于2013-10-29得票数 1
嗨，我一直在互联网上检查，以找到一种在OCaml中实现“字符串是否以特定文本结尾”的好方法，我发现在OCaml中操作字符串并不像我预期的那样简单。
下面是我的OCaml代码，它使用Str.regexp检查文件名称是否以".ml“结尾，以查看它是否是OCaml脚本文件。但是，它并不像我预期的那样起作用：
let r = Str.regexp "*\\.ml" in
if (Str.string_match r file 0)
then
let _ = print_endline ("Read file: "^full_path) in
浏览 8提问于2016-06-16得票数 5
回答已采纳
似乎很多人都在说OCaml没有很好的并发能力，也不适合web服务器应用。
我目前正在学习。现在看来，OCaml提供了并发性。
我能知道为什么OCaml的并发/线程被认为是糟糕的吗？
我可以用OCaml开发服务器应用程序吗？我可能会遇到什么问题？
浏览 1提问于2013-05-03得票数 15
回答已采纳
我通过Cygwin在我的Windows设备上使用OCaml。我还安装了Opam，并运行了命令
opam pin add merlin --dev-repo
因为在安装了最新的OCaml for Windows之后，编译器ocamlc就不能工作了，一些谷歌搜索提供了这个解决方案。
我第一次尝试运行ocamlc时遇到的错误是：
Error: C:\OCaml\lib/pervasives.cmi
is not a compiled interface for this version of OCaml.
It seems to be for an older version of OCaml.
然
浏览 4提问于2017-10-30得票数 0
回答已采纳
2回答
模式匹配中的“带”保护
、、、
我在中读到了关于模式保护的文章，其中显示了这种类型的保护：
match x with
| pat with g = y -> z
| ...
| pat with g = y -> z
然而，在OCaml 4.02中，这似乎不起作用(Syntax error: pattern expected.)。因此，问题是:在模式匹配中是否有实现这种绑定的解决办法？
我想写这样的东西：
match something with
| value with y = f x when y > 0 -> value + y
浏览 3提问于2014-12-09得票数 5
回答已采纳
1回答
解决了(底部)问题。安装石英，并通过brew重新安装x11，然后重新启动机器。
我正在学习Ocaml，正在浏览文档页面，需要安装一些模块(图形)。
我在Ocaml丢失了一个Graphics模块。在尝试将其加载到toplevel ( REPL对吗？)通过以下方式：
$ ocaml
OCaml version blahblah
# #load "graphics.cma";;
# open Graphics;;
我得到了错误消息：
Cannot find file graphics.cma.
因此，我讨论了问题，在没有使用命令找到文件之后：
ls `ocamlc -w
浏览 3提问于2017-06-16得票数 0
当我学习OCaml要点时，有人告诉我，OCaml中的每个函数实际上都是一个只有一个参数的函数。多参数函数实际上是一个函数，它接受一个参数，并返回一个函数，该函数接受下一个参数并返回.
这是赛跑，我知道了。
，所以我的问题是
案例1
如果我做了
let plus x y = x + y
在OCaml内部，当它编译时，OCaml是否会将它更改为let plus = fun x -> fun y -> x + y
或者相反的情况
案例2
如果我做了
let plus = fun x -> fun y -> x + y
OCaml将把它转换为let plus x y = x
浏览 2提问于2014-12-23得票数 5
回答已采纳
我刚刚在windows10.1上重新安装了cygwin64。我从cygwin存储库安装了ocaml包(4.02.3)。我有一些与flexdll相关的奇怪错误：
$ ocaml OCaml版本4.02.3
#load "str.cma";；
无法加载所需的共享库dllcamlstr。原因: /usr/lib/ocaml/stublibs/dllcamlstr.so: flexdll错误:无法重新定位RELOC_REL32，目标太远: 0xfffffffc12c2a92a 0x12c2a92a。
你知道问题是什么吗，以及如何绕过它？事实上，我在尝试从源码中编译cygwin上的fin
浏览 0提问于2016-09-29得票数 1
最近我的OCaml程序中出现了一个OCaml错误。如果我打开回溯，我看到异常是由一个“基本操作”"pervasives.ml“引发的，第270行。我进入了OCaml源代码，并看到第270行定义了函数@ (即列表附录)。我没有从回溯跟踪中获得任何其他信息，即使在我的程序中抛出异常的地方也没有。我转而使用字节码，并尝试了ocamldebug，但它没有帮助(没有生成回溯)。
我觉得这是个非常奇怪的情况。在我的程序中，我使用列表的唯一地方是(a)构建一个包含整数1到1000000的列表，(b)按顺序遍历RBT并将结果放入列表，(c)打印包含表面上1000000个数字的整数列表。我测试了所有的函
浏览 0提问于2018-03-12得票数 0
回答已采纳
我想在我的Eclipse中使用OcalIDE plugin来拥有Ocaml。
我知道我的Ocaml包默认安装在/usr/local/lib/ocaml上，但首选项持续弹出value must be an existing file错误，我不知道出了什么问题。
地板上有帮手吗？
浏览 0提问于2012-12-21得票数 1
回答已采纳
1回答
我很难在：中运行关于逻辑和推理的代码。
例如，在最近的版本中，新版本似乎不承认Num库。我尝试过不同的在线编译器，但都失败了。然后，唯一的方法是安装编写代码的确切版本: 3.09.3
因此，问题是:我如何安装该版本？我能把我的欧帕姆降级吗？或者你会推荐另一种选择。我用Mac。
我尝试了opam switch create 3.09.3，并报告了以下问题：
The following actions failed
│ λ build ocaml-base-compiler 3.09.3
└─
┌─ The following changes have been performed (the r
浏览 2提问于2021-04-27得票数 1
回答已采纳
我正在尝试安装ocaml 3绑定，以便从O‘’caml程序访问sqlite数据库。
配置和使运行顺利，但安装失败。因为文件sqlite3.cma不是字节码对象文件(参见下面)。
~/Software/ocaml-sqlite3-release-1.5.6> sudo make install
[ -f *.so ] && SO_FILES=*.so; \
ocamlfind install sqlite3 META sqlite3.cmi sqlite3.mli sqlite3.cma *.cmxa *.a *.cmx $SO_FILES
Ins
浏览 5提问于2009-09-21得票数 4
回答已采纳
当我在顶层手动输入#use "topfind" ;;时，它的工作方式如下：
#use "topfind" ;;
- : unit = ()
Findlib has been successfully loaded. Additional directives:
#require "package";; to load a package
#list;; to list the available packages
#camlp4o;; to load caml
浏览 6提问于2011-11-09得票数 4
回答已采纳
我想执行以下命令：
dune exec -- ocaml-print-intf file.ml
并将其输出重定向到file.mli。
问题是我不能写
dune exec -- ocaml-print-intf file.ml > file.mli
因为创建了file.mli，所以执行dune exec -- ocaml-print-intf file.ml并将其输出重定向到file.mli。为什么这是个问题？因为它应该生成file.ml的签名，但是它首先检查的是是否已经有签名文件(在我们的例子中是file.mli)，如果有，则输出签名文件。
示例：
❯ dune exec -- ocam
浏览 0提问于2022-06-29得票数 0
回答已采纳
5回答
在Erlang中，鼓励您不要匹配不实际处理的模式。例如：
case (anint rem 10) of
1 -> {ok, 10}
9 -> {ok, 25}
end;
是一种鼓励使用其他可能的结果导致badmatch结果的样式。这与Erlang的“让它崩溃”的哲学是一致的。
另一方面，F#将在等价的F#代码(如 )中发出“不完全模式匹配”。
问题是:为什么F#不能有效地删除警告，用相当于
|_ -> failwith "badmatch"
用“让它崩溃”的哲学？
编辑：到目前为止有两个有趣的答案:要么是为了避免在不处理所有代数数据类型的情况下
浏览 0提问于2010-08-03得票数 15
回答已采纳
1回答
我有一组protobuf类型，并希望生成用于序列化的reasonML代码。到目前为止，我发现ocaml-protoc无法安装到我的系统上。使用docker，
FROM ocaml/opam:alpine
RUN opam remote add dev git://github.com/mirage/mirage-dev
RUN opam depext -i mirage
RUN opam depext conf-m4.1
RUN yes | opam install ocaml-protoc
然后运行命令：
docker run \
--mount type=bind,sou
浏览 0提问于2018-04-01得票数 2
我没有任何使用openGL的经验，所以也许我只是遗漏了一些东西。
我使用lablGL编写了这个ocaml代码。为了进行编译，我使用
ocamlopt -I +lablGL lablglut.cmxa lablgl.cmxa gl.ml -o gl.opt
或
ocamlc -I +lablGL lablglut.cma lablgl.cma gl.ml -o gl.byte
let keyboard ~key ~x ~y =
match key with
| 27 -> exit 0
| _ -> ignore (Printf.printf "Key:
浏览 1提问于2010-08-13得票数 5
回答已采纳
这是一个关于如何解除键绑定映射的问题。一般来说，取消映射键绑定并不难，但在这种情况下我遇到了困难。我尝试在:help中找到相关信息，但是键绑定有点复杂--我仍然不理解它--而且我无法从.vimrc这样的配置文件中解映射它。
编辑OCaml源代码的“`merlin”包为vim提供了一组配置文件。有一个我不想要的定义：
nmap <silent><buffer> gd :MerlinLocate<return>
我不想在自动加载的merlin.vim文件中注释掉它，因为当我设置一个新的OCaml配置时，这个文件将被反复自动生成。相反，我只是想通过在我自己的配置
浏览 0提问于2018-06-18得票数 1
回答已采纳
2回答
我安装了opam，运行opam init，运行opam switch 4.06.0在~/.opam中创建了一个4.06.0目录，运行"eval opam confing env“将$OCAML_TOPLEVEL_PATH导出为~/.opam/4.06.0/lib/toplevel等，当启动ocaml时，我得到了可怕的：
$ ocaml
OCaml version 4.06.0
Cannot find file topfind.
Unknown directive `camlp4o'.
#
我看过和，它们都不能解决我的问题，我束手无策(第一次设置OCaml)。
浏览 41提问于2017-11-27得票数 2
2回答
我正在尝试编译 ocaml包的。在包含(我怀疑是所有)必要的库之后，我在编译时得到以下错误：
File "_none_", line 1, characters 0-1:
Error: Files /[...]/godi/lib/ocaml/site-lib/xmlrpc-light/xmlrpc-light.cma(XmlRpcBase64)
and /[...]/godi/lib/ocaml/std-lib/stdlib.cma(Buffer)
make inconsistent assumptions over interface Buffer
浏览 1提问于2011-07-05得票数 2
回答已采纳
我想知道如何在Ocaml中安装模块Mpqf。因为当我尝试使用它时，我得到“错误:未绑定的模块Mpqf”。我在用Ubuntu。
谢谢你。(对不起，我的英语...)
浏览 1提问于2013-06-20得票数 1
回答已采纳
标题已经写满了--好吧，几乎：)
特别是，我对模块Sys和Unix中的函数感兴趣。
“in OCaml”一书()写道：
1.3错误处理
除非另有说明，否则Unix模块中的所有函数都会在发生错误时引发异常Unix_error。
exception Unix_error of error * string * string
..。
最后，异常的第一个参数是指示错误性质的错误代码。它属于变体类型错误：
type error = E2BIG | EACCES | EAGAIN | ... | EUNKNOWNERR of int
到目前为止还不错但是..。哪个函数可以引发哪个error
比如
浏览 4提问于2020-11-11得票数 0
回答已采纳
现在只限于ocaml>=4.13 & <4.14
有没有一个简单的方法来强制-安装在一个"opam开关“有一个更高的版本？
它能起作用是不可想象的吗？
> opam list
# Packages matching: installed
# Name # Installed # Synopsis
...
ocaml 4.14.0 The OCaml compiler (virtual package)
ocaml-compiler-libs v0.12.4 OCaml compile
浏览 14提问于2021-12-30得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
