open Types
open Util

let phase = function
  | Assembly instrs ->
    begin match Globals.args.outfile with
    | Some filename ->
      let oc = open_out filename in
      Print.print_assembly oc instrs;
      close_out oc
    | None ->
      if Globals.args.verbose >= 1 then prerr_endline hline;
      Print.print_assembly stdout instrs
    end;
    Empty
  | _ -> raise (InvalidInput "output")