civicaml/phases/output.ml

open Types
open Util
open Globals

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