[ fmt ] Misc styling issues

owo-lang · Dec 16, 2019 · f93480e · f93480e
1 parent e7114cd
commit f93480e
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/src/check/rules/clause/mod.rs b/src/check/rules/clause/mod.rs
@@ -23,16 +23,17 @@ fn bind_as_and_tele<T>(
     mut tele: Tele,
     f: impl FnOnce(TCS) -> TCMS<T>,
 ) -> TCMS<T> {
+    use std::mem::swap;
     if tcs.lets.len() < as_binds.len() {
         tcs.lets.reserve(as_binds.len() - tcs.lets.len());
     }
     for bind in as_binds {
         tcs.lets.push(bind.into());
     }
-    std::mem::swap(&mut tcs.gamma, &mut tele);
+    swap(&mut tcs.gamma, &mut tele);
     let (thing, mut tcs) = f(tcs)?;
     tcs.lets.clear();
-    std::mem::swap(&mut tcs.gamma, &mut tele);
+    swap(&mut tcs.gamma, &mut tele);
     Ok((thing, tcs))
 }
 

diff --git a/src/check/rules/mod.rs b/src/check/rules/mod.rs
@@ -1,4 +1,7 @@
-pub use self::{decls::*, term::simplify};
+pub use self::{
+    decls::*,
+    term::{check, infer, simplify},
+};
 
 pub const ERROR_MSG: &str = "Please report this as a bug.";