fmt

HigherOrderCO · May 29, 2024 · 975b471 · 975b471
1 parent 0891e2f
commit 975b471
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 3 deletions.
diff --git a/runtime/src/trace.rs b/runtime/src/trace.rs
@@ -64,6 +64,8 @@
 #![allow(non_snake_case)]
 #![cfg_attr(not(feature = "trace"), allow(unused))]
 
+use hvm64_util::prelude::*;
+
 use core::{
   cell::UnsafeCell,
   fmt::{self, Debug, Formatter, Write},
@@ -73,7 +75,6 @@ use core::{
 #[cfg(feature = "std")]
 use std::sync::{Mutex, Once};
 
-use hvm64_util::prelude::*;
 use hvm64_util::ops::TypedOp as Op;
 
 use crate::{Addr, Port, Trg, Wire};

diff --git a/transform/src/eta_reduce.rs b/transform/src/eta_reduce.rs
@@ -53,9 +53,10 @@
 //!
 //! The pass also reduces subnets such as `(* *) -> *`
 
+use hvm64_util::prelude::*;
+
 use core::ops::RangeFrom;
 
-use hvm64_util::prelude::*;
 use hvm64_ast::{Net, Tree};
 
 use ordered_float::OrderedFloat;

diff --git a/transform/src/inline.rs b/transform/src/inline.rs
@@ -1,6 +1,7 @@
+use hvm64_util::prelude::*;
+
 use core::ops::BitOr;
 
-use hvm64_util::prelude::*;
 use hvm64_ast::{Book, Net, Tree};
 use hvm64_util::maybe_grow;
 

diff --git a/transform/src/pre_reduce.rs b/transform/src/pre_reduce.rs
@@ -15,6 +15,7 @@
 //! overriding the previous one.
 
 use hvm64_util::prelude::*;
+
 use hvm64_ast::{Book, Tree};
 use hvm64_host::Host;
 use hvm64_runtime::{AsDef, Def, Heap, InterpretedDef, LabSet, Port, Rewrites};

diff --git a/transform/src/prune.rs b/transform/src/prune.rs
@@ -1,4 +1,5 @@
 use hvm64_util::prelude::*;
+
 use hvm64_ast::{Book, Tree};
 use hvm64_util::maybe_grow;