camlp5r.opt - 云端在线

程序：

您的姓名

camlp5 - 用于 ocaml 的 Pre-Precessor-Pretty-Printer
mkcamlp5 - 创建自定义 camlp5
mkcamlp5.opt - 创建自定义 camlp5（本机代码）
ocpp5 - 通用预处理器

概要

营地5 [加载选项] [--] [其他选项]
坎普5o [加载选项] [--] [其他选项]
camp5r [加载选项] [--] [其他选项]
camlp5sch [加载选项] [--] [其他选项]
camlp5o.cma
camlp5r.cma
camlp5sch.cma
MKCAMLP5
mkcamlp5.opt
奥普5 [加载选项]文件

camlp5o.opt [--] [其他选项]
camlp5r.opt [--] [其他选项]

商品描述

营地5 是 OCaml 的 Pre-Processor-Pretty-Printer，解析源文件并打印
标准输出的一些结果。

坎普5o， camp5r 和 camlp5sch 是版本 营地5 一些文件已经加载（见
更远）。

camlp5o.cma, camlp5r.cma 和 camlp5sch.cma 是要在 ocaml 顶层加载以使用的文件
camlp5 机器

MKCAMLP5 和 mkcamlp5.opt 创建具有几乎相同选项的 camlp5 可执行文件
omlmktop。 进一步看。

奥普5 是一个通用的预处理器，处理任何类型的源文件，生成相同的
扩展了可能的引文的文本。

camlp5o.opt 和 camlp5r.opt 是由本地编译的camlp5o 和camlp5r 的版本-
代码编译器ocamlopt。 它们速度更快但不可扩展。 他们不可用
所有安装的camlp5。

加载 配置

加载选项选择记录在 OCaml 对象文件中的解析和打印操作
（以 .cmo 或 .cma 结尾）。 这些选项的几种用法是被授权的。 他们一定
在其他选项之前。

可选 -- 可能会结束加载选项。

-I 目录
地址 目录 在加载的文件的搜索路径中。 除非选项 -nolib 是
使用时，camlp5 库目录附加到路径。 警告：没有
在当前目录中自动搜索：添加“-I”。 为了这。

-在哪里 打印camlp5 库目录名称并退出。

-nolib 没有自动搜索camlp5 库目录中的对象文件。

目标文件
该文件加载到camlp5核心中。

其他 配置

其他选项是：

文件 对待 文件 如果以 .mli 结尾，则作为接口文件和作为实现文件
如果以 .ml 结尾。

-intf 文件
对待 文件 作为接口文件，无论其扩展名如何。

-impl 文件
对待 文件 作为实现文件，无论其扩展名如何。

-不安全
生成对数组和字符串的不安全访问。

-无断言
不要编译断言检查。

-冗长
更详细的解析错误。

-量子点 文件
倾倒在 文件 在引用扩展结果中出现语法错误的情况下。

-o 输出文件
在输出文件而不是标准输出上打印结果。 文件打开方式为
open_out_bin（参见 OCaml 库 Pervasives）。

-v 打印版本号并退出。

-救命 打印可用选项并退出。 此印刷品可能包括选项
由加载的目标文件添加。

其他选项可以通过加载的目标文件进行扩展。 提供的文件添加
以下选项：

-l 行长
由 pr_o.cmo 和 pr_r.cmo 添加：设置行长（默认 78）。

-九月 绳子
由 pr_o.cmo 和 pr_r.cmo 添加：在短语之间打印此字符串而不是
意见。

-no_ss 由 pr_o.cmo 添加：不打印双分号

-D IDENT
由 pa_macro.cmo 添加：定义身份。

-U IDENT
由 pa_macro.cmo 添加：取消定义标识。

的提供 FILES

这些文件安装在目录 /usr/lib/ocaml/camlp5 中。

解析文件：
pa_r.cmo：修改后的语法
pa_rp.cmo：流和解析器
pa_lexer.cmo：词法分析器
pa_o.cmo：正常语法
pa_op.cmo：流和解析器
pa_oop.cmo：流和解析器（无代码优化）
pa_scheme.cmo：方案语法
pa_extend.cmo：语法的语法扩展
pa_extfold.cmo：带有 FOLD0 和 FOLD1 的 pa_extend 扩展
pa_extfun.cmo：可扩展函数的语法扩展
pa_extprint.cmo：可扩展打印机的语法扩展
pa_pprintf.cmo：pprintf 语句的语法扩展
pa_fstream.cmo：功能流的语法扩展
pa_macro.cmo：像在 C 中一样添加宏（ifdef、define）
pa_lefteval.cmo：从左到右评估参数
pa_pragma.cmo：指令#pragma

打印文件：
pr_r.cmo：没有对象和标签的修订语法
pr_ro.cmo：对象和标签的修订语法
pr_rp.cmo：尝试重建流和解析器语法
pr_o.cmo：正常语法
pr_op.cmo：尝试重建流和解析器语法
pr_scheme.cmo：方案语法
pr_schemep.cmo：尝试重建流和解析器语法
pr_extend.cmo：尝试重建 EXTEND 语句
pr_extfun.cmo：尝试重建 extfun 语句
pr_extprint.cmo：尝试重建 EXTEND_PRINTER 语句
pr_dump.cmo: ocaml 编译器的转储语法树
pr_depend.cmo：文件依赖
pr_null.cmo：无输出

报价扩展器：
q_MLast.cmo：语法树节点（修改后的语法）
q_ast.cmo：用户完整语法中的语法树节点
q_phony.cmo：保留漂亮印刷的报价单

命令 坎普5o 是一个快捷方式：
camlp5 pa_o.cmo pa_op.cmo pr_dump.cmo

命令 camp5r 是一个快捷方式：
camlp5 pa_r.cmo pa_rp.cmo pr_dump.cmo

命令 camlp5sch 是一个快捷方式：
camlp5 pa_scheme.cmo pr_dump.cmo

该文件 camlp5o.cma 可以在顶层加载以使用 OCaml 语法启动 camlp5。

该文件 camlp5r.cma 可以在顶层加载以使用修改后的语法启动camlp5。

该文件 camlp5sch.cma 可以在顶层加载以使用 Scheme 语法启动 camlp5。

MKCAMLP5

MKCAMLP5 和 mkcamlp5.opt 创建具有几乎相同选项的 camlp5 可执行文件
omlmktop。 版本 mkcamlp5.opt 可以创建本机代码可执行文件，更快但不是
可扩展。

对于 mkcamlp5，必须在命令行中明确添加要可见的接口，如
“.cmi”文件。 例如，如何添加 OCaml 模块“str”：
mkcamlp5 -自定义 str.cmi str.cma -cclib -lstr -o camlp5str

环境 变量

还参考了以下环境变量：

CAMLP5参数
设置语法解析算法参数。 这个变量必须是一个序列
参数规格。 参数规范是可选的字母
后跟一个 = 和一个值。 有四个可能的参数：

b （回溯）
将回溯算法设置为默认值。

t （痕迹）
使用回溯解析时跟踪符号（终结符和非终结符）。

y （跟踪停滞）
在回溯中，跟踪输入流中的前进（未冻结令牌的数量）
以及可能的停顿（令牌测试数量）。

l （最大停顿）
设置最大失速值。

使用 onworks.net 服务在线使用 camlp5r.opt