在ocaml源代码中，`/boot/ocamlc`文件从何而来？
在OCaml源代码中，/boot/ocamlc文件是由OCaml编译器生成的字节码编译器。它是OCaml编译器的一部分，用于将OCaml源代码编译成字节码文件（.cmo）或原生代码文件（.cmx）。/boot/ocamlc文件通常位于OCaml安装目录的bin子目录中。
/boot/ocamlc文件的生成过程涉及到OCaml编译器的构建和安装。首先，OCaml源代码需要经过编译器的构建过程，包括词法分析、语法分析、类型检查、代码生成等步骤。然后，编译器会将生成的字节码编译器保存为/boot/ocamlc文件。
/boot/ocamlc文件的存在使得开发者可以使用OCaml编译器来编译和执行OCaml源代码。通过运行/boot/ocamlc命令，开发者可以将OCaml源代码编译成可执行文件或库文件，以便在OCaml运行时环境中运行。
推荐的腾讯云相关产品：腾讯云函数（SCF）是一种无服务器计算服务，可帮助开发者在云端运行代码而无需搭建和管理服务器。您可以使用腾讯云函数来运行OCaml源代码，实现自动化部署、事件驱动的应用程序等场景。详情请参考腾讯云函数产品介绍：腾讯云函数。
相关·内容
当从源代码编译Ocaml时，它使用/boot/ocamlc编译.ml文件。
所以ocaml使用ocamlc本身来构建自己。第一个ocamlc文件是从哪里来的？没有/boot/ocamlc，我如何编译第一个ocamlc二进制文件
浏览 14提问于2017-03-10得票数 0
回答已采纳
我在构建目录旁边有我的源代码
ocamlc -c file1.ml
ocamlc -c file2.ml
…
ocamlc -o main.ml ….cmo
我有编译生成的文件的源文件。
我想要一个ocamlc选项，它使我能够在构建目录中拥有这个文件。
我知道我可以做ocamlc -o build/main.ml .....cmo，但是我也想在构建目录中使用.cmo。
谢谢你的帮助
浏览 1提问于2018-05-09得票数 0
回答已采纳
嗨，我想用TypeRex，但上面写着
$ ./configure
checking for ocamlc... ocamlc
OCaml version is 4.00.1
OCaml library path is /usr/local/lib/ocaml
checking for ocamlopt... ocamlopt
checking for ocamlc.opt... ocamlc.opt
checking for ocamlopt.opt... ocamlopt.opt
checking for ocaml... ocaml
checking for ocamldep.opt..
浏览 1提问于2013-01-12得票数 3
回答已采纳
我正在尝试使用js_of_ocaml将带有在线下载源代码的Yojson转换为字节文件。
我尝试以下命令：
%: ocamlfind ocamlc -package yojson -linkpkg -g -o yojson.cmo
%: ocamlfind ocamlc -package js_of_ocaml -package js_of_ocaml-ppx -linkpkg -g -o -package yojson yojson.byte
我试图将一个OCaml文件编译成字节码，但是它会产生以下错误：
%: ocamlfind ocamlc -package js_of_ocam
浏览 16提问于2022-04-28得票数 0
我正在尝试在解释器中编译/运行另一个程序员编写的程序。这个程序使用这个结构：
#load "unix.cma"
这是我以前从未遇到的。我找到了这个页面：，其中提到了它，但是在解释器中键入这段代码会导致语法错误。当我通过ocamlc使用此指令运行文件时，也会发生同样的事情。我遗漏了什么？
ocamlc -v
The Objective Caml compiler, version 3.12.1
Standard library directory: /usr/lib64/ocaml
浏览 0提问于2013-07-06得票数 0
回答已采纳
在macOS高山上使用ocaml-top 1.1.5和ocaml 4.02.3：
当编译一个文件时，当函数触发(模式匹配)警告8时，警告显示为红色(在我通常使用的Windows ocaml-top版本中，它将是黄色的)；函数本身似乎是编译的，并给出了一个类型，但文件中位于它下面的函数无法编译(就好像警告是实际的编译错误一样)。
我怎么才能编译通过它呢？我失踪的案子显然是故意的。
编辑:由于没有ocaml-top特定的答案，我只是用_-> failwith "blabla"类型语句完成了所有的模式匹配。我应该使用比ocaml-top更好的东西吗?对于那些不知道包依赖等如何工
浏览 1提问于2018-05-28得票数 0
我在编译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
回答已采纳
我正在尝试使用Yojson构建一个简单的程序：main.ml文件只是
let () = exit 1;
一个mod.ml文件包含
open Yojson
open Yojson.Basic.Util
let rec json_to_tree json =
let _ = json |> member "key" in
()
我有一个Makefile，它首先编译.ml文件，然后链接。为简单起见，假设我们运行以下三个命令：
ocamlfind ocamlc -package yojson -g -c mod.ml
ocamlfind oca
浏览 6提问于2018-02-13得票数 0
回答已采纳
我想在OCaml repo ocaml/tools/dumpobj.ml中构建dumpobj.ml文件
通过使用
ocamlbuild -use-ocamlfind -pkg compiler-libs.common dumpobj.byte
但它失败了
所以我最小化了代码来创建一个test.ml
let _ = Bytesections.Bad_magic_number;
仍然通过使用
ocamlbuild -use-ocamlfind -pkg compiler-libs.common test.byte
但是输出结果是
ocamlfind ocamldep -package compil
浏览 8提问于2017-01-20得票数 0
回答已采纳
我正在尝试找出如何使用ocamlfind编译C库和使用该C库编译OCaml可执行文件。
我整理了一组相当愚蠢的示例文件。
% cat sillystubs.c
#include <stdio.h>
#include <caml/mlvalues.h>
#include <caml/memory.h>
#include <caml/alloc.h>
#include <caml/custom.h>
value
caml_silly_silly( value unit )
{
CAMLparam1( unit );
p
浏览 3提问于2010-05-11得票数 4
回答已采纳
我正在尝试使用js_of_ocaml构建。根据的说法，我的makefile中有下面这一行
OCAMLC = ocamlfind ocamlc -package js_of_ocaml -package js_of_ocaml.syntax -syntax camlp4o -linkpkg -g -dtypes
然而，当我尝试构建时，我得到了以下错误：
ocamlfind ocamlc -package js_of_ocaml -package js_of_ocaml.syntax -syntax camlp4o -linkpkg -g -dtypes -c types.ml
&g
浏览 8提问于2018-01-15得票数 0
回答已采纳
1回答
我在一个文件夹中存储了名为assert.ml、assert.mli、test.ml和test.mli的文件。assert是我猜你会称它为库文件--这是我下载但不是自己写的东西。test.ml是一个包含脚本的文件
;; open Assert
;; print_endline "test"
在终端中，我导航到包含的文件夹并运行
$ ocamlc -c assert.mli test.mli
$ ocaml assert.ml test.ml
结果什么也没发生。但是，如果我从脚本中删除;; open Assert行并运行
$ ocaml test.ml
然后印出来。
请注意，有些
浏览 1提问于2017-09-21得票数 2
回答已采纳
我从OCaml安装了 4.01.0。我现在正在试着制造凸轮5-6.11。当我在cygwin中运行./配置& make world.opt时，我得到
...
sed -e "s|@VERSION@|6.11|" -e "s|@CAMLP5DIR@|D:\OCaml\lib/camlp5|" META.tpl > META
make[2]: Leaving directory '/cygdrive/d/Downloads/camlp5-6.11/etc'
make[2]: Entering directory '/cygdriv
浏览 2提问于2013-11-06得票数 0
回答已采纳
此Frama镁-20151002编译环境为Ubuntu16.04 (Xenial).
Ocamlc src/plugins/gui/debug_manager.cmi
Ocamlc src/plugins/gui/help_manager.cmi
Ocamlc src/plugins/gui/property_navigator.cmi
Ocamlc src/plugins/gui/gui_parameters.cmo
Ocamlc src/plugins/gui/gtk_helper.cmo
File "src/plugin
浏览 1提问于2016-03-03得票数 0
回答已采纳
Ocaml手册包含一个练习()，其中库对象文件以以下方式加载到toplevel循环( ocaml交互式解释器)中：
#load "dynlink.cma";;
#load "camlp4o.cma";;
我正在尝试将后续代码复制到一个可编译的源文件中，这些代码需要上面的库目标文件。我可以在源文件中使用一行代码加载这些文件，然后使用ocamlc进行编译吗？我尝试过"#load“、"load”、"#use“、"use”、"#require“、"require"，所有这些都以"#directory”和&#
浏览 0提问于2012-12-12得票数 4
回答已采纳
我从源构建ocaml，首先./配置，然后创建世界
所以我在源文件夹下有一个ocamlc程序。
我编写了一个简单的程序a.ml：
let a=1
然后./ocamlc a.ml
但有错误:无约束的穆勒·珀瓦西夫
我试着用
./ocamlc -I +编译器-libs ./stdlib/stdlib.cma a.ml
和
./ocamlc -I +编译器-libs./编译器库/*..cma a.ml
但也犯了这个错误
那么，如何使用新编译的ocamlc构建a.ml呢？
浏览 1提问于2018-04-23得票数 0
回答已采纳
这里有一个简单的ocaml文件，目的是让我了解如何将使用电池库的程序加载到ocamltop。
batteryassault.ml
open Batteries
let main = print_string "hello, world ... powered on"
我将此编译为字节码
ocamlfind ocamlc -package batteries -linkpkg batteryassault.ml
导致batteryassault.cmo和batteryassault.cmi，没有错误，也没有警告。然后，我开始使用电池驱动的ocamltop
rlwrap ocam
浏览 8提问于2015-04-23得票数 0
1回答
我一直在学习OCaml的LLVM万花筒教程。在上，我已经导航到文件夹中的示例代码
OCaml-Kaleidoscope\Chapter2
我在编译时遇到一个问题
ocamlbuild toy.byte
在cygwin上。这是教程中给出的要编译的代码。
我得到的错误是
''ocamlc.opt -c -I +camlp4 -pp camlp4of -o parser.cmo parser.ml
File "parser.ml", line 1:
Error: The files C:\OCaml\lib\pervasives.cmi and token.cmi
浏览 0提问于2016-05-03得票数 0
我通过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回答
因此，在OCaml中执行命令的默认方式是Sys.command s，其中s是本例中的命令，但是当命令涉及本地程序时，我遇到了一个问题。例如，如果我有一个从ocaml文件编译的名为prog的可执行文件，并且我使用Sys.command "prog {args}"，我得到一个错误消息'prog' is not recognized as an internal or external command, operable program or batch file.，并且使用命令./prog {args}似乎也不会改变任何事情，因为它说'.' is n
浏览 1提问于2016-10-27得票数 3
我有三个签名-- A.mli、B.mli和C.mli。在它们中，我分别有子模块Aa、Bb和Cc，以及实现Ai、Bi和Ci的签名。
我在一个名为D.ml的文件中实现了它们，该文件如下所示
open A
open B
open C
module Ai : Aa = struct ... end
module Bi : Bb = struct ... end
module Ci : Cc = struct ... end
我使用以下命令依次编译它们：
ocamlfind ocamlc -linkpkg -thread -package core A.mli
ocamlfind ocamlc -li
浏览 3提问于2015-03-29得票数 2
回答已采纳
1回答
我下载了 Makefile，我很难理解它是如何工作的。
我正在用Ocaml编程，对于某些模块，我实现了一个interface (.mli)。奇怪的是，即使我在相应的.mli文件之前添加.ml文件，Makefile似乎跳过了它；所以我得到了错误
could not find the X.cmi for the module X.
更糟糕的是，我在没有必需的.mli的情况下添加了一些文件，奇怪的是，Makefile会自动将它们添加到源代码列表中。
我说的是，奇怪的是，，但对于Makefiles专家来说，这也许是完全正常的。
我不是Makefile的专家，有人能帮我理解这个Makefile的工作原理
浏览 0提问于2012-07-31得票数 0
1回答
我的环境设置是Ubuntu14.04LTS x86_64：
在I "./configure“之后加上"make”之后，错误如下：
Ocamlc src/plugins/value/gui_eval.cmi
Ocamlc src/plugins/value/gui_eval.cmo
Ocamlc src/plugins/value/gui_callstacks_filters.cmi
Ocamlc src/plugins/value/gui_callstacks_filters.cmo
Ocamlc src/plugin
浏览 2提问于2016-03-02得票数 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
回答已采纳
我有4份文件：
A.mli A.ml B.mli B.ml
使用ocamlc -c，我编译了A.mli，然后是A.ml，然后是B.mli，没有错误
如何在A中使用代码表单文件B.ml
在文件B.ml开始时，我有
#load "A.cmo"
这一行无法使用ocamlc -c进行编译。
如何在代码中加载模块(编译代码)？
浏览 0提问于2015-12-30得票数 0
回答已采纳
当我尝试构建一些项目时，比如Jane Street's Hello World Core
，
这使我犯了这样一个错误：
ocamlc -c -w @A-4-33-23 -短路径 -g -annot -thread -package core，sexplib.syntax，bin_prot.syntax，comparelib.syntax，fieldslib.syntax，variantslib.syntax，异步，core_extended -syntax camlp4o -o -o-syntax core_extended
ocamlc:未知选项‘-短路径’。用法: ocamlfi
浏览 1提问于2013-06-13得票数 1
回答已采纳
1回答
我在一个名为main.ml的文件中有这个文件
let () = JsooTop.initialize ()
我尝试使用以下命令编译该文件：
ocamlfind ocamlc -package js_of_ocaml -linkpkg -o main.byte main.ml
但出现以下错误：
File "main.ml", line 1, characters 9-27:
Error: Unbound module JsooTop
我的机器上似乎没有JsooTop，所以我运行了opam install js_of_ocaml-toplevel，并尝试使用以下命令再次编译该文件：
浏览 12提问于2018-09-04得票数 0
回答已采纳
2回答
我正在Ubuntu12.04上使用OCaml，我试图使用make函数编译它，但它不太管用。
当前正在尝试编译程序EVA2H1，但它返回
ocamlc -w A -g -c error.mli
File "error.mli", line 54, characters 3-6:
Error: The type variable name '_a is now allowed in programs
make: *** [error.cmi] Error 2"
我在谷歌上搜索了“_a在程序中是不允许的”，并在这里看到，所以我输入了
# let f = List.so
浏览 0提问于2014-01-27得票数 1
回答已采纳
在使用ocamlbuild和corebuild命令进行构建时，我希望将-S标志传递给ocamlopt。
我知道做ocamlbuild -cflag -S ...是行不通的，因为-S标志只存在于ocamlopt而不存在ocamlc。
我如何使用_tags文件来完成这个任务？
浏览 0提问于2014-12-06得票数 6
回答已采纳
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
回答已采纳
我正在尝试创建一个项目，它的编译命令中有一个-unsafe-string作为参数。在运行ocamlc.opt: OCaml has been configured with -froce-safe-string: -unsafe-string is not avaiable时，我得到的消息是相同的ocamlc.opt -unsafe-string消息
运行ocamlc.opt --help --我得到的是safe-string: (was set when configuring the compiler) --我没有找到任何关于如何更改配置的资源。
我使用的ocaml版本是4.07.0，op
浏览 4提问于2021-07-02得票数 0
回答已采纳
我在我的Mac中编写了一个一行的OCaml程序：print_string "hello world!\n"。然后我用ocamlopt -o test test.ml编译了它，生成的test运行良好。
然后，我将此test scp到未安装OCaml的Ubuntu & Nginx服务器。我启动了./test，得到一个错误：-bash: ./code: cannot execute binary file: Exec format error。
那么，我是否必须在服务器上安装OCaml，然后在那里编译我的程序？难道不能在Mac OS中以某种方式编译我的程序，使可执行文件单独在
浏览 16提问于2016-09-13得票数 1
回答已采纳
1回答
我的makefile中有几个推理规则，如下所示：
%.ml: %.mll
$(OCAMLLEX) $*.mll
%.ml %.mli: %.mly
$(OCAMLYACC) $*.mly
%.cmo: %.ml %.cmi
$(OCAMLC) $(OCAMLFLAGS) -c $*.ml
%.cmx: %.ml %.cmi
$(OCAMLOPT) $(OCAMLFLAGS) -c $*.ml
%.cmi: %.mli
$(OCAMLC) $(OCAMLFLAGS) -c $*.mli
%.cmo: %.ml
$(OCAMLC) $(OCAMLFL
浏览 1提问于2016-02-28得票数 0
现在，我尝试使用ocamlfind和一些包编写编译器，特别是使用opam的ppx_sexp_conv。
ppx_sexp_conv的依赖关系某种程度上需要compiler-libs，因此在ocamlfind ocamlc -package ppx_sexp_conv编译文件时添加了编译选项-I ~/.opam/VERSION/lib/compiler-libs。
问题是，compiler-libs包含非常常见的名称文件，如parsing.cmi、main.cmi、lexing.cmi。
这就产生了.cmi文件的冲突，并发出了以下许多噪音警告：
$ ocamlfind ocamlc -pack
浏览 0提问于2016-07-10得票数 5
回答已采纳
2回答
在创建toplevel时，不允许模块名与内部编译器库发生冲突。
解决这类模块名称冲突的策略是什么？
理想情况下，是否可以向ocamlc传递一些参数，以指示它“损坏”所有模块的名称，以便使用像MyProject_这样的自定义前缀？(从OCaml ABI的角度来看，并不是真正地改变源文件)
以下是完整的例子：
Sqrt.ml包含
let sqrt x = x ** 0.5
Sqrt.mli包含
val sqrt : float -> float
mktop包含
#!/bin/bash
ocamlc -c Sqrt.mli -o Sqrt.cmi
ocamlc -c Sqrt.ml -o
浏览 6提问于2017-09-08得票数 6
回答已采纳
我正在尝试编译一个小的C程序，它独立于OCaml本身使用Ocaml。 代码： #include <caml/mlvalues.h>
#include <caml/memory.h>
void foo(value v1, value v2, value v3)
{
CAMLparam3 (v1, v2, v3);
CAMLreturn0;
} 编译时使用： gcc -L/usr/lib/ocaml -lcamlrun -lm -ldl -lcamlstr src/benchmarks/binarytrees-escaped.c 输出： /usr/lib
浏览 24提问于2021-01-27得票数 0
回答已采纳
1回答
在阅读了之后，我将这些代码放入.ml文件中：
let x = [3;5;9]
(* Testing append to the list *)
let () = assert( x @ [2;10] == [3;5;9;2;10])
然后跑
$ ocamlc -o BasicList BasicList.ml && ./BasicList
Fatal error: exception Assert_failure("BasicList.ml", 3, 9)
为什么会发生此错误？
还有其他有效的或良好的方法来测试我的功能吗？我读过的大多数教科书都是在R
浏览 6提问于2020-05-25得票数 0
回答已采纳
安装npm和node后，用js_of_ocaml编译OCaml文件会出现错误，因此我做了opam switch reinstall system
:testweb $ opam switch reinstall system
Your system compiler has been changed. Do you want to upgrade your OPAM installation ? [Y/n] y
=-=- Upgrading system -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[WARNING] b
浏览 0提问于2016-05-16得票数 4
回答已采纳
1回答
我有包含多个库的绿洲文件--如何为每个库启用-w ..和-warn-error +a？
作为参考，给定的绿洲文件的开头如下所示：
OASISFormat: 0.4
Name: re
Version: 1.5.0
Synopsis: Pure OCaml regular expression library
Authors: Jerome Vouillon, Thomas Gazagnaire, Anil Madhavapeddy
License: LGPL-2.0 with OCaml linking exception
Plugins:
浏览 2提问于2016-01-06得票数 3
我正在尝试构建一个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
我试图在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
回答已采纳
2回答
我已经在我的xfce上安装了OCaml，现在我想做一些图形程序。问题是我不知道如何安装graphics.cma (我认为这是我需要的文件，但我不确定)。
我在谷歌和这个论坛上有研究，但我找不到。
经过一点搜索，我发现我有graphics.cma和graphics.cmxa。
我和ls $(ocamlc -where) | egrep cmx?a一起发现了这个
我不知道为什么，但现在，我的图形功能完全可以工作。很抱歉给您带来不便。
谢谢你帮我伙计们。祝您今天愉快
浏览 2提问于2018-11-21得票数 1
回答已采纳
2回答
首先，我使用下面的makefile编译(我不知道它是否重要，但因为我用它编译.)：
NAME = project
ML = project.ml \
main.ml
MLI = project.mli
CMI = $(MLI:.mli=.cmi)
CMO = $(ML:.ml=.cmo)
CMX = $(ML:.ml=.cmx)
OCAMLDPE = ocamldep
CAMLFLAGS = -w Aelz -warn-error A
OCAMLC = ocamlc $(CAMLFLAGS)
OCAMLOPT = ocamlopt $(CAMLFLA
浏览 2提问于2017-05-16得票数 0
回答已采纳
有没有人能帮我解释一下？我正在尝试安装PLAN ( Active Networks的数据包语言)。在我的Mac OS X 10.8.4终端中：
hntvlan569:~ Scott_Andrew_Collins$ cd OCamlPLAN
hntvlan569:OCamlPLAN Scott_Andrew_Collins$ cd plan-3.22/
hntvlan569:plan-3.22 Scott_Andrew_Collins$ make
ocamlc.opt -pp "camlp4o pa_ifdef.cmo -DPLAN_UNSAFE -DPLANPORT_TCP -DC_C
浏览 2提问于2013-09-14得票数 0
2回答
我是OCaml的新手，我正在尝试使用它的库。为此，我需要包括一些.ml和.mli文件，如前面提到的和caml- files t.tar.gz，如前面提到的。
我的MakeFile中的初始内容行如下：
# HANSEI: OCaml library for direct probabilitic programming
#
# The library requires the caml-shift library, delimcc.cma and the
# correspondent .mli files. See caml-shift.tar.gz.
# Please adjust DEL
浏览 0提问于2014-02-13得票数 2
2回答
因此，我正在阅读，其中包括以下引语(涉及ocaml的问题)：
实际上有三个稍微不同的语法：
手册中描述了正式的一个。
编译器ocamlc接受其超集。
预处理程序Camlp4 (例如，它接受List.map 1;2;3 ~f:趣味x -> x，也被顶层所接受，但不接受编译器)也接受类似的东西(但又略有不同)。
哪些是被ocamlc接受但与手册不匹配的ocaml代码片段的示例？
PS -我主要对OCaml 4.00.1感兴趣，但以前的版本也很有趣.
浏览 1提问于2012-12-13得票数 1
回答已采纳
我目前正在尝试使用cygwin开始学习ocaml，但是当我试图编译ml文件时，什么都不会发生--没有错误消息，也没有创建文件。
我对cygwin的命令是，
$ ocamlc hello.ml
据我的教授说，应该有一个名为“a.out”的文件在我的工作文件夹上创建，但是什么也没有。
但当我尝试使用这个命令时，
$ ocamlc -o a.out hello.ml
正确地创建了a.out文件，我可以使用
$ ./a.out
正如教授所指出的那样。
为了做一些实验，我输入了以下内容，
$ ocamlc -o a hello.ml
这创建了一个名为“a”的文件，没有任何文件扩展名。
所以我的问题是，1
浏览 3提问于2015-09-01得票数 0
回答已采纳
我编写了一个只包含一行代码的Ocaml文件：open Findlib，然后保存该文件并将其命名为test.ml.In Ocaml64(Ocaml )环境，我输入了命令ocamlc -o test test.ml，出现了一个错误：Error:Unbound module Findlib。但是如果我打开ocaml交互环境并这样做的话：
$ ocaml
OCaml version 4.12.0
# #use "topfind"
;;
- : unit = ()
Findlib has been successfully loaded. Additional dir
浏览 4提问于2021-12-22得票数 0
回答已采纳
我试着读取ocaml编译器源代码，使用4.07源代码
我从驱动器/主机上读到的
我注意到它使用驱动程序/pparse.ml第161行函数“解析”来解析lex (我添加了一行Printf.printf "pparse.parse“，在make world之后，我使用boot/ocamlrun ./ocamlc -nostdlib -I stdlib -c a.ml来测试它，控制台编写"pparse.parse")：
let parse (type a) (kind : a ast_kind) lexbuf: a =
match kind with
| Structure-
浏览 1提问于2018-09-11得票数 1
回答已采纳
2回答
我有一个带有OCaml .ml文件和Menhir .mly文件的项目。我使用ocamlbuild编译该项目。
我的_tags文件包含以下一行：
true: use_menhir, package(batteries)
一切正常，除了我想在.mly文件中使用电池。如果我在我的open Batteries ;;文件中介于%{和%}之间，那么在调用ocamlbuild时，我会得到"Error: UnbinedModule电池“。
当ocamlbuild给menhir打电话的时候，就像这样：
/usr/bin/menhir --ocamlc '/usr/bin/ocamlfind oc
浏览 6提问于2013-08-17得票数 4
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
云直播活动推荐
腾讯云开发者
