X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=compiler%2Fsrc%2Fexe%2Ftigerc.ml;h=c6be0d80926355649a68abe103a853e0da0766f0;hb=528693fddf524eab49efab2ba6f8df19d95badf0;hp=42fcf0077c18eb572db15601a9ca6cb3e1a19396;hpb=7c14a966d15aab098a4239b6ae6a3fc207504e7f;p=tiger.ml.git

diff --git a/compiler/src/exe/tigerc.ml b/compiler/src/exe/tigerc.ml
index 42fcf00..c6be0d8 100644
--- a/compiler/src/exe/tigerc.ml
+++ b/compiler/src/exe/tigerc.ml
@@ -1,5 +1,5 @@
 let lexbuf_set_filename lb filename : unit =
-  let Lexing.({lex_start_p; lex_curr_p}) = lb in
+  let Lexing.({lex_start_p; lex_curr_p; _}) = lb in
   lb.Lexing.lex_start_p <- {lex_start_p with Lexing.pos_fname = filename};
   lb.Lexing.lex_curr_p  <- {lex_curr_p  with Lexing.pos_fname = filename}
 
@@ -9,10 +9,11 @@ let () =
   let lexbuf = Lexing.from_channel ic in
   lexbuf_set_filename lexbuf path_to_program_file;
   (match Tiger.Parser.program Tiger.Lexer.token lexbuf with
-  | exception Tiger.Error.T msg ->
-      Printf.eprintf "%s\n" msg;
+  | exception Tiger.Error.T error ->
+      Printf.eprintf "%s\n" (Tiger.Error.to_string error);
       exit 1;
   | absyn ->
+      Tiger.Semant.transProg absyn;
       print_endline (Tiger.Absyn.to_string absyn)
   );
   close_in ic;