Skip to content

Commit

Permalink
interpreter: Format code
Browse files Browse the repository at this point in the history
  • Loading branch information
CohenArthur committed Nov 26, 2021
1 parent f515ada commit 9e2135d
Show file tree
Hide file tree
Showing 4 changed files with 6 additions and 5 deletions.
4 changes: 3 additions & 1 deletion interpreter/jinko.rs
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,9 @@
mod args;
mod repl;

use jinko::{Error, CheckedType, Context, JkInt, JkBool, JkFloat, ObjectInstance, FromObjectInstance};
use jinko::{
CheckedType, Context, Error, FromObjectInstance, JkBool, JkFloat, JkInt, ObjectInstance,
};

use args::Args;
use repl::Repl;
Expand Down
3 changes: 1 addition & 2 deletions interpreter/repl.rs
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,7 @@ use std::path::PathBuf;

use jinko::{CheckedType, TypeCheck, TypeCtx};
use jinko::{
Construct, Context, Error, FromObjectInstance, Instruction, JkConstant,
ObjectInstance,
Construct, Context, Error, FromObjectInstance, Instruction, JkConstant, ObjectInstance,
};

use linefeed::{DefaultTerminal, Interface, ReadResult};
Expand Down
2 changes: 1 addition & 1 deletion interpreter/repl/prompt.rs
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
//! Creates a prompt based on the context's current status
use jinko::Context;
use colored::Colorize;
use jinko::Context;

pub struct Prompt;

Expand Down
2 changes: 1 addition & 1 deletion src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,6 @@ pub use error::{ErrKind, Error};
pub use indent::Indent;
pub use instance::{FromObjectInstance, ObjectInstance, ToObjectInstance};
pub use instruction::{InstrKind, Instruction};
pub use parser::{parse, Construct};
pub use typechecker::{CheckedType, TypeCheck, TypeCtx};
pub use value::{JkBool, JkChar, JkConstant, JkFloat, JkInt, JkString, Value};
pub use parser::{parse, Construct};

0 comments on commit 9e2135d

Please sign in to comment.