これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、または MAC OS オンライン エミュレーターなどの複数の無料オンライン ワークステーションの 5 つを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド camlpXNUMXr.opt です。
プログラム：
NAME
camlp5 - ocaml 用プリプロセッサプリティプリンタ
mkcamlp5 - カスタム camlp5 を作成する
mkcamlp5.opt - カスタム camlp5 の作成 (ネイティブ コード)
ocpp5 - ユニバーサル プリプロセッサ
SYNOPSIS
カムルプ5 [ ロードオプション ] [--] [ その他のオプション ]
カムルプ5o [ ロードオプション ] [--] [ その他のオプション ]
カムルプ5r [ ロードオプション ] [--] [ その他のオプション ]
カムルプ5sch [ ロードオプション ] [--] [ その他のオプション ]
camlp5o.cma
camlp5r.cma
camlp5sch.cma
mkcamlp5
mkcamlp5.opt
ocpp5 [ ロードオプション ] ファイル
camlp5o.opt [ - ] [ その他のオプション ]
camlp5r.opt [ - ] [ その他のオプション ]
DESCRIPTION
カムルプ5 OCaml のプリプロセッサ - プリティ プリンタであり、ソース ファイルを解析して印刷します。
一部の結果は標準出力に出力されます。
カムルプ5o、 カムルプ5r & カムルプ5sch のバージョンです カムルプ5 いくつかのファイルはすでにロードされています（「
さらに遠く）。
camlp5o.cma、 camlp5r.cma & camlp5sch.cma ocamlのトップレベルにロードして使用するファイルです
camlp5 機械
mkcamlp5 & mkcamlp5.opt とほぼ同じオプションを使用して camlp5 実行可能ファイルを作成します。
オカムムクトップ。 詳細を参照してください。
ocpp5 あらゆる種類のソース ファイルを処理し、同じファイルを生成するユニバーサル プリプロセッサです。
引用符が展開されたテキスト。
camlp5o.opt & camlp5r.opt ネイティブによってコンパイルされた camlp5o および camlp5r のバージョンです。
コードコンパイラ ocamlopt。 これらは高速ですが、拡張性がありません。 そしてそれらは利用できません
camlp5 のすべてのインストール。
負荷 OPTIONS
ロード オプションでは、OCaml オブジェクト ファイルに記録されたアクションの解析と印刷を選択します
(末尾は .cmo または .cma)。 これらのオプションのいくつかの使用が許可されています。 彼らは〜するべきだ
他のオプションの前に置きます。
オプション -- ロードオプションを終了する場合があります。
-I ディレクトリにジョブを開始します。
Add ディレクトリにジョブを開始します。 ロードされたファイルの検索パス内。 -nolib オプションが指定されていない限り、
使用すると、camlp5 ライブラリ ディレクトリがパスに追加されます。 警告: ありません
現在のディレクトリ内の自動検索: 「-I」を追加します。 このため。
-どこ camlp5 ライブラリのディレクトリ名を出力して終了します。
-nolib camlp5 ライブラリ ディレクトリ内のオブジェクト ファイルの自動検索は行われません。
オブジェクトファイル
ファイルは camlp5 コアにロードされます。
その他 OPTIONS
他のオプションは次のとおりです。
file 扱う file .mli で終わる場合はインターフェイス ファイルとして、実装ファイルとして
.ml で終わる場合。
-intf file
扱う file 拡張子に関係なく、インターフェイス ファイルとして。
-impl file
扱う file 拡張子に関係なく、実装ファイルとして。
-安全ではない
配列および文字列への安全でないアクセスを生成します。
-noassert
アサーション チェックをコンパイルしません。
-詳細
解析エラーがより詳細に表示されます。
-QD file
ダンプイン file 引用展開の結果に構文エラーがあった場合。
-o アウトファイル
結果を標準出力ではなく出力ファイルに出力します。 ファイルは次で開かれます
open_out_bin (OCaml ライブラリ Pervasives を参照)。
-v バージョン番号を出力して終了します。
-助けて 利用可能なオプションを出力して終了します。 このプリントにはオプションが含まれている可能性があります
ロードされたオブジェクトファイルによって追加されます。
他のオプションは、ロードされたオブジェクト ファイルによって拡張できます。 提供されたファイルには、
次のオプション：
-l 線の長さ
pr_o.cmo および pr_r.cmo によって追加: 行の長さを設定します (デフォルトは 78)。
-XNUMX月 文字列
pr_o.cmo と pr_r.cmo によって追加されました: の代わりにフレーズ間にこの文字列を出力します。
コメント。
-no_ss pr_o.cmo によって追加: 二重セミコロンを出力しない
-D IDENT
pa_macro.cmo によって追加: ID を定義します。
-U IDENT
pa_macro.cmo によって追加されました: ident の定義を解除します。
提供 ファイル
これらのファイルは、ディレクトリ /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
コマンド カムルプ5r のショートカットです：
camlp5 pa_r.cmo pa_rp.cmo pr_dump.cmo
コマンド カムルプ5sch のショートカットです：
camlp5 pa_scheme.cmo pr_dump.cmo
ファイル camlp5o.cma トップレベルにロードして、OCaml 構文で camlp5 を起動できます。
ファイル camlp5r.cma トップレベルにロードして、改訂された構文で camlp5 を起動できます。
ファイル camlp5sch.cma トップレベルにロードして、Scheme 構文で camlp5 を起動できます。
MKCAMLP5
mkcamlp5 & mkcamlp5.opt とほぼ同じオプションを使用して camlp5 実行可能ファイルを作成します。
オカムムクトップ。 バージョン mkcamlp5.opt ネイティブ コードの実行可能ファイルをより高速に作成できますが、
拡張可能。
mkcamlp5 の場合、表示されるインターフェイスは次のようにコマンド ラインに明示的に追加する必要があります。
「.cmi」ファイル。 たとえば、OCaml モジュール「str」を追加する方法は次のとおりです。
mkcamlp5 -custom str.cmi str.cma -cclib -lstr -o camlp5str
ENVIRONMENT 変数
次の環境変数も参照されます。
CAMLP5PARAM
文法解析アルゴリズムのパラメータを設定します。 この変数は次のシーケンスである必要があります。
パラメータの仕様。 パラメータ指定は文字です（オプション）
その後に = と値が続きます。 可能なパラメータは次の XNUMX つです。
b （後戻り）
バックトラックアルゴリズムをデフォルトとして設定します。
t （痕跡）
バックトラッキングを使用して解析中にシンボル (終端および非終端) をトレースします。
y (トレース停止)
バックトラッキングでは、入力ストリームの進行状況 (凍結されていないトークンの数) を追跡します。
停止の可能性 (トークンテストの数)。
l (最大失速)
最大ストール値を設定します。
onworks.net サービスを使用してオンラインで camlp5r.opt を使用する
