pub fn run_repl(gcx: &Arc<GlobalCtxt>, format: UnprettyFormat)