blob: 2db911eddee035954c30181dd482d541824a0d93 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
(*
Cours "Sémantique et Application à la Vérification de programmes"
Antoine Miné 2014
Ecole normale supérieure, Paris, France / CNRS / INRIA
*)
(*
Simple driver: parses the file given as argument and prints it back.
You should modify this file to call your functions instead!
*)
(* parse and print filename *)
let doit filename =
let prog = File_parser.parse_file filename in
Abstract_syntax_printer.print_prog Format.std_formatter prog
(* parses arguments to get filename *)
let main () =
match Array.to_list Sys.argv with
| _::filename::_ -> doit filename
| _ -> invalid_arg "no source file specified"
let _ = main ()
|
