civicaml/phases/output.ml

open Types
open Util
open Globals

let phase = function
    | Assembly instrs ->
        (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
        );
        Empty
    | _ -> raise (InvalidInput "output")