これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、または MAC OS オンライン エミュレーターなどの複数の無料オンライン ワークステーションの XNUMX つを使用して、OnWorks の無料ホスティング プロバイダーで実行できるコマンドです。
プログラム：
NAME
happy - Haskell 用のパーサージェネレーター
SYNOPSIS
ハッピー [オプション] ... file [オプション] ...
DESCRIPTION
このマニュアルページでは、 ハッピー
このマニュアルページは、Debian GNU / Linuxディストリビューション用に作成されました。
プログラムにはマニュアル ページがありません。 代わりに、他のさまざまなドキュメントがあります。
DVI、Info、HTML などの形式。 下記参照。
ハッピー Haskell 用のパーサー ジェネレーター システムです。 「HAPPY」は失読症の「A」の頭字語です。
Yacc 風の Haskell Parser ジェネレーター」。
文法ファイルには XNUMX 種類あります。 ファイル.y & file.ly、後者は
コメントのバード トラック規則を逆にします (つまり、各コード行は `>' で始まらなければなりません)。 の
で配布されるサンプル ハッピー のすべてです .ly フォーム。
注意：使用する場合 hbc (Chalmers Haskell) コマンド引数の構造が若干異なります
違う。 これは、hbc ランタイム システムがいくつかのフラグを独自のものとして受け取るためです (
ヒープ サイズなどの設定)。 この問題は、
コマンドラインに単一のダッシュ (「-」) を追加します。 したがって、hbc で生成されたバージョンの Happy を使用する場合、
引数の構造は次のとおりです。
ハッピー - [オプション] ... file [オプション] ...
OPTIONS
プログラムは通常のGNUコマンドライン構文に従い、XNUMXつから始まる長いオプションがあります
ダッシュ (「--」)。 オプションの概要を以下に示します。 完全な説明については、を参照してください。
他のドキュメント。
-h, - 助けて
オプションの概要を表示します。
-v, - バージョン
標準出力にバージョン情報を出力し、正常に終了します。
-a, - 配列
Happy に、配列ベースのシフト リデュース パーサーを使用してパーサーを生成するように指示します。
と組み合わせて使用する場合 -g、配列は文字列としてエンコードされ、結果は次のようになります。
より高速なパーサーで。 それなし -g、標準の Haskell 配列が使用されます。
-g, --ghc
GHC 固有の拡張機能を使用して取得するパーサーを生成するように Happy に指示します。
より高速なコード。
-c, --強制
GHCを使用する 安全でない強制# 拡張機能を使用して、より小型で高速なパーサーを生成します。 XNUMX つの欠点
これは、型の安全性が失われているということです。つまり、パーサーは次のように生成されます。 -c かもしれません
コンパイルは問題ありませんが、実行時にクラッシュします。 文法を必ずコンパイルしてください。 -c
まず、型が正しいことを確認します。
このオプションは、結果として得られるパフォーマンスに非常に大きな影響を与えます。
ただし、この方法で生成されたパーサーは次の方法でのみコンパイルできることに注意してください。
GHC 3.02以降。
このオプションは以下と組み合わせてのみ使用できます。 -g.
-d, - デバッグ
デバッグ情報を出力するパーサーを生成します。 stderr 実行時に、
実行されるすべてのシフト、リダクション、状態遷移、およびトークン入力を含む
パーサーによって。
このオプションは以下と組み合わせてのみ使用できます。 -a.
-i [FILE], - 情報[=FILE]
Happy に、に関する詳細情報を含む情報ファイルを作成するよう指示します。
文法、パーサーの状態、パーサーのアクション、および競合。 情報ファイルは次のような場合に不可欠です。
文法のデバッグ。
filename 引数はオプションであり、省略した場合、情報ファイルは次の場所に書き込まれます。
ファイル.info （どこで FILE は拡張子を除いた入力ファイル名です)。
-o FILE, --outfile =FILE
生成されたパーサー モジュールの宛先を指定します。 省略した場合、パーサーは
に置かれます ファイル.hsここで、 FILE 入力ファイルの名前です。
拡張子が削除されました。 もしも FILE is - 生成されたパーサーは標準に送信されます
出力。
-m NAME, --マジック名=NAME
Happy は、内部で使用するすべてのシンボルに次のいずれかの接頭辞を付けます。 ハッピー or ハッピー。 へ
別の文字列を使用します。たとえば、 ハッピー 次のいずれかと競合しています
独自の関数の場合は、 -m オプションを選択します。
-t DIR, --template =DIR
テンプレート ファイルを探すときにこのディレクトリを使用するように Happy に指示します: これらのファイル
Happy が生成されたすべてのパーサーに含める静的コードが含まれています。 あなた
Happy が適切に設定されている場合は、このオプションを使用する必要はありません。
コンピューター。
-l, --glr
Happy に、 ラル(1) パーサー。
-k, -デコード
GLR パーサーに、解析フォレストをデコードして次のリストを生成するコードを生成させます。
セマンティックな結果 (必須 --ghc).
-f, - フィルター
GLR パーサーがセマンティクスに必要のないノードをフィルターで除外します。
結果 (実験的な最適化、必要な --ghc).
onworks.net サービスを使用してハッピーオンラインを使用する
