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 -> Print.print_assembly stdout instrs end; Empty | _ -> raise InvalidInput