Ocamlopt不产生任何输出，只产生一个错误代码
Ocamlopt是OCaml编程语言的编译器，它用于将OCaml源代码编译为本机机器码。当使用Ocamlopt编译代码时，如果编译过程中出现错误，它会生成一个非零的错误代码作为返回值，而不会生成任何输出文件。
这个特性使得开发人员可以在构建过程中轻松检测到错误并进行相应处理。错误代码可以用于构建持续集成和自动化测试系统，在代码编译失败时及时通知开发人员或自动化流程的其他部分。
Ocamlopt的错误代码主要用于指示编译器遇到的问题类型，如语法错误、类型错误、模块依赖性错误等。开发人员可以根据错误代码来定位和解决问题，并改进代码的质量和稳定性。
虽然Ocamlopt不产生任何输出文件，但它是OCaml开发过程中非常重要的一部分。它通过编译OCaml源代码为机器码，为开发人员提供了高性能和效率，并且可在各种应用场景中使用。对于使用OCaml语言进行开发的项目，可以考虑使用Ocamlopt编译器进行代码编译和错误检测。
以下是腾讯云相关产品和产品介绍链接地址，可用于支持和扩展云计算、网络通信和编程语言方面的应用：
- 云服务器CVM：提供弹性、安全、可靠的云端计算能力，满足各种业务场景需求。了解更多：https://cloud.tencent.com/product/cvm
- 云函数SCF：无需购买和管理服务器，按需运行代码的事件驱动型计算服务。了解更多：https://cloud.tencent.com/product/scf
- 云数据库CDB：提供高可用、高性能、可弹性伸缩的数据库解决方案，支持多种类型的数据库引擎。了解更多：https://cloud.tencent.com/product/cdb
- 腾讯云对象存储COS：安全、高效、低成本的云端存储服务，可存储和访问各种类型的数据。了解更多：https://cloud.tencent.com/product/cos
请注意，以上提到的产品和链接仅作为示例，供参考和了解。具体选择适合的云计算产品需要根据实际需求和情况进行评估和决策。
相关·内容
1回答
我正在尝试将一些C++/cmake代码与一些OCaml代码链接起来。如果C++端很简单，我只需将其对象文件添加到ocamlopt中即可。如果OCaml端很简单，我会将它的对象文件添加到cmake中。但它们都是复杂的程序，有很多依赖关系。
目前，我已经让它正常工作了，但它有点像黑客：
我运行ocamlopt -output-obj来获取主OCaml对象：
add_custom_command(输出ocaml_main.o依赖于ocaml.ml命令ocamlfind ocamlopt -package mylib -linkpkg - OUTPUT -obj -o ocaml_main.o o
浏览 1提问于2014-02-09得票数 2
回答已采纳
我可以使用以下ocaml模块test.ml并使用ocamlopt编译它
(* test.ml *)
Printf.printf "hi\n"
通过做
$ ocamlopt -o test.native test.ml
$ ./test.native
hi
我也可以不链接地编译它。
$ ocamlopt -o test.o -c test.ml
$ ls
test.cmi test.cmx test.ml test.o
但是，如果然后尝试将我刚刚创建的对象与OCaml运行时链接起来以获得可执行文件，则不会创建任何文件(即使ocamlop
浏览 2提问于2017-10-24得票数 0
回答已采纳
1回答
我有一个OCaml程序
open Core.Std;;
open Printf;;
let all l = List.fold ~f:(&&) ~init:true l;;
let any l = List.fold ~f:(||) ~init:false l;;
let main () = let bools = [true; false; true; true; false; true] in
printf "%b %b\n" (all bools) (any bools);;
main();;
然后两个创建文件，第一个是
all: a.out
浏览 3提问于2015-04-01得票数 0
回答已采纳
我在OCaml中有一个现有的项目和一个_oasis文件。我不知道在哪里启用ocamlbuild的分析标志。
我查阅了Oasis手册和代码，发现setup.data中有一个变量setup.data可用。我想这就是Oasis自动生成的。
在_oasis中应该包括哪些内容来将profile设置为true？
浏览 2提问于2015-02-17得票数 4
回答已采纳
我试图从OCaml调用一个庞大的C++库，但我在使用ocamlopt时遇到了问题，它总是失败，错误代码为2。 我用一个C接口来完成所有的工作，通常我可以让它工作，但是一旦我引用了这个库，就构建中断。 有没有办法知道到底是什么出了问题？我尝试了-verbose标志，但它只打印命令行参数(它们很长)。 对于如何调查这样的静默失败，您有什么建议吗？
浏览 16提问于2019-03-20得票数 0
回答已采纳
1回答
我试图按照下面的说明编译一个依赖于我创建的另一个模块：的模块
在我的例子中，我有一个模块~/courseFiles/chapter5/moduleA.ml和另一个~/OCamlCommons/listMethods.ml模块。我使用ocamlopt -c listMethods.ml编译了ocamlopt -c listMethods.ml，这似乎很有效，它生成了一个文件listMethods.cmx。
文件moduleA.ml包含open ListMethods;;。现在，我的终端位于~/courseFiles/chapter5，我运行了ocamlopt -c moduleA.ml，但是终端
浏览 2提问于2019-06-26得票数 1
回答已采纳
我试图在manjaro 18.1.5发行版上安装frama-c，但是无论我尝试什么，我总是会出错。
首先，我尝试通过AUR安装，它看起来很有效，但是当我尝试从gui打开一个文件时，它会失败，并且会说“无效的用户输入”，即使我使用的是在已知的良好安装上工作的文件。
编辑：以下是该文件的错误输出：
[kernel] Parsing max.c (with preprocessing)
[kernel:annot-error] max.c:2: Warning:
unbound logic variable INT_MIN. Ignoring logic specification of fu
浏览 6提问于2020-01-16得票数 0
在使用ocamlbuild和corebuild命令进行构建时，我希望将-S标志传递给ocamlopt。
我知道做ocamlbuild -cflag -S ...是行不通的，因为-S标志只存在于ocamlopt而不存在ocamlc。
我如何使用_tags文件来完成这个任务？
浏览 0提问于2014-12-06得票数 6
回答已采纳
OCaml编译器是否在任何时候为列表文本(或其他列表)优化对List.length的调用？
我编写了一个琐碎的程序(如下所示)，并使用ocamlopt编译了不同级别的优化。查看生成的程序集表明，每次调用List.length时，它都是一个O(n)操作。考虑到列表是不可变的，编译器可以很容易地确定编译时已知的列表文本的长度，并将其存储为O(1)。
let a = [1; 2; 3; 4]
let () =
let p i = Printf.printf "%d\n" i in
p (List.length a);
p (List.length a)
我真的不擅长拆
浏览 4提问于2022-06-03得票数 1
回答已采纳
1回答
我想使用ocamlopt来编译列表理解。我不想使用任何特殊的库，因为ocaml至少在顶层(交互式)支持列表理解。
Marko Tunjic发布了：
列表理解已经包含在标准ocaml中
#require "camlp4.listcomprehension";;
[ x * x | x <- [ 1;2;3;4;5] ];;
- : int list = [1; 4; 9; 16; 25]
在ocaml 4.07.1上，我发现interactive需要满足以下条件：
#use "topfind";;
#camlp4o;;
#require "cam
浏览 12提问于2019-10-29得票数 2
1回答
这里是我的makefile (GNU )来编译一个小型OCaml程序：
SUFFIXES:=
OCAML=ocamlopt
LD=ocamlopt
OFLAGS=
.PHONY: all clean
all: playground
playground.cmx: playground.ml lstream.cmi
playground: lstream.cmx playground.cmx
%.cmi: %.ml
$(OCAML) $(OFLAGS) -c $<
%.cmx: %.ml
$(OCAML) $(OFLAGS) -c $<
%: %.cmx
浏览 2提问于2013-12-14得票数 3
回答已采纳
在64位的Windows7上安装了OCaml (自安装程序)后，我尝试用以下命令创建一个简单的exe文件
ocamlopt HelloWorld.ml -o HelloWorld
根据需要，我使用了本地代码编译器(ocamlopt)和Visual C++ (我安装了Visual Studio10)和微软汇编程序MASMversion8(也安装了MinGW )；我还为OCaml (c:\ProgramFiles\Ocaml\bin)、MinGW (c:\ProgramFiles\MinGW\bin)和MASM (C:\masm32\bin)设置了path变量。然而，尽管我尽了最大的努力和大量的搜
浏览 0提问于2012-03-09得票数 4
我正在试图找出如何传递一个可执行文件的位置，以便作为ppx过滤器运行到OCaml编译器ocamlc/ocamlopt中。
我的问题基本上是
ppx过滤器应该采用什么格式作为输入？
预计会产生什么结果？
特别是在cppo的情况下，如何配置它以接受所需的格式并发出所需的格式？
为什么cat不能作为“身份筛选器”使用任何过滤器产生相同的结果？
例如，这里有一个简单的OCaml程序。
(* foo.ml *)
let hi = ();;
Printf.printf "hi there\n"
使用一个非常简单的过滤器cat，我们可以看到过滤器作为输入应该处理什么
浏览 1提问于2018-03-31得票数 0
回答已采纳
1回答
我有一个cron作业，每小时执行一个R脚本。
该脚本检查每天在未知时间更新的在线数据源。
如果数据源未更新，则脚本将使用错误代码退出。
如果更新了源代码，脚本将正常运行，不会出现任何错误代码。
脚本完成后，我需要开始手动工作流。
我希望在cron作业完成时收到通知，所以我知道什么时候开始我的工作流程。
我曾考虑过做的事情，但却发现自己很烦躁/不正确：
从R脚本中发送电子邮件
脚本成功时生成错误
我想做的是：
成功执行后发送自定义cron通知电子邮件
一些我还没考虑过的更好的东西
浏览 0提问于2021-12-10得票数 0
回答已采纳
1回答
我希望通过将OCaml编译到包含C接口的静态或共享库中，通过C++调用OCaml代码。似乎解释了如何为OCaml创建一个C接口。但是，我如何做到并编译它呢？以及如何获得要加载到我的.h代码中的C++文件？
另外，有人能解释一下这部分吗？
OCaml运行时系统由三个主要部分组成:字节码解释器、内存管理器和一组实现基本操作的C函数。提供了一些字节码指令来调用这些C函数，由它们在函数表(原语表)中的偏移量指定。
我认为OCaml可以编译成本机语言。为什么它被编译成字节码并在运行时进行解释？它总是这样，还是只用于用C接口编译的OCaml库？
浏览 2提问于2020-04-24得票数 2
回答已采纳
1回答
我很惊讶地看到，即使是这样的一个简单的程序：
print_string "Hello world !\n";
当使用一些相当激进的选项(使用ocamlopt )静态地编译到本机代码时(使用musl)，在我的系统上仍然会有~190 to左右。
$ ocamlopt.opt -compact -verbose -o helloworld \
-ccopt -static \
-ccopt -s \
-ccopt -ffunction-sections \
-ccopt -fdata-sections \
-ccopt -Wl \
-c
浏览 2提问于2019-09-20得票数 4
回答已采纳
1回答
我真的对学习ocaml很感兴趣，它很快(他们说它可以编译成本机代码)，而且它是函数式的。所以我试着编写一些简单的代码，比如启用mysql事件调度程序。
#load "unix.cma";;
#directory "+mysql";;
#load "mysql.cma";;
let db = Mysql.quick_connect
~user:"username"
~password:"userpassword"
~database:"databasename"();;
let sql =
浏览 0提问于2010-04-20得票数 10
回答已采纳
1回答
我已经下载了ocaml的xml-light，并尝试编译它，但从来没有成功过，问题如下。
当我输入ocamlopt dtd.ml时，会出现错误Unbound module Xml。然后我输入ocamlopt xml.ml，将会出现一个错误Unbound value XmlParser.make。然后我输入ocamlopt xmlParser.ml，将会出现一个错误Unbound module Dtd。
真的有办法把它们编译在一起吗？因为这个我觉得自己很愚蠢。
浏览 1提问于2011-05-06得票数 1
回答已采纳
1回答
打印回溯不起作用
、、、
我有如下代码块：
try
raise Exit (* body *)
with
| e ->
Printexc.record_backtrace true;
printf "Unexpected exception : %s\n" (Printexc.to_string e);
let x = Printexc.get_backtrace () in
print_string x;
Printexc.print_backtrace stdout
body中的代码确实会引发异常，它会显示Unexpected exception : Pervasiv
浏览 1提问于2013-08-24得票数 2
回答已采纳
我在这个脚本中的目标是把所有的文本放在同一行来编译一个OCaml文件，但是作为一个新的bash用户，我不知道如何做到这一点。有人能帮忙吗？
#!/bin/bash
function argv {
ocamlopt -o
for (( i=0; i < $#; i++ ))
do
"${BASH_ARGV[i]}"
done
}
argv "$@"
执行时出错：
option '-o' needs
an argument.
Usage: ocamlopt <options> <files>
浏览 4提问于2022-09-01得票数 0
回答已采纳
2回答
我正在为我编的一种编程语言开发语言解释器。下面是一些示例代码，这些代码应该可以工作，但在阅读这个测试用例时，它会与Syntax error at offset 45.一起死掉。
{
foo = { "min" : 1 ,"max" : 5};
foo["min"]
}
正确的解释是，使用foo的第一行创建一个映射并将其存储在一个名为foo的变量中，第二行查找记录foo中字段min的值，开始/结束曲线与分号一起将两个表达式包装成一个expr_seq (即块)，该值与其中的最后一个expr值相同。
我的parser.mly的简化版本如下：
%
浏览 3提问于2015-04-23得票数 0
回答已采纳
在Ubuntu 14.04上，32位：
➥ cat test.ml
let () = print_endline "hello";
➥ opam switch list | grep " C "
4.01.0 C 4.01.0 Official 4.01.0 release
➥ ocamlopt test.ml
➥ ls -l a.out
-rwxrwxr-x 1 shorrty shorrty 158569 Oct. 30 13:29 a.out
➥ opam switch 4.02.0
➥ eval `opam config env`
➥ o
浏览 0提问于2014-10-30得票数 4
回答已采纳
我正在尝试构建一个ocaml项目，它需要一个camlp4扩展(在本例中是pa_deriving)。这是我的Makefile：
include ./Makefile.config
OCAMLC := ${OCAMLFIND} ocamlc
OCAMLOPT := ${OCAMLFIND} ocamlopt
OCAMLDEP := ${OCAMLFIND} ocamldep
PP := -package camlp4 -ppopt /home/p/godi-3.12.1.0/lib/ocaml/site-lib/deriving-ocsigen/pa_derivi
浏览 1提问于2012-01-02得票数 3
我正在学习C++通过加速C++由Andrew和BarbaraE.Moo。我试图了解输入运算符是如何工作的，以及它们与STL算法的关系。
下面是一段让我困惑的代码：
#include <iostream>
#include <iterator>
#include <algorithm>
#include <cctype>
bool space(char c)
{
return std::isspace(c);
}
int main()
{
std::istream_iterator<char> i = std::fi
浏览 2提问于2019-08-23得票数 3
回答已采纳
OCaml附带的某些模块，如Unix和Bigarray，在ocamlopt -where中都有自己的.cmx和.cmxa文件(在我当前的opam交换机中，这是我的系统中的~/.opam/4.03.0/lib/ocaml )。
是否有一种方法可以确定哪些源文件依赖于标准发行版中这些“特殊”库中的哪个？我打算稍后在Makefile中使用这个输出。
以下程序是example.ml
open Unix;;
Unix.system "echo hi";;
可以使用ocamlfind ocamlopt -package unix -linkpkg example.ml进行编译。我不知道如
浏览 5提问于2017-09-21得票数 1
回答已采纳
1回答
如果Foo构造函数没有调用任何影响errno或类似的状态代码(如GetLastError() )的函数，它是否保证
throw Foo
不影响任何这些值。也就是说，我可以在Foo的构造函数之前发布错误代码的读取吗？如果没有标准规定，我最感兴趣的行为GCC，GNU/Linux和MinGW变体。
浏览 3提问于2015-06-06得票数 2
回答已采纳
背景
我刚刚升级了一个项目，从Webpack 4升级到Webpack 5。随着新版本的推出，似乎任何性能提示(警告)都会让我们在退出过程时返回一个非零错误代码1。
这破坏了我的生产构建，在这里，我使用npm run --silent执行webpack脚本。
解决办法
如果删除配置文件中的性能提示，则不会返回错误代码。
performance: {
hints: false, //"warning",
},
问题
在Webpack 4中，这些提示没有返回任何错误代码。
如何在Webpack 5中启用性能提示作为警告-而不获得非零退出代码？
浏览 0提问于2020-10-02得票数 0
回答已采纳
我安装了一些库，并试图编译一个代码。
1) ocamlc -I /usr/lib -I /usr/local/lib/ocaml/3.11.2/apron -I /usr/local/lib/ocaml/3.11.2/gmp -c mlexample2.ml生成良好的mlexample2.cmi和mlexample2.cmo
2) ocamlopt -I /usr/lib -I /usr/local/lib/ocaml/3.11.2/apron -I /usr/local/lib/ocaml/3.11.2/gmp -o mlexample2.opt生成良好的mlexample2.cmx
然而，
浏览 2提问于2011-09-21得票数 0
回答已采纳
2回答
从一个在C世界受过训练的程序员来说，这是我使用OCaml的主要方法。
let main () =
Printf.printf "Hello, world - %d %s\n" (Array.length Sys.argv) Sys.argv.(0)
;;
main ()
但是，这段代码在ocaml/ocamlc/ocmalopt中工作得很好。
Printf.printf "Hello, world - %d %s\n" (Array.length Sys.argv) Sys.argv.(0)
;;
这背后的逻辑是什么？OCaml是否类似于
浏览 3提问于2015-02-25得票数 7
回答已采纳
我在定义接受uint64_t和char*的C函数的签名时遇到了问题。我试过int64 -> string -> _。
我也不知道如何一起编译我的C++文件(用C接口)
events.ml
open Lwt.Infix
external call: int64 -> string -> _ = "function_pointer_caller"
let begin_event pointer =
Lwt_unix.sleep 5.0 >>= fun () ->
call pointer "messag
浏览 6提问于2020-05-04得票数 2
我正在iPhone上实现一个BLE中央设备，使用一个定制的BLE设备(它的固件是由同事编写的)。
某些操作的外围设备将返回符合BLE规范中定义的标准蓝牙ATT错误代码的BLE错误代码。
在iPhone方面，在使用CoreBluetooth堆栈开发中央设备时，在xCode的调试器输出窗口上通知我如下所示：
CoreBluetoothWARNING未知错误: XX
然后在回调中接收一个CBError*对象。我的问题是，我在回调中获得的CBError*对象(例如，在CBPeripheralDelegate的didWriteValueForCharacteristic回调中)只包含code=0和loc
浏览 7提问于2013-08-29得票数 5
回答已采纳
我在做一个凯撒密码程序。目前我正在尝试加密一条消息。我正在编写一个函数来完成这个任务。编译器执行代码时没有任何错误，但是代码的最终输出，它应该显示加密消息，它产生的加密消息是：
����
为什么会这样呢？我的错误代码如下。任何形式的帮助都会受到感谢。提前谢谢你。
#include <stdio.h>
#include <stdlib.h>
#include <ctype.h>
浏览 0提问于2019-04-25得票数 0
1回答
我试着从C程序中调用ocaml代码。我一直在跟踪一些文档。C程序称为hello.c，它试图使用callme.ml中定义的Ocaml函数。
与链接一样，我将分两个步骤完成此操作:首先将ml文件编译为一个对象文件：
ocamlopt -output-obj -o callme2.o callme.ml
然后尝试用以下代码将其链接到我的“主”二进制文件：
gcc -Wall -I`ocamlopt -where` -L`ocamlopt -where` -lasmrun -lm -ldl -o hello hello.c callme2.o -lasmrun
但是我遇到了以下问题：main已经在
浏览 3提问于2015-06-24得票数 2
回答已采纳
3回答
我试图在SSIS (OLE DB Source)中向我的数据添加3个字母。我的数据的源格式是float，所以我首先将它转换为int，旁边是char，然后添加到string中：
‘'ABC'+cast(cast(KL.ID as int)作为char(46)) Id
我上了微软2008R2
ABC443400
但是，当我在SSIS中运行这段代码时，我得到：
[OLE DB Source 1]错误:输出"OLE DB Source Output“(11)的输出列"Id”(37)出现错误。返回的列状态是：“由于数据可能丢失，无法转换值”。
[OLE
浏览 10提问于2016-03-15得票数 0
回答已采纳
从sql服务器导出到使用ssis的excel。导出大约80%通过写入excel文件，然后由于此错误而失败。每次都停在同一行。正在写入的字段中的值是length参数中的好值，并且不包含任何奇怪的字符。因为35行成功地通过并写入了excel文件，所以我假设数据类型是正确的( server中的nvarchar(Max)，SSIS中的DT_WSTR(4000) )。还有什么事情可以触发这个错误呢？使用SSIS 2008，excel 2007输出文件。
错误消息：
错误: 0xC0202009在数据流任务1，Excel目的地1380: SSIS错误代码DTS_E_OLEDBERROR。发生了OLE D
浏览 4提问于2015-04-28得票数 1
回答已采纳
指示它可能会产生ERROR_PENDING错误代码。然而，此错误代码似乎不是在winerror.h中定义的，也不是从ktmw32.h或windows.h (使用Visual Studio2010中包含的Windows SDK版本)可以访问的任何其他头文件中定义的。实际上，我在Windows SDK7.1中找不到一个包含文本ERROR_PENDING的文件；手动浏览列表也不能显示它。我在哪里可以找到这个难以捉摸的错误代码的定义？
实验表明CommitTransactionAsync可以生成ERROR_SUCCESS -这是文档错误的简单问题吗？
浏览 0提问于2010-08-21得票数 4
回答已采纳
1回答
使用插件时出错
、、、
考虑到插件被认为处于开发的“早期阶段”，也许我现在运气不好。但想知道是否还有其他人遇到过这样的问题：
navarre@navarre-t400:~/code/c$ frama-c max.cpp
[kernel] Parsing FRAMAC_SHARE/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing max.cpp (external front-end)
: CommandLine Error: Option 'asm-macro-max-nesting-depth' reg
浏览 1提问于2017-08-12得票数 1
回答已采纳
2回答
我正在尝试创建一个库，我可以在其他OCaml项目中使用，我完全迷路了。
我目前正在使用ocamlbuild，这是一个很好的吐出可执行文件，但我不知道如何从它得到一个库。
我在ocamlopt和ocamlc中发现了ocamlc选项，但我不太确定如何使用它。我找到的文档(例如，)似乎假定了一些已有的知识。我甚至不知道.a文件是什么。在运行这个程序之后，我需要构建一个依赖于这个库的项目吗？我需要mli文件以便应用程序知道库代码的签名，还是输出中包含了这些签名？而且，能够将所有文件打包在一起也很好，类似于.jar文件。
无论如何，我希望ocamlbuild能为我做所有这些，因为如果我必须调用ocaml
浏览 3提问于2014-05-26得票数 11
回答已采纳
我正在尝试从Vim中的make中获取"0 of success，code 0if error“的返回码。具体地说，我在Ubuntu上，使用v:shell_error不起作用。
在深入研究并查看之后，这似乎是因为我的外壳管道设置，这是
shellpipe=2>&1| tee
tee通过管道将make输出返回到vim中。shell显然是从tee向vim返回错误代码，而不是从make返回。我如何得到make的错误代码呢？
浏览 0提问于2010-06-20得票数 2
回答已采纳
我试图编译以下示例
open Core.Std
module Foo_and_bar : sig
type t = S of string | I of int
include Hashable.S with type t := t
end = struct
module T = struct
type t = S of string | I of int with sexp, compare
let hash t1 t2 = (hashData t1)
end
include T
include Comparable
浏览 0提问于2015-05-10得票数 0
回答已采纳
有时，当我调用[[FIRMessaging messaging] subscribeToTopic:myTopic] (或取消订阅)时，我会看到控制台中记录的错误。有时他们有错误代码，而其他时候，这只是一条这样的消息：
无法取消订阅主题:/主题/my_topic与令牌：(null)
这个似乎是因为它不认为它有一个令牌，虽然通常当我看到它时，我已经给它一个令牌。
但是，没有明显的编程方法可以知道何时发生错误。没有传递给subscribe方法的回调，它们的返回类型是void。我想我在谷歌的某个地方读到了这些错误，图书馆会自己重新尝试，但现在我找不到了，而且它不在任何地方的中。错误代码也没有
浏览 1提问于2016-08-09得票数 2
回答已采纳
我从一个OCaml程序运行一个子进程并检查它的终止状态。如果它正常退出(WEXITED int)，我将得到预期的返回代码(0通常表示成功)。
但是，如果它被信号(WSIGNALED int)终止，则i不能得到正确的POSIX信号号。相反，我得到一些(负) OCaml特定的信号号码。
如何将此非标准信号号转换为适当的POSIX信号号，以获得正确的错误报告？或者，如何将此数字转换为字符串？
(我知道有大量像Sys.sigabrt这样的命名整数值，但我真的需要自己编写那个大型match语句吗？此外，我不明白为什么他们一开始就没有使用适当的变体类型，因为这些信号号无论如何都是OCaml特定的。)
浏览 0提问于2020-05-02得票数 1
我想将一个网络数据包的缓冲区传递给C。我已经知道如何对简单的OCaml类型执行此操作，但我不知道如何从这个CStruct库中传递缓冲区。
我正在使用的库使用，我不知道为什么，但看起来它模仿了C结构，所以我猜将它作为缓冲区传递给C应该很容易。
下面是在我的代码中创建缓冲区的方式：
let buf = Cstruct.create size in
如果我们看一下它的代码，它调用，这是
let buffer = Bigarray_compat.(Array1.create char c_layout len) in
{ buffer ; len ; off = 0 }
对于OCaml的最新版本，
浏览 0提问于2020-05-04得票数 0
1回答
对于将库添加到链接器的顺序，我有一个问题。以前通过ocamlbuild构建的库是在flag规则包含的库列表之后链接的。而且，我也看不到在myocamlbuild.ml中定义这种依赖关系的任何方法。
具体而言，问题在于与需要库本身(gzcaml)的先前构建的库(z)链接。由于gcc的新版本增加了严格性，所以论点-lz必须出现在libgzcaml.a之后。
我包括所有这些图书馆，
flag ["ocaml"; "link"]
(S (process "-cclib" clibs))
其中，process创建了一个列表，适当地交替使用库和A&#
浏览 3提问于2011-11-28得票数 6
回答已采纳
我发布了一个没有人回应的，我希望这里的人要么叫我白痴，要么确认情况，要么提供一个有创意的解决方案。
当通过ocamlbuild构建动态库时，我被困在最后的链接线上，
/opt/ocaml-3.12.1/bin/ocamlopt.opt -shared -verbose -cc gcc plugins/example.cmx -o plugins/example.cmxs -ccopt -v
+ as -o 'plugins/example.cmxs.startup.o' '/tmp/camlstartupe6993f.s'
+ gcc -o 'plugi
浏览 3提问于2011-12-07得票数 3
回答已采纳
我试图在mac x10.9中安装最新版本的frama(Fluorine 3)。使用brew，我能够满足frama-c(Gtk、GtkSourceView、GnomeCanvas和Lablgtk2)的先决条件。
配置文件的结果如下：
$ ./configure
configure: ******************
configure: * CONFIGURE MAKE *
configure: ******************
checking for make... make
make version is GNU Make 3.81: Good!
configure: ******
浏览 9提问于2013-11-11得票数 1
回答已采纳
我在编译ocamlopt和floats时遇到了问题
我在Ubuntu 10.04和Ocaml 3.11下面
这一行：
let a = 10.0;;
无忧无虑
不要担心ocamlc ( test.ml文件中的代码)：
ocamlc -o exec test.ml
与ocamlopt错误：
ocamlopt -o exec test.ml
电文：
文件"test.ml"，第1行，字符0-1:错误:汇编程序错误，留在文件/tmp/camlasm5c3d4d.s中的输入
这是从哪里来的？
编辑:问题解决了，3.12修复了
谢谢各位:)
浏览 1提问于2012-01-13得票数 1
回答已采纳
我在Windows7上安装了wodi64。当我尝试用以下命令编译一个简单的hello world程序时：
ocamlopt -o hello hello.ml
我得到一个错误：
File "hello.ml", line 1:
Error: Corrupted compilation unit description
C:/wodi64/opt/wodi64/lib/ocaml/std-lib\pervasives.cmx
hello.ml文件的内容如下所示：
print_string "Hello world!\n";;
有没有办法解决这个问题？谢谢。
浏览 0提问于2013-05-17得票数 0
回答已采纳
我的程序使用了所有可用内存，所以我想检查哪些函数和抽象破坏了我的项目。我决定使用Memprof，所以我安装了它们的编译器，并使用命令编译了我的代码。
ocamlfind ocamlopt -package xml-light unix.cmxa str.cmxa -c -g NKJPxmlbasics.ml NKJP.mli NKJP.ml test.ml
然后按照教程中的建议运行。
ocp-memprof --exec ./test
但这是错误而不是结果：
错误:没有找到内存分析信息。可能的原因：-应用程序没有使用内存分析支持进行编译；-应用程序在执行任何主要垃圾回收之前退出。
我
浏览 4提问于2015-12-25得票数 1
我有一个批处理文件，它通过一些命令运行，但有时这些命令输出一个错误代码。我想让我的脚本在获得特定的错误代码时自动完成一些事情，这可以很容易地通过if语句来完成--我的问题是，我不知道如何从运行命令时生成的文本中捕获错误代码。
当前，脚本将命令的整个输出保存到一个名为ato的变量中。在这个变量中，有一个错误代码被'所包围。我想我可以在我想要创建的变量中使用这些撇号作为分隔符，但是我不知道该怎么做。我已经找到了一些线程，它们似乎为我指明了一个很近的方向，但我无法让它们工作，我只是一个批次脚本的新手。
我正在处理的字符串如下所示：An error has occurred, error co
浏览 1提问于2016-06-02得票数 0
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM活动推荐
腾讯云开发者
