OCaml：スキャナとパーサーをテストするには？

Question

私たちは独自のドメイン固有の言語のためにOCamlにコンパイラを書いています。これまでのところ、私たちはスキャナ、パーサ、astを操作しています。

この時点でスキャナ/パーサーをテストする最良の方法は何ですか？パーサ/スキャナに一連のトークンを渡して、それがスキャナ/パーサによって受け入れ/拒否されるかどうかを確認することは可能です。 （例えば、echo "FLOAT ID" | menhir --interpret --interpret-show-cst parser.mly）。
しかし、私たち自身の言語で書かれた実際のプログラムをスキャナ/パーサに渡し、それが受け入れられるかどうかを確認する方法はありますか？

私はOCamlには新しく、コンパイラについてはほとんど分かりません。

Answer 1

何がやりたいことは、あなたのパーサーに文字列を与えると、それが動作するかどうかを確認する場合は、この

main.ml : 
let() = 
    (* Taking the string given as a parameter or the program *) 
    let lb = Lexing.from_string Sys.argv.(1) in 
    (* if you want to parse a file you should write : 
     let ci = open_in filename in 
     let lb = Lexing.from_channel ci in 
    *) 
    try 
     let p = Parser.prog Lexer.token lb in 
     Printf.printf "OK\n" 
    with _ -> Printf.printf "Not OK\n" 

はIをDID（パーサで想定あなたの出発点はPROGで）行うことができます助けて ？ ;-)