From 3c3959f7e4a895f648878b80a9ec3fc35c17fdc2 Mon Sep 17 00:00:00 2001 From: Metrowai Date: Tue, 16 May 2023 21:31:29 -0700 Subject: [PATCH] Replaced std::io::prelude with Write trait --- packages/lib/src/builtins/stdio.rs | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/packages/lib/src/builtins/stdio.rs b/packages/lib/src/builtins/stdio.rs index 3d354bb..1f69f52 100644 --- a/packages/lib/src/builtins/stdio.rs +++ b/packages/lib/src/builtins/stdio.rs @@ -1,8 +1,7 @@ use blocking::unblock; use dialoguer::{theme::ColorfulTheme, Confirm, Input, MultiSelect, Select}; use mlua::prelude::*; -use std::io; -use std::io::prelude::*; +use std::io::Write; use crate::lua::{ stdio::{ @@ -29,12 +28,12 @@ pub fn create(lua: &'static Lua) -> LuaResult { })? .with_function("write", |_, s: String| { print!("{s}"); - io::stdout().flush().expect("Could not flush stdout"); + std::io::stdout().flush().expect("Could not flush stdout"); Ok(()) })? .with_function("ewrite", |_, s: String| { eprint!("{s}"); - io::stderr().flush().expect("Could not flush stderr"); + std::io::stderr().flush().expect("Could not flush stderr"); Ok(()) })? .with_async_function("prompt", |_, options: PromptOptions| {