OCaml: Wie Scanner und Parser zu testen?

Question

Wir schreiben einen Compiler in OCaml für unsere eigene domänenspezifische Sprache. Bis jetzt haben wir funktionierende Scanner, Parser und Ast.

Was ist der beste Weg, um Scanner/Parser zu diesem Zeitpunkt zu testen? Ich weiß, dass es möglich ist, eine Sequenz von Token an den Parser/Scanner zu übergeben und festzustellen, ob sie vom Scanner/Parser akzeptiert/abgelehnt wird. (z. B. echo "FLOAT ID" | menhir --interpret --interpret-show-cst parser.mly).
Aber gibt es eine Möglichkeit, das tatsächlich in unserer eigenen Sprache geschriebene Programm an den Scanner/Parser zu übergeben und festzustellen, ob es akzeptiert wird?

Ich muss hinzufügen, dass ich sehr neu zu OCaml bin und ich sehr wenig über Compiler weiß.

Answer 1

Wenn das, was Sie tun, ist eine Zeichenfolge an Ihren Parser zu geben und sehen, ob es funktioniert, könnten Sie tun dies (unter der Annahme Ihr Ausgangspunkt im Parser ist prog)

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" 

Habe ich Hilfe ? ;-)