OCamllexは行の先頭にマッチしますか？

Question

ocamllexを使ってOCamlにおもちゃのプログラミング言語を書くのが面倒で、インデントの変更、Pythonスタイルに敏感な言語にしようとしていましたが、ocamllexの正規表現ルールで行の先頭に一致する問題があります。私は^を使用して行の始めに一致させていましたが、文字列の連結演算子であるOCamlでは慣れていました。

Answer 1

ゼロ長の一致するシンボルを明示的にサポートするかどうかはわかりません（たとえば、^のようなPerlスタイルの正規表現がありますか？ 、位置ではなく、部分文字列と一致する）しかし、あなたはあなたのレクサーは、明示的なトークンに改行を入れてみましょうすることができるはず、このような何か：。

parser.mly

%token EOL 
%token <int> EOLWS 
% other stuff here 
%% 
main: 
    EOL stmt    { MyStmtDataType(0, $2) } 
    | EOLWS stmt    { MyStmtDataType($1 - 1, $2) } 
; 

レクサー.mll

{ 
open Parser 
exception Eof 
} 
rule token = parse 
    [' ' '\t']   { token lexbuf }  (* skip other blanks *) 
    | ['\n'][' ']+ as lxm { EOLWS(String.length(lxm)) } 
    | ['\n']    { EOL } 
    (* ... *) 

これはテストされていないですが、一般的な考え方は次のとおりです。すぐに改行をたどり、int としてその長さを渡す「スターター」

メジャー空白staetmentとして

• トリート改行

注意：最初に入力する前に、\nが含まれていない場合は入力を前処理する必要があります。