(* ocamlbuild -use-menhir test.byte *)

open Lexing
open Ast
open Ast.IR

let err msg pos =
  Printf.eprintf
    "Error on line %d col %d: %s.\n"
    pos.pos_lnum
    (pos.pos_cnum - pos.pos_bol)
    msg;
  exit 1
;;

let () =
  if Array.length Sys.argv != 2
  then (
    Printf.eprintf "Usage: %s <file>\n" Sys.argv.(0);
    exit 1);
  let f = open_in Sys.argv.(1) in
  let buf = Lexing.from_channel f in
  try
    let parsed = Parser.prog Lexer.token buf in
    close_in f;
    let ast = Semantics.analyze parsed in
    let simplified = Simplifier.simplify ast in
    (* print_endline (IR.string_of_ir ast); *)
    let compiled = Compiler.compile simplified in
    Mips.print_asm Stdlib.stdout compiled
    (* print_endline (IR.string_of_ir ast) *)
  with
  | Match_failure (m, _, _) -> Printf.eprintf "Vous devez compléter le module %s.\n" m
  | Lexer.Error c ->
    err (Printf.sprintf "unrecognized char '%c'" c) (Lexing.lexeme_start_p buf)
  | Parser.Error -> err "syntax error" (Lexing.lexeme_start_p buf)
  | Semantics.Error (msg, pos) -> err msg pos
  | _ -> failwith "WTF?"
;;