Define initial grammar

[tiger.ml.git] / tiger / src / exe / tigerc.ml

diff --git a/tiger/src/exe/tigerc.ml b/tiger/src/exe/tigerc.ml
index 9c901a7..fd58a83 100644 (file)
--- a/tiger/src/exe/tigerc.ml
+++ b/tiger/src/exe/tigerc.ml
@@ -1,16 +1,16 @@
-open Printf
-
 let () =
   let path_to_program_file = Sys.argv.(1) in
   let ic = open_in path_to_program_file in
   let lexbuf = Lexing.from_channel ic in
-  let rec parse_and_print () =
-    match Tiger.Lexer.token lexbuf with
-    | None ->
-        ()
-    | Some token ->
-        printf "%s\n" (Tiger.Parser.Token.to_string token);
-        parse_and_print ()
-  in
-  parse_and_print ();
+  (match Tiger.Parser.program Tiger.Lexer.token lexbuf with
+  | exception Parsing.Parse_error ->
+      let
+        Lexing.({lex_curr_p = {pos_lnum; pos_bol; pos_cnum; _}; _}) = lexbuf
+      in
+      Printf.printf
+        "Syntax error in file %S, around line: %d, column: %d\n"
+        path_to_program_file pos_lnum (pos_cnum - pos_bol)
+  | program ->
+      print_endline program
+  );
   close_in ic;