59 |
let result = Parser.start Lexer.token lexbuf in |
let result = Parser.start Lexer.token lexbuf in |
60 |
Abrlex.add_abr result Geom.my_figure;flush stdout |
Abrlex.add_abr result Geom.my_figure;flush stdout |
61 |
done |
done |
62 |
with Lexer.Eof -> (print_string "Parsing ok...\n";flush stdout)) |
with Lexer.Eof -> ( |
63 |
|
(*MG print_string "Parsing ok...\n"; *) |
64 |
|
flush stdout |
65 |
|
) |
66 |
|
) |
67 |
|
|
68 |
let print_mess_error type_of_mess mess = |
let print_mess_error type_of_mess mess = |
69 |
begin |
begin |
143 |
(match !toopen with |
(match !toopen with |
144 |
| SOURCE -> |
| SOURCE -> |
145 |
begin |
begin |
146 |
print_string ("GeOCaml v0.2\n"); |
(* print_string ("GeOCaml v0.2\n"); *) |
147 |
flush stdout; |
flush stdout; |
148 |
analyse_file !sources |
analyse_file !sources |
149 |
end |
end |