Skip to main content
1 / 2
camlspotter
  • 1,354
  • 7
  • 15

Ulex は ocamllex 使った字句解析手法ではありません。質問の例では lexer.mll を ocamllex で処理しているので ulex を全く使っていません。

Ulex は .ml に直接字句解析ルールを書くためのライブラリです。 ocamllex や他の字句解析ツールに存在するルール記述のためのDSLは ulex では pa_ulex.cma という CamlP4 文法拡張として提供されています:

lexer
    R1 -> e1
  | R2 -> e2
    ...
  | Rn -> en

これは ocamllex での

parse
  | R1 { e1 }
  | R2 { e2 }
    ...
  | R3 { e3 }

に相当するものですが、 lexer R1 -> e1 | .. | Rn -> en は pa_ulex.cma によって普通の OCaml の式に展開されるので、普通に let で束縛する事ができます。Ulex での

let rule1 = lexer R1 -> e1 | ... | Rn -> en

は ocamllex での

rule rule1 = parse R1 { e1 } | ... | Rn { en } 

に大体一致します。

概要は以上です。詳しくは README および Ulex を使っている例をビルドしてみて、 pa_ulex.cma が実際にどうこの拡張文法を含む .ml ファイルのプリプロセスに使われているかを確認してください。

camlspotter
  • 1,354
  • 7
  • 15