レクサーの優先順位

Question

Excelの式のためのレクサーとパーサーを作成しています。

Excelでは、セルに名前を割り当てることができます。たとえば、abcは有効な名前ですが、セルとの混同を避けるためにセル名をB2とすることは禁止されています。 B2したがって、式=B2を満たした後は、B2がユーザー定義の名前ではなくセルを参照していると確信しています。私lexer_formula.mll、私が定義した識別子で

：

let lex_cell = ['A' - 'Z']+ ['0' - '9']+ (* regular expressions to include all the cells *) 
let lex_name = ['A' - 'Z' '0' - '9']+ (* regular expressions to include all the names *) 

しかし、試合でB2のような文字列が両方lex_cellとlex_nameは、誰もが私が最初lex_cell、lex_name検討するレクサーを言うことができる方法を知っていますか？ をlex_nameの前に入れれば十分でしょうかrule token = parse？

Answer 1

ocamllex manualによると、それは置くために十分ですlex_cell最初：

いくつかの正規表現を入力し、「最長一致」のルールが適用されるのプレフィックスと一致する場合は、次の最長プレフィックスに一致する正規表現を入力が選択されます。タイの場合、規則の前に出現する正規表現が選択されます。