OCaml: Как протестировать сканер и парсер?

Question

Мы пишем компилятор в OCaml для нашего собственного домена. Пока у нас есть рабочий сканер, парсер и аш.

Каков наилучший способ проверить сканер/парсер на этом этапе? Я знаю, что можно передать последовательность токенов в анализатор/сканер и посмотреть, будет ли он принят/отклонен сканером/парсером. (например, 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" 

ли я Помогите ? ;-)