FSyaccを使った解析中の意味のあるエラー

私はいくつかのソースコードを解析するためにF#Power Packからfsyacc/fslexを使用しています。

エラーを検出するには、次のコードを使用します。

use inputChannel = new StreamReader(File.OpenRead tempFileName)
let lexbuf = Lexing.LexBuffer<_>.FromTextReader inputChannel

let ast = try
                Parser.start Lexer.tokenize lexbuf
              with e ->
                let pos = lexbuf.EndPos
                let line = pos.Line
                let column = pos.Column
                let message = e.Message
                let lastToken = new System.String(lexbuf.Lexeme)
                printf "Parse failed at line %d, column %d:\n" line column
                printf "Last loken: %s" lastToken
                printf "\n"
                exit 1   

しかし、このコードが複数行のソースファイルを解析する際にエラーメッセージをスローすると、行と列の位置が間違っています:

Parse failed at line 0, column 10899:

エラーが発生した行番号を正しく取得するにはどうすればよいですか?

4
なぜそれをデバッグしないのですか?また、fslexプロジェクトを追加してデバッグすることもできます
追加された 著者 Cynede,

1 答え

レキシング中に、手動で行番号を次のようなルールでインクリメントする必要があります。

...
let newline = ('\n' | '\r' '\n')

rule tokenize = parse
| newline    { lexbuf.EndPos <- lexbuf.EndPos.NextLine; tokenize lexbuf }
...
3
追加された
ええと、あなたの改行の場合が何らかの理由でマッチングしていないかもしれません.fslexのレキシングをデバッグするのは難しいですが、あなたの実際の改行が改行正規表現に対して正しいかどうかを再確認します。そして、実際に改行ケースに入っているかどうかを確認するためにprintf文を追加することもできます(改行トークンを使用する以前のルールのために決して到達できないかもしれません)。
追加された 著者 Stephen Swensen,
はい、私はレクサーのためのそのような規則を持っています。
追加された 著者 Evgeny Gavrin,
うん、あなたは正しかった。私は解析する前に改行を壊しました。ありがとうございました :)
追加された 著者 Evgeny Gavrin,